2010 IEEE Symposium on Security and Privacy
Latest Publications

TOTAL DOCUMENTS

46
(FIVE YEARS 0)

H-INDEX

25
(FIVE YEARS 0)

Published By IEEE

9781424468942
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

[Cover art]

2010 ◽  
Keyword(s):  
Cover Art

scholarly journals Noninterference through Secure Multi-execution

2010 ◽  
Author(s):  
Dominique Devriese ◽  
Frank Piessens

scholarly journals Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size

2010 ◽  
Author(s):  
Jason Franklin ◽  
Sagar Chaki ◽  
Anupam Datta ◽  
Arvind Seshadri
Keyword(s):  
Data Structure ◽  
Secure Systems

Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors

2010 ◽  
Author(s):  
Matt Fredrikson ◽  
Somesh Jha ◽  
Mihai Christodorescu ◽  
Reiner Sailer ◽  
Xifeng Yan

scholarly journals A Symbolic Execution Framework for JavaScript

2010 ◽  
Author(s):  
Prateek Saxena ◽  
Devdatta Akhawe ◽  
Steve Hanna ◽  
Feng Mao ◽  
Stephen McCamant ◽  
...  
Keyword(s):  
Symbolic Execution

scholarly journals Tamper Evident Microprocessors

2010 ◽  
Author(s):  
Adam Waksman ◽  
Simha Sethumadhavan

Title Page i

2010 ◽  
Keyword(s):  
Title Page
Load More ...
Sign in / Sign up

Export Citation Format

Share Document