32. S&P 2011:
Berleley, California, USA
32nd IEEE Symposium on Security and Privacy, S&P 2011, 22-25 May 2011, Berkeley, California, USA.
IEEE Computer Society 2011, ISBN 978-1-4577-0147-4 
Session 1:
Security of Authentication and Protection Mechanisms
Session 2:
Hardware Security
Session 3:
Systematization of Knowledge I
Session 4:
Browsing Security and Privacy
Session 5:
Secure Information Flow and Information Policies
- Aleksandar Nanevski, Anindya Banerjee, Deepak Garg:
Verification of Information Flow and Access Control Policies with Dependent Types.
165-179
- Jeffrey A. Vaughan, Stephen Chong:
Inference of Expressive Declassification Policies.
180-195
- Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke:
The Complexity of Intransitive Noninterference.
196-211
- Xin Zhang, Hsu-Chun Hsiao, Geoffrey Hasker, Haowen Chan, Adrian Perrig, David G. Andersen:
SCION: Scalability, Control, and Isolation on Next-Generation Networks.
212-227
Session 6:
Privacy and Social Networks
Session 7:
Virtualization and Trusted Computing
- Chris A. Owen, Duncan A. Grove, Tristan Newby, Alex Murray, Chris J. North, Michael Pope:
PRISM: Program Replication and Integration for Seamless MILS.
281-296
- Brendan Dolan-Gavitt, Tim Leek, Michael Zhivich, Jonathon T. Giffin, Wenke Lee:
Virtuoso: Narrowing the Semantic Gap in Virtual Machine Introspection.
297-312
- Yinqian Zhang, Ari Juels, Alina Oprea, Michael K. Reiter:
HomeAlone: Co-residency Detection in the Cloud via Side-Channel Analysis.
313-328
- Suman Jana, Donald E. Porter, Vitaly Shmatikov:
TxBox: Building Secure, Efficient Sandboxes with System Transactions.
329-344
Session 8:
Program Security Analysis
- Noah M. Johnson, Juan Caballero, Kevin Zhijie Chen, Stephen McCamant, Pongsin Poosankam, Daniel Reynaud, Dawn Song:
Differential Slicing: Identifying Causal Execution Differences for Security Applications.
347-362
- Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra:
Automated Analysis of Security-Critical JavaScript APIs.
363-378
- Bryan Parno, Jacob R. Lorch, John R. Douceur, James W. Mickens, Jonathan M. McCune:
Memoir: Practical State Continuity for Protected Modules.
379-394
Session 9:
Systematization of Knowledge II
Session 10:
Underground Economy/Malware
- Kirill Levchenko, Andreas Pitsillidis, Neha Chachra, Brandon Enright, Márk Félegyházi, Chris Grier, Tristan Halvorson, Chris Kanich, Christian Kreibich, He Liu, Damon McCoy, Nicholas Weaver, Vern Paxson, Geoffrey M. Voelker, Stefan Savage:
Click Trajectories: End-to-End Analysis of the Spam Value Chain.
431-446
- Kurt Thomas, Chris Grier, Justin Ma, Vern Paxson, Dawn Song:
Design and Evaluation of a Real-Time URL Spam Filtering Service.
447-462
Session 11:
Vulnerability Analysis
Session 12:
Anonymity and Voting
Last update Sat May 18 19:49:28 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
