- QuasiEfficient Revocation Group Signatures Giuseppe Ateniese
- Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software
- Vulnerability-Specific Execution Filtering for Exploit Prevention on Commodity Software
- Practical Techniques for Searches on Encrypted Data Dawn Xiaodong Song David Wagner Adrian Perrig
- Secure Hierarchical In-Network Aggregation in Sensor Networks
- Exploiting Network Structure for Proactive Spam Mitigation Shobha Venkataraman
- On Gray-Box Program Tracking for Anomaly Detection Debin Gao Michael K. Reiter Dawn Song
- New Techniques for Private Stream JOHN BETHENCOURT and DAWN SONG
- Expander Graphs for Digital Stream Authentication and Robust Overlay Networks
- HookFinder: Identifying and Understanding Malware Hooking Behaviors Zhenkai Liang
- New Streaming Algorithms for Fast Detection of Superspreaders Shobha Venkataraman
- Measuring Channel Capacity to Distinguish Undue Influence James Newsome
- Document Structure Integrity: A Robust Basis for Cross-site Scripting Defense Yacin Nadji
- Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications
- Panorama: Capturing System-wide Information Flow for Malware Detection and Analysis
- Creating Vulnerability Signatures Using Weakest Preconditions David Brumley Hao Wang Somesh Jha Dawn Song
- Paragraph: Thwarting Signature Learning by Training Maliciously
- Towards Attack-Agnostic Defenses David Brumley and Dawn Song
- New Constructions and Practical Applications for Private Stream Searching (Extended Abstract)
- Behavioral Distance for Intrusion Detection , Michael K. Reiter2
- Gray-Box Extraction of Execution Graphs for Anomaly Detection
- Privtrans: Automatically Partitioning Programs for Privilege Separation David Brumley and Dawn Song
- Signatures of Reputation: Towards Trust Without Identity
- The Sybil Attack in Sensor Networks: Analysis & Defenses James Newsome
- GEM: Graph EMbedding for Routing and Data-Centric Storage in Sensor Networks Without Geographic
- BitScope: Automatically Dissecting Malicious Binaries David Brumley, Cody Hartwig, Min Gyung Kang, Zhenkai Liang
- XFI: Software Guards for System Address Spaces Ulfar Erlingsson
- A Symbolic Execution Framework for JavaScript Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song
- Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song
- Inference and Analysis of Formal Models of Botnet Command and Control Protocols
- Private and Continual Release of Statistics T.-H. Hubert Chan1
- A Symbolic Execution Framework for JavaScript Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song
- Detection of Interactive Stepping Stones: Algorithms and Confidence Bounds
- The Emperor's New APIs: On the (In)Secure Usage of New Client-side Primitives Steve Hanna, Eui Chul Richard Shin, Devdatta Akhawe, Arman Boehm, Prateek Saxena, Dawn Song
- Distributed Evasive Scan Techniques and Countermeasures
- Multi-Dimensional Range Query over Encrypted Data 1
- HookScout: Proactive Binary-Centric Hook , Pongsin Poosankam2,3
- Black box anomaly detection: is it utopian? Shobha Venkataraman, Juan Caballero, Dawn Song, Avrim Blum, Jennifer Yates
- Practical Forward Secure Group Signature Schemes Dawn Xiaodong Song
- SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques
- Signatures of Reputation (Extended Abstract)
- IEEE INFOCOM 2001 1 Advanced and Authenticated Marking Schemes for
- Polygraph: Automatically Generating Signatures for Polymorphic Worms
- Analysis-Resistant Malware John Bethencourt
- Privacy-Preserving Set Operations Lea Kissner and Dawn Song
- A Learning-Based Approach to Reactive Security Adam Barth1
- Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam
- Timing Analysis of Keystrokes and Timing Attacks on SSH Dawn Xiaodong Song David Wagner Xuqing Tian
- Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song
- Privacy-Preserving Aggregation of Time-Series Data PARC/UC Berkeley
- Malware Analysis with Tree Automata Inference Domagoj Babic, Daniel Reynaud, and Dawn Song
- MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery
- Statically-Directed Dynamic Automated Test Generation Domagoj Babic Lorenzo Martignoni Stephen McCamant Dawn Song
- Privacy Settings from Contextual Attributes: A Case Study Using Google Buzz Daisuke Mashima
- KEY DISTRIBUTION TECHNIQUES FOR SENSOR NETWORKS
- Emulating Emulation-Resistant Malware Min Gyung Kang
- Input Generation via Decomposition and Re-Stitching: Finding Bugs in Malware
- Remote Data Checking Using Provable Data Possession GIUSEPPE ATENIESE and RANDAL BURNS, The Johns Hopkins University
- Practical Forward Secure Group Signature Schemes Dawn Xiaodong Song #
- Athena: a New Efficient Automatic Checker for Security Protocol Analysis \Lambda
- Mitigating Bu er Over ows by Operating System Randomization 1 Monica Chew Dawn Song
- Athena: a novel approach to efficient automatic security protocol analysis
- A First Step towards the Automatic Generation of Security Protocols y
- IEEE INFOCOM 2001 1 Advanced and Authenticated Marking Schemes for
- Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data Protection
