CSF 2024 Home

Program committee



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