[TYPES/announce] Call for Participation: 2013 COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2013)

Matteo Maffei maffei at cs.uni-saarland.de
Wed May 8 02:35:52 EDT 2013

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

Co-located Conferences: MFPS, LICS 

CSF associated workshops: FCS, FCC, STAST

Website: http://csf2013.seas.harvard.edu/

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


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 
    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 
    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 
    Gilles Barthe, George Danezis, Benjamin Grégoire, César Kunz and 
Santiago Zanella-Béguelin



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 
- Publicity chair: Matteo Maffei, Saarland University

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130508/039ec027/attachment.html>

More information about the Types-announce mailing list