2013 COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2013)

June 26-28, 2013 , Tulane University, New Orleans LA, USA

Co-located Conferences: MFPS, LICS

CSF associated workshops: FCS, FCC, STAST

The early registration deadline is May 22, 2013

The Computer Security Foundations Symposium is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security.

Over the past two decades, many seminal papers and techniques have been presented first at CSF. In 2008, CiteSeer listed CSF as 38th out of more than 1200 computer science venues (top 3.11%) in impact based on citation frequency. CiteSeerX lists CSF 2007 as 7th out of 581 computer science venues (top 1.2%) in impact based on citation frequency.

Invited speakers:

Joseph Halpern (Cornell University), joint invited talk with LICS 2013

Markus Jakobsson (Paypal)

Benjamin C. Pierce (University of Pennsylvania)

List of accepted papers:

A Theory of Information-Flow Labels

Benoit Montagu, Benjamin Pierce, Randy Pollack and Adrien Suree

Precise Enforcement of Confidentiality for Reactive Systems

Dante Zanarini, Mauro Jaskelioff and Alejandro Russo

Secure multi-execution: fine-grained, declassification-aware, and transparent

Willard Rafnsson and Andrei Sabelfeld

Memory Trace Oblivious Program Execution

Chang Liu, Michael Hicks and Elaine Shi

Oblivious program execution and path-sensitive non-interference

Jeremy Planul and John Mitchell

Security and Privacy by Declarative Design

Matteo Maffei, Kim Pecina and Manuel Reinert

Type-Based Analysis of Generic Key Management APIs

Pedro Adao, Riccardo Focardi and Flaminia L. Luccio

Cryptographically enforced RBAC

Anna Lisa Ferrara, Georg Fuchsbauer and Bogdan Warinschi

Quantum Information-Flow Security: Noninterference and Access Control

Mingsheng Ying, Yuan Feng and Nengkun Yu

Application-Sensitive Access Control Evaluation using Parameterized Expressiveness

Timothy Hinrichs, Diego Martinoia, William C. Garrison III, Adam Lee, Alessandro Panebianco and Lenore Zuck

AnoA: A Framework For Analyzing Anonymous Communication Protocols

Michael Backes, Aniket Kate, Praveen Manoharan, Sebastian Meiser and Esfandiar Mohammadi

A Trust Framework for Evaluating GNSS Signal Integrity

Xihui Chen, Lenzini Gabriele, Sjouke Mauw, Jun Pang and Miguel Martins

Probabilistic Point-to-Point Information Leakage

Tom Chothia, Yusuke Kawamoto, Chris Novakovic and David Parker

Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming

Martin Mariusz Lester, Luke Ong and Max Schaefer

Gradual Security Typing with References

Luminous Fennell and Peter Thiemann

Hybrid Information Flow Monitoring Against Web Tracking

Frederic Besson, Nataliia Bielova and Thomas Jensen

Symbolic Universal Composability

Florian Bohl and Dominique Unruh

Differential Privacy by Typing in Security Protocol

Fabienne Eigner and Matteo Maffei

Verified Computational Differential Privacy with Applications to Smart Metering

Gilles Barthe, George Danezis, Benjamin Gregoire, Cesar Kunz and Santiago Zanella-Beguelin

Registration:

For online registration, please follow the link on the

CSF website at http://csf2013.seas.harvard.edu/registration.html

The early registration deadline is May 22, 2013.

CSF Program Chairs:

- Veronique Cortier, LORIA and CNRS

- Anupam Datta, Carnegie Mellon University

Organizing Committee:

- General chair: Stephen Chong, Harvard University

- Local arrangements chair: Michael Mislove, Tulane University

- Publications chair: Deepak Garg, Max Planck Institute for Software Systems

- Publicity chair: Matteo Maffei, Saarland University