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 IEEE Symposium on Security and Privacy ◽

10.1109/sp.2010.46 ◽

2010 ◽

Keyword(s):

Cover Art

Download Full-text

Noninterference through Secure Multi-execution

2010 IEEE Symposium on Security and Privacy ◽

10.1109/sp.2010.15 ◽

2010 ◽

Cited By ~ 121

Author(s):

Dominique Devriese ◽

Frank Piessens

Download Full-text

TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection

2010 IEEE Symposium on Security and Privacy ◽

10.1109/sp.2010.37 ◽

2010 ◽

Cited By ~ 123

Author(s):

Tielei Wang ◽

Tao Wei ◽

Guofei Gu ◽

Wei Zou

Keyword(s):

Vulnerability Detection ◽

Software Vulnerability ◽

Automatic Software

Download Full-text

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

2010 IEEE Symposium on Security and Privacy ◽

10.1109/sp.2010.29 ◽

2010 ◽

Cited By ~ 10

Author(s):

Jason Franklin ◽

Sagar Chaki ◽

Anupam Datta ◽

Arvind Seshadri

Keyword(s):

Data Structure ◽

Secure Systems

Download Full-text

Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors

2010 IEEE Symposium on Security and Privacy ◽

10.1109/sp.2010.11 ◽

2010 ◽

Cited By ~ 106

Author(s):

Matt Fredrikson ◽

Somesh Jha ◽

Mihai Christodorescu ◽

Reiner Sailer ◽

Xifeng Yan

Download Full-text

A Symbolic Execution Framework for JavaScript

2010 IEEE Symposium on Security and Privacy ◽

10.1109/sp.2010.38 ◽

2010 ◽

Cited By ~ 208

Author(s):

Prateek Saxena ◽

Devdatta Akhawe ◽

Steve Hanna ◽

Feng Mao ◽

Stephen McCamant ◽

...

Keyword(s):

Symbolic Execution

Download Full-text

Tamper Evident Microprocessors

2010 IEEE Symposium on Security and Privacy ◽

10.1109/sp.2010.19 ◽

2010 ◽

Cited By ~ 50

Author(s):

Adam Waksman ◽

Simha Sethumadhavan

Download Full-text

All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)

2010 IEEE Symposium on Security and Privacy ◽

10.1109/sp.2010.26 ◽

2010 ◽

Cited By ~ 292

Author(s):

Edward J. Schwartz ◽

Thanassis Avgerinos ◽

David Brumley

Keyword(s):

Symbolic Execution ◽

Taint Analysis

Download Full-text

Title Page i

2010 IEEE Symposium on Security and Privacy ◽

10.1109/sp.2010.1 ◽

2010 ◽

Keyword(s):

Title Page

Download Full-text

Authenticating Primary Users' Signals in Cognitive Radio Networks via Integrated Cryptographic and Wireless Link Signatures

2010 IEEE Symposium on Security and Privacy ◽

10.1109/sp.2010.24 ◽

2010 ◽

Cited By ~ 97

Author(s):

Yao Liu ◽

Peng Ning ◽

Huaiyu Dai

Keyword(s):

Cognitive Radio ◽

Cognitive Radio Networks ◽

Radio Networks ◽

Wireless Link ◽

Primary Users

Download Full-text