[TYPES/announce] CSF'14: Call for Participation

[Matteo Maffei]

2014 COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF’14)
--- July 19-22, 2014, Vienna, Austria ---
Part of FLoC’14,  Vienna Summer of Logic

Website: http://csf2014.di.univr.it/

The early registration deadline is June 8, 2014
Online registration: http://vsl2014.at/registration/

—

The Computer Security Foundations Symposium (CSF) 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. It was created
in 1988 as a workshop of the IEEE Computer Society's Technical
Committee on Security and Privacy, in response to a 1986 essay by Don
Good entitled “The Foundations of Computer Security—We Need Some.” The
meeting became a “symposium” in 2007, along with a policy for open,
increased attendance. Over the past two decades, many seminal papers
and techniques have been presented first at CSF.
---

Invited speakers:

- Frank Piessens. Towards a Zero-Software Trusted Computing Base for
Extensible Systems

- Gilles Barthe. New Directions in Computed-Aided Cryptography

- Alessandro Acquisti: Privacy in the Age of Augmented Reality

This year CSF will also have Special Sessions in the emerging areas of Privacy and Usable Security. 

---

The full program is available at http://csf2014.di.univr.it/program

---

CSF Program Chairs:

- Cedric Fournet, Microsoft Research, Cambridge
- Anupam Datta, Carnegie Mellon University 

Organizing Committee:

- General chair: Luca Viganò, Università di Verona
- Publications chair: Deepak Garg, Max Planck Institute for Software Systems
- Publicity chair: Matteo Maffei, CISPA, Saarland University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140529/a828f580/attachment-0001.html>