This year's distinguished papers:

  • Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
    C. Abate, R. Blanco, D. Garg, C. Hritcu, M. Patrignani, J. Thibault
  • Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman
    C. Cremers, D. Jackson
  • Automated Verification of Accountability in Security Protocols
    R. Künnemann, I. Esiyok, M. Backes

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. For more details on the history of the symposium, visit CSF's home.

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.

This year CSF includes a poster session.

Important Dates AoE (UTC-12h)

Abstracts due   February 22, 2019
Papers due   February 26, 2019
Notification   April 19, 2019
Camera ready   May 10, 2019
CSF Symposium   June 25-28, 2019

Sponsored by IEEE Computer Society's Technical Commitee on Security and Privacy.

We are grateful for the support of: