Introduction

CSF 2024 will be hosted at the University of Twente in Enschede, The Netherlands, from the 8th to the 12th of July 2024. The symposium will be jointly organized by the Semantics, Cybersecurity and Services group of the University of Twente, the Cybersecurity group of the TU Delft, and the Twente University Centre for Cybersecurity Research (TUCCR).

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, panels, and a poster session. 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.

Committee

Program Chairs
Toby MurrayToby Murray
University of Melbourne
Tamara RezkTamara Rezk
INRIA, France

General Chairs
Kaitai LiangKaitai Liang
TU Delft
The Netherlands
Luca MariotLuca Mariot
University of Twente
The Netherlands

Financial Chair
Luca ViganoLuca Vigano
King's College London
London, UK

Publications Chair
Marco GuarnieriMarco Guarnieri
IMDEA Software Institute
Spain

Publicity Chair
Ralf KüstersRalf Küsters
University of Stuttgart,
Germany

Workshop Chair
Musard BalliuMusard Balliu
KTH Royal Institute of Technology,
Sweden

Program Committee
Mário Alvim (UFMG - Universidade Federal de Minas Gerais)
Timos Antonopoulos (Yale University)
Arthur Azevedo de Amorim (Rochester Institute of Technology)
Musard Balliu (KTH Royal Institute of Technology)
Tajana Ban Kirigin (Faculty of Mathematics, University of Rijeka)
Sébastien Bardin (CEA LIST, Université Paris-Saclay)
Lennart Beringer (Princeton University)
Abhishek Bichhawat (IIT Gandhinagar)
Roberto Blanco (Max Planck Institute for Security and Privacy)
Yinzhi Cao (Johns Hopkins University)
Cas Cremers (CISPA Helmholtz Center for Information Security)
Mads Dam (KTH)
Lesly-Ann Daniel (KU Leuven)
Stéphanie Delaune (Univ Rennes, CNRS, IRISA, France)
Ante Derek (University of Zagreb, Faculty of Electrical Engineering and Computing)
Dominique Devriese (KU Leuven)
Ni Ding (University of Melbourne)
Dominic Duggan (Stevens Institute of Technology)
Michael Emmi (Amazon Web Services)
Matt Fredrikson (Carnegie Mellon University)
Klaus v. Gleissenthall (VU Amsterdam )
Chris Hawblitzel (Microsoft Research)
Jana Hofmann (Microsoft Azure Research)
Catalin Hritcu (MPI-SP)
Justin Hsu (Cornell University)
Marieke Huisman (University of Twente)
Elisavet Kozyri (UiT The Arctic University of Norway)
Robert Künnemann (CISPA Helmholtz Center for Information Security)
Steve Kremer (Inria Nancy)
Peeter Laud (Cybernetica AS)
Flaminia Luccio (University Ca' Foscari, Venice, Italy)
Ning Luo (Northwestern University)
Sergio Maffeis (Department of Computing, Imperial College London)
Pasquale Malacaria (Queen Mary University of London)
Piotr Mardziel (Independent)
Andrea Marin (University Ca’ Foscari of Venice)
Sjouke Mauw (Sjouke Mauw)
Catherine Meadows (NRL)
Scott Moore (Galois, Inc.)
Carroll Morgan (UNSW and Trustworthy Systems)
Greg Morrisett (Cornell Tech)
Sebastian Mödersheim (DTU - Technical University of Denmark)
Johannes Müller (University of Luxembourg)
Sabine Oechsner (University of Edinburgh)
Corina Pasareanu (NASA Ames, KBR, Carnegie Mellon University (CyLab))
Marco Patrignani (University of Trento)
Frank Pfenning (Carnegie Mellon University)
Andrei Popescu (University of Sheffield. UK)
Jonathan Protzenko (Microsoft Research)
Aseem Rastogi (Microsoft Research)
Xavier Rival (INRIA)
Peter Y A Ryan (University of Luxembourg)
Ralf Sasse (ETH Zurich)
Clara Schneidewind (MPI-SP)
Dominique Schröder (Friedrich-Alexander University Erlangen-Nürnberg)
Alley Stoughton (Boston University)
Nikhil Swamy (Microsoft Research)
Tachio Terauchi (Waseda University)
Mayank Varia (Boston University)
Kirsten Winter (Defence Science and Technology Group, Australia and The University of Queensland, Australia)

Web Chair
Marina Krček (TU Delft)

Call for paper

Important date

1970-01-01 00:00:00
Abstract submission deadline
1970-01-01 00:00:00
Abstract notification of acceptance
1970-01-01 00:00:00
Draft paper submission deadline
1970-01-01 00:00:00
Draft paper acceptance notification
Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Jul 08

    2024

    to

    Jul 12

    2024

  • Jul 12 2024

    Registration deadline

Sponsored By
IEEE Computer Society