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

313views Security Privacy» more SP 2010»

Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers