CSF2023 Home

Program committee



Name Affiliation
Abhishek Bichhawat IIT Gandhinagar
Alley Stoughton Boston University
Alwen Tiu The Australian National University
Andrea Marin Università Ca' Foscari Venezia
Anitha Gollamudi University of Massachusetts, Lowell (UML)
Benjamin Gregoire Inria
Catherine Meadows US Naval Research Laboratory
Catuscia Palamidessi INRIA, École Polytechnique
Charlie Jacomme Inria Paris
Clara Schneidewind MPI-SP
Corina Pasareanu NASA, KBR, Carnegie Mellon University
Daniel Hedin Mälardalen University and Chalmers University of Technology
Daniel Kifer Penn State University
Dominique Devriese KU Leuven
Dominique Schröder Friedrich-Alexander-Universität Erlangen-Nürnberg
Dominique Unruh University of Tartu
Elisavet Kozyri UiT The Arctic University of Norway
Flaminia Luccio Università Ca' Foscari Venezia
Frank Piessens KU Leuven
Geoffroy Couteau CNRS, IRIF, Université de Paris
Jonathan Protzenko Microsoft Research
José Fragoso Santos INESC-ID/IST, University of Lisbon
Justin Hsu Cornell University
Kirsten Winter Defence Science and Technology Group, Australia and The University of Queensland
Kostas Chatzikokolakis University of Athens
Lesly-Ann Daniel KU Leuven
Limin Jia Carnegie Mellon University
Marco Guarnieri IMDEA Software Institute
Mário Alvim Universidade Federal de Minas Gerais - UFMG
Martin Abadi Google
Matteo Maffei TU Wien
Michael Emmi Amazon Web Services
Musard Balliu KTH Royal Institute of Technology
Owen Arden UC Santa Cruz
Pascal Reisert University of Stuttgart
Pedro Moreno-Sanchez IMDEA Software Institute
Peeter Laud Cybernetica AS
Peter Schwabe MPI-SP & Radboud University
Pierre-Yves Strub Meta
Ralf Sasse ETH Zurich
Riccardo Focardi Università Ca' Foscari Venezia
Roberto Blanco MPI-SP
Sébastien Bardin CEA LIST, Université Paris Saclay
Stefano Calzavara chair Università Ca' Foscari Venezia
Stephen Chong Harvard University
Sunjay Cauligi Max Planck Institute for Security and Privacy
Tachio Terauchi Waseda University
Tamara Rezk chair INRIA
Timos Antonopoulos Yale University
Toby Murray University of Melbourne
Véronique Cortier CNRS, Loria