| 2013 | 2013 IEEE 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013 |
| 2013 | A Theory of Information-Flow Labels. Benoît Montagu, Benjamin C. Pierce, Randy Pollack |
| 2013 | A Trust Framework for Evaluating GNSS Signal Integrity. Xihui Chen, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang |
| 2013 | AnoA: A Framework for Analyzing Anonymous Communication Protocols. Michael Backes, Aniket Kate, Praveen Manoharan, Sebastian Meiser, Esfandiar Mohammadi |
| 2013 | Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness. Timothy L. Hinrichs, Diego Martinoia, William C. Garrison III, Adam J. Lee, Alessandro Panebianco, Lenore D. Zuck |
| 2013 | Cryptographically Enforced RBAC. Anna Lisa Ferrara, Georg Fuchsbauer, Bogdan Warinschi |
| 2013 | Differential Privacy by Typing in Security Protocols. Fabienne Eigner, Matteo Maffei |
| 2013 | Gradual Security Typing with References. Luminous Fennell, Peter Thiemann |
| 2013 | Hybrid Information Flow Monitoring against Web Tracking. Frédéric Besson, Nataliia Bielova, Thomas P. Jensen |
| 2013 | Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming. Martin Lester, Luke Ong, Max Schäfer |
| 2013 | Memory Trace Oblivious Program Execution. Chang Liu, Michael Hicks, Elaine Shi |
| 2013 | Oblivious Program Execution and Path-Sensitive Non-interference. Jérémy Planul, John C. Mitchell |
| 2013 | Precise Enforcement of Confidentiality for Reactive Systems. Dante Zanarini, Mauro Jaskelioff, Alejandro Russo |
| 2013 | Probabilistic Point-to-Point Information Leakage. Tom Chothia, Yusuke Kawamoto, Chris Novakovic, David Parker |
| 2013 | Quantum Information-Flow Security: Noninterference and Access Control. Mingsheng Ying, Yuan Feng, Nengkun Yu |
| 2013 | Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent. Willard Rafnsson, Andrei Sabelfeld |
| 2013 | Security and Privacy by Declarative Design. Matteo Maffei, Kim Pecina, Manuel Reinert |
| 2013 | Symbolic Universal Composability. Florian Böhl, Dominique Unruh |
| 2013 | Type-Based Analysis of Generic Key Management APIs. Pedro Adão, Riccardo Focardi, Flaminia L. Luccio |
| 2013 | Verified Computational Differential Privacy with Applications to Smart Metering. Gilles Barthe, George Danezis, Benjamin Grégoire, César Kunz, Santiago Zanella-Béguelin |