FCS-PrivMod 2010: July 14-15

Workshop on Foundations of Security and Privacy

associated with CSF and LICS

Overview

Formal foundations for computer security have emerged in recent years, including the formal specification and analysis of security protocols, programming languages, access control systems, and their applications. A particular aspect of security is personal privacy, which may be threatened whenever users interact with services and devices which are not directly under their control. From a user's point of view, privacy is often seen as a part of security; but from a service provider's point of view, privacy and security are often opposites that have to be balanced with each other.

FCS-PrivMod aims to bring together international reserachers from industry and academia in formal methods, computer security, and privcay, to develop advances and new perspectives in security and privacy models and analysis. It comprises the FCS workshop (Foundations of Computer Security), a satellite of LICS since 2002, and PrivMod (Privacy: Models & Analysis), a new workshop specifically about privacy-supporting protocols and systems.

More information can be found here.

Programme

Invited Talks

Program Chairs

Veronique Cortier, CNRS, Loria, France
Mark Ryan, Uni Birmingham, United Kingdom
Vitaly Shmatikov, The University of Texas at Austin, United States

Program Committee:

Myrto Arapinis, University of Birmingham, United Kingdom
Kostas Chatzikokolakis, Eindhoven University of Technology, Netherlands
Liqun Chen, Hewlett-Packard Laboratories, United Kingdom
Stephen Chong, Harvard University, United States
Tom Chothia, University of Birmingham, United Kingdom
George Danezis, Microsoft Research, United Kingdom
Stephanie Delaune, CNRS, LSV, France
Deepak Garg, Computer Science Department, Carnegie Mellon University, United States
Hans H\"{u}ttel, Aalborg University, Denmark
Stephen Murdoch, University of Cambridge, United Kingdom
Catuscia Palamidessi, INRIA and LIX, Ecole Polytechnique, France
Pierangela Samarati, Universita` degli Studi di Milano, Italy
Ben Smyth, University of Birmingham, United Kingdom
Paul Syverson, NRL, United States
Gene Tsudik, University of California, Irvine, United States
Luca Vigano', University of Verona, Italy, Italy