2013 COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2013)
Date: Jun 25, 2013 – Jun 27, 2013
Location: Tulane University, New Orleans LA, USA
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
Jérémy 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 Adão, 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
Frédéric Besson, Nataliia Bielova and Thomas Jensen
Symbolic Universal Composability
Florian Böhl 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 Grégoire, César Kunz and Santiago Zanella-Béguelin
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
Submitted by Anonymous
on
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
Jérémy 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 Adão, 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
Frédéric Besson, Nataliia Bielova and Thomas Jensen
Symbolic Universal Composability
Florian Böhl 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 Grégoire, César Kunz and Santiago Zanella-Béguelin
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