Computer Security Foundations Symposium

Colocated with LICS 2013 and MFPS XXIX.
CSF Co-located Workshops will be held on June 29.

News:

Saturday workshop attendees: note that shuttles go from the hotel to the university on Saturday morning at 7:30am and 8:00am. Please see the full LICS/MFPS/CSF program for more details. The full LICS/MFPS/CSF program is available here. We will be running shuttle buses between the hotel and Tulane University. See the Program for times. Call for 5 minute talks! More information here. CSF now has some student travel scholarships available. More information here. Deadline for applications is Friday May 31st. CSF 2013 will include a panel on the Emerging Science of Security with panelists David Basin (ETH), Mark Miller (Google), and Milind Tambe (USC). Registration is now open! See the Registration page for more info. The program is now available here. Archived news...

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.

The program includes papers and panels. Topics of interest include access control, information flow, covert channels, cryptographic 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. See the Call for Papers and Panels for more information.