[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


--- Domaine de l'Abbaye des Vaux de Cernay, France , June 27-29, 2011 ---

CSF associated workshops: ASA-5, FCC11

Website: http://csf2011.inria.fr/

*** Registration will close on May 31 ***


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

The atmosphere of the symposium is informal, often in a peaceful,
rural setting that encourages an exchange of thoughtful technical
discussion by all attendees, both during and after scheduled


Invited talks:

Speaker: Patrick McDaniel, Penn State University
Title: tba

Speaker: Gerwin Klein, University of New South Wales
Title: Towards Provable OS Security


List of accepted papers:

Obstruction-free Authorization Enforcement: Aligning Security With
Business Objectives
David Basin, Samuel J. Burri and Günter Karjoth

Integrated Specification and Verification of Security Protocols and Policies
Simone Frau and Mohammad Torabi Dashti

Modular Protections Against Non-control Data Attacks
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker and
Benjamin Zorn

Vertical Protocol Composition
Thomas Gross and Sebastian Moedersheim

Formal analysis of protocols based on TPM state registers
Stéphanie Delaune, Steve Kremer, Mark D. Ryan and Graham Steel

Automated proofs for Diffie-Hellman-based key exchanges
Long Ngo, Colin Boyd and Juan Gonzalez Nieto

Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
François Dupressoir, Andrew D. Gordon, Jan Jürjens and David A. Naumann

Security for Key Management Interfaces
Steve Kremer, Graham Steel and Bogdan Warinschi

Attacking and fixing Helios: An analysis of ballot secrecy
Ben Smyth and Véronique Cortier

Local Memory via Layout Randomization
Radha Jagadeesan, Corin Pitcher, Julian Rathke and James Riely

Termination-Insensitive Computational Indistinguishability (and
applications to computational soundness)
Dominique Unruh

Verification of stateful processes in ProVerif
Myrto Arapinis, Mark Ryan and Eike Ritter

Resource-aware Authorization Policies for Statically Typed
Cryptographic Protocols
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner and Matteo Maffei

Static analysis for efficient hybrid information-flow control
Scott Moore and Stephen Chong

The Complexity of Quantitative Information Flow Problems
Pavol Cerny, Krishnendu Chatterjee and Thomas A. Henzinger

Assumptions and Guarantees for Compositional Noninterference
Heiko Mantel, David Sands and Henning Sudbrock

A Statistical Test for Information Leaks Using Continuous Mutual Information
Tom Chothia and Apratim Guha

Regret Minimizing Audits: A Learning-theoretic Basis for Privacy Protection
Jeremiah Blocki, Nicolas Christin, Anupam Datta and Arunesh Sinha

Information-theoretic Bounds for Differentially Private Mechanisms
Gilles Barthe and Boris Köpf

Dynamic Enforcement of Knowledge-based Security Policies
Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa

A formal framework for provenance security
James Cheney



For online registration, please follow the link on the
CSF website at http://csf2011.inria.fr/registration
Registration is now open. Registration will close on May 31.


The registration fee does not include hotel rooms. However, the
registration website allows you to reserve a room at one of the two
conference hotels :

- Abbaye des Vaux-de-Cernay
- Hôtel des Harras

Both hotels are in the grounds of the Abbaye des Vaux de Cernay,
adjacent to each other.
As availability is limited, a first-come, first-served policy will be
applied. (Register quickly!)
For details, please see http://csf2011.inria.fr/registration


CSF Program Chairs:

- Michael Backes: Saarland University and Max Planck Institute for
Software Systems, Germany
- Steve Zdancewic: University of Pennsylvania

CSF General Chair:

- Steve Kremer: INRIA, LSV, CNRS & ENS Cachan

Reply via email to