SP 2010 - PDF Preprint Papers

SP 2010 IEEE Symposium on Security and Privacy

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed SP-2010 Paper

click to vote

SP
2010
IEEE

419views Security Privacy» more SP 2010»

Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors

14 years 3 months ago

Download www.cs.ucsb.edu

Matt Fredrikson, Somesh Jha, Mihai Christodorescu,...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	419	Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors	claim
2	327	Side-Channel Leaks in Web Applications: A Reality Today, a Challenge Tomorrow	claim
3	226	Chip and PIN is Broken	claim
4	222	A Symbolic Execution Framework for JavaScript	claim
5	220	TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection	claim
6	217	Experimental Security Analysis of a Modern Automobile	claim
7	212	State of the Art: Automated Black-Box Web Application Vulnerability Testing	claim
8	210	Reconciling Belief and Vulnerability in Information Flow	claim
9	206	Revocation Systems with Very Small Private Keys	claim
10	204	Acceleration of a CFD code with a GPU	claim
11	194	Identifying Dormant Functionality in Malware Programs	claim
12	192	How Good Are Humans at Solving CAPTCHAs? A Large Scale Evaluation	claim
13	190	Noninterference through Secure Multi-execution	claim
14	187	Outside the Closed World: On Using Machine Learning for Network Intrusion Detection	claim
15	182	All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)	claim
16	182	Object Capabilities and Isolation of Untrusted Web Applications	claim
17	181	SCiFI - A System for Secure Face Identification	claim
18	179	TrustVisor: Efficient TCB Reduction and Attestation	claim
19	178	Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically	claim
20	176	State-of-the-art in heterogeneous computing	claim
21	176	Investigation of Triangular Spamming: A Stealthy and Efficient Spamming Technique	claim
22	174	HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity	claim
23	165	A Practical Attack to De-anonymize Social Network Users	claim
24	164	A Proof-Carrying File System	claim
25	161	Towards Static Flow-Based Declassification for Legacy and Untrusted Programs	claim
26	158	Tamper Evident Microprocessors	claim
27	157	Bootstrapping Trust in Commodity Computers	claim
28	156	Round-Efficient Broadcast Authentication Protocols for Fixed Topology Classes	claim
29	152	Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size	claim
30	150	Scheduling two-sided transformations using tile algorithms on multicore architectures	claim
31	149	On the Incoherencies in Web Browser Access Control Policies	claim
32	140	Inspector Gadget: Automated Extraction of Proprietary Gadgets from Malware Binaries	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers