Computer Security Foundations Symposium

This site contains information regarding the organization of the IEEE Computer Security Foundations Workshop series.

The Computer Security Foundations Symposium 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 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. In 2008, CiteSeer listed CSF as 38th out of more than 1200 computer science venues (top 3.11%) in impact based on citation frequency. CiteSeerX lists CSF 2007 as 7th out of 581 computer science venues (top 1.2%) in impact based on citation frequency.

The atmosphere of the symposium is informal, often in a peaceful, rural setting that encourages an exchange of thoughtful technical discussion by all attendees, both during and after scheduled presentations. It was held for seven years at the Franconia Inn, Franconia, New Hampshire, USA (pictured above), and subsequently at various European and North American locations.

The program includes papers and panels. Topics of interest include access control, information flow, covert channels, secure protocols, database security, language-based security, authorization and trust, verification techniques, integrity and availability models, and broad discussions concerning the role of formal methods in computer security and the nature of foundational research in this area. The symposium program is chosen from among submissions by prospective participants.

History of all CSF officers
Distinguished Papers (starting in 2018)

  • CSF-30 will be held in Santa Barbara, California, overlapping with Crypto-2017, 21-25 August 2017.

  • CSF-29 was held in Lisbon at the Gulbenkian Foundation, 27 June-1 July 2016.

  • CSF-28 was held at the University of Verona, Italy, July 13-17, 2015.

  • CSF-27 was held at FLoC 2014 in Vienna, as part of the Vienna Summer of Logic, July 19-22, 2014.

  • CSF-26 was held at Tulane University, New Orleans, LA, June 26-28, 2013.

  • CSF-25 was held at Harvard University, Cambridge, MA, USA, June 25-27, 2012.

  • CSF-24 was held at Domaine de l'Abbaye des Vaux de Cernay, France, June 27-29, 2011.

  • CSF-23 was held July 17-19, 2010, Edinburgh, Scotland, UK; it was collocated with the Federated Logic Conference (FLOC)

  • CSF-22 was held in Port Jefferson, New York, USA, July 8-10, 2009

  • CSF-21 was held in Pittsburgh, PA, June 23-25, 2008. It was collocated with the 23rd IEEE Symposium on Logic in Computer Science (LICS), at Carnegie Mellon University.   Information and program (PDF)

  • CSF-20 program

  • CSFW-19 program and 5-minute talks

  • CSFW-18 program

  • CSFW-17 program

  • CSFW-16 program

  • CSFW-15 program

  • CSFW-14 program

  • CSFW-13 program

  • CSFW-12 program

  • CSFW-11 program

  • CSFW-10 program

  • CSFW-9 program

  • CSFW-8 program

  • CSFW-7 program

  • Summary of the 6th workshop (1993, by Jim Gray, III).

Copies of individual papers before 1995 may be available by request to Joshua Guttman ( Articles from 1995 and later can be obtained from the IEEE Computer Society Digital Library.
The Charter of the Computer Security Foundations Workshop outlines its organization.