[TYPES/announce] Call for Participation: 29th IEEE Computer Security Foundations Symposium (CSF’16)

Matteo Maffei maffei at cs.uni-saarland.de
Thu Apr 28 05:54:26 EDT 2016



--- June 27-July 1, 2016, Lisbon, Portugal ---

CSF affiliated workshops: FCS, GraMSec

Website: http://csf2016.tecnico.ulisboa.pt <http://csf2016.tecnico.ulisboa.pt/>

The early registration deadline is May 27, 2016
Online registration: http://csf2016.tecnico.ulisboa.pt/registration.html <http://csf2016.tecnico.ulisboa.pt/registration.html>


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:

- Ross Anderson, University of Cambridge
- Andrew Appel, Princeton University
- Ulfar Erlingsson, Google


List of accepted papers: http://csf2016.tecnico.ulisboa.pt/accepted.html <http://csf2016.tecnico.ulisboa.pt/accepted.html>


CSF Program Chairs:

- Michael Hicks, University of Maryland
- Boris Köpf, IMDEA Software Institute

Organizing Committee:

- General chair: Pedro Adão, Universidade de Lisboa and Instituto de Telecomunicações
- 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/20160428/b17a2534/attachment-0001.html>

More information about the Types-announce mailing list