The Coq mailing list

[Boris Köpf <boris.koepf AT imdea.org>]

=========================
CALL FOR PARTICIPATION
Workshop on Foundations of Computer Security (FCS 2015)
13 July 2015, Verona, Italy

http://software.imdea.org/~bkoepf/FCS15/

Affiliated with IEEE CSF 2015

=========================

INVITED SPEAKER

Dominique Unruh, University of Tartu


BACKGROUND, AIM AND SCOPE

Computer security is an established field of both theoretical and
practical significance. In recent years, there has been sustained
interest in the formal foundations of methods used in computer
security. The aim of the FCS 2015 workshop is to provide a forum for
continued activity in this area.

The scope of FCS 2015 includes, but is not limited to, the formal
specification, analysis, and design of cryptographic protocols and
their applications; the formal definition of various aspects of
security such as access control mechanisms, mobile code security and
denial-of-service attacks; the modelling of information flow and its
application to confidentiality policies, system composition, and
covert channel analysis.


PROGRAM

Invited Talk: 

* Formal Verification of Quantum Cryptography
Dominique Unruh 

Accepted Papers:

* LJGS: Gradual Security Types for Object-Oriented Languages 
Luminous Fennell and Peter Thiemann

* Multi-Module Fully Abstract Compilation  
Marco Patrignani, Dominique Devriese and Frank Piessens

* Secure Compilation Using Micro-Policies 
Yannis Juglaret and Cătălin Hriţcu

* Knowledge and Effect: A Logic for Reasoning about Confidentiality and 
Integrity Guarantees 
Scott Moore, Aslan Askarov and Stephen Chong

* A Proof Technique for Noninterference In Open Systems (Extended Abstract)
Enrico Sapin

* A Theorem Proving Approach to Secure Information Flow in Concurrent 
Programs (Extended Abstract)
Daniel Bruns

* On High-Assurance Information Flow Secure Programming Languages (Extended 
Abstract)
Toby Murray

* The Meaning of Attack-Resistant Systems 
Vijay Ganesh, Sebastian Banescu and Martín Ochoa


REGISTRATION

Registration is via the CSF registration web site: 
http://csf2015.di.univr.it/registration.php


PROGRAM COMMITTEE

June Andronick (NICTA and UNSW, Australia)
Michele Boreale (Università de Firenze, Italy)
Konstantinos Chatzikokolakis (École Polytechnique, France)
Christos Dimoulas (Harvard University, USA)
Marco Gaboardi (University of Dundee, UK)
Deepak Garg (Max Planck Institute for Software Systems, Germany, co-chair)
William Harris (Georgia Institute of Technology, USA)
Aniket Kate (Saarland University, Germany)
Boris Köpf (IMDEA Software Institute, Spain, co-chair)
Steve Kremer (INRIA Nancy - Grand Est, France)
Stephen McCamant (University of Minnesota, USA)
Santosh Nagarakatte (Rutgers University, USA)
Willard Rafnsson (Carnegie Mellon University, USA)
Benedikt Schmidt (IMDEA Software Institute, Spain)
Christoph Sprenger (ETH Zurich, Switzerland)
Deian Stefan (Stanford University, USA)
Tomasz Truderung (University of Trier, Germany)
Luca Viganò (King's College London, UK)