| 2010 | Formal Analysis of Privacy for Vehicular Mix-Zones. | Morten Dahl, Stphanie Delaune, Graham Steel |
| 2010 | An Authorization Framework Resilient to Policy Evaluation Failures. | Jason Crampton, Michael Huth |
| 2010 | Traffic Analysis against Low-Latency Anonymity Networks Using Available Bandwidth Estimation. | Sambuddho Chakravarty, Angelos Stavrou, Angelos D. Keromytis |
| 2010 | Secure Multiparty Linear Programming Using Fixed-Point Arithmetic. | Octavian Catrina, Sebastiaan de Hoogh |
| 2010 | Kamouflage: Loss-Resistant Password Management. | Hristo Bojinov, Elie Bursztein, Xavier Boyen, Dan Boneh |
| 2010 | Efficient Multi-dimensional Key Management in Broadcast Services. | Marina Blanton, Keith B. Frikken |
| 2010 | Some Ideas on Virtualized System Security, and Monitors. | Hedi Benzina, Jean Goubault-Larrecq |
| 2010 | Modeling and Analyzing Security in the Presence of Compromising Adversaries. | David A. Basin, Cas Cremers |
| 2010 | Speaker Recognition in Encrypted Voice Streams. | Michael Backes, Goran Doychev, Markus Drmuth, Boris Kpf |
| 2010 | RatFish: A File Sharing Protocol Provably Secure against Rational Users. | Michael Backes, Oana Ciobotaru, Anton Krohmer |
| 2010 | Providing Mobile Users' Anonymity in Hybrid Networks. | Claudio A. Ardagna, Sushil Jajodia, Pierangela Samarati, Angelos Stavrou |
| 2010 | Privacy-Preserving, Taxable Bank Accounts. | Elli Androulaki, Binh Vo, Steven M. Bellovin |
| 2010 | A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. | Jos Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider |
| 2010 | L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols. | Almudena Alcaide, Ali E. Abdallah, Ana Isabel Gonzlez-Tablas Ferreres, Jos Mara de Fuentes |
| 2009 | Automatically Generating Models for Botnet Detection. | Peter Wurzinger, Leyla Bilge, Thorsten Holz, Jan Goebel, Christopher Kruegel, Engin Kirda |
| 2009 | Enabling Public Verifiability and Data Dynamics for Storage Security in Cloud Computing. | Qian Wang, Cong Wang, Jin Li, Kui Ren, Wenjing Lou |
| 2009 | Usable Access Control in Collaborative Environments: Authorization Based on People-Tagging. | Qihua Wang, Hongxia Jin, Ninghui Li |
| 2009 | ReFormat: Automatic Reverse Engineering of Encrypted Messages. | Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang, Mike Grace |
| 2009 | Content Delivery Networks: Protection or Threat? | Sipat Triukose, Zakaria Al-Qudah, Michael Rabinovich |
| 2009 | ID-Based Secure Distance Bounding and Localization. | Nils Ole Tippenhauer, Srdjan Capkun |
| 2009 | Using SAT-Solvers to Compute Inference-Proof Database Instances. | Cornelia Tadros, Lena Wiese |
| 2009 | Client-Side Detection of XSS Worms by Monitoring Payload Propagation. | Fangqi Sun, Liang Xu, Zhendong Su |
| 2009 | The Coremelt Attack. | Ahren Studer, Adrian Perrig |
| 2009 | Model-Checking DoS Amplification for VoIP Session Initiation. | Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, Jos Meseguer |
| 2009 | Achieving Life-Cycle Compliance of Service-Oriented Architectures: Open Issues and Challenges. | Theodoor Scholte, Engin Kirda |