[TYPES/announce] CFP: 28th IEEE Computer Security Foundations Symposium (CSF'15)

[Matteo Maffei]

28th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF’15)
--- July 13-17, 2015, Verona, Italy ---

Website: http://csf2015.di.univr.it/ <http://csf2015.di.univr.it/>

The early registration deadline is June 14, 2015
Online registration: http://csf2015.di.univr.it/registration.php <http://csf2015.di.univr.it/registration.php>

The deadline for student travel scholarships is May 31, 2015
Application: http://csf2015.di.univr.it/scolarships.php <http://csf2015.di.univr.it/scolarships.php>

—

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:

- Nigel Smart: Computing on Encrypted Data

- Vanessa Teague: Verifiable Internet Voting, or Not?

---

The full program is available at http://csf2015.di.univr.it/program <http://csf2015.di.univr.it/program>

---

CSF Program Chairs:

- Cedric Fournet, Microsoft Research, Cambridge
- Michael Hicks, University of Maryland

Organizing Committee:

- General chair: Luca Viganò, King’s College London
- 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/20150516/1ec6020e/attachment-0001.html>