November 28 – December 3 , 2021, Dagstuhl Seminar 21481
Last update: January 18 2022
Secure Compilation
On-site participants
- Roberto Blanco (MPI-SP – Bochum, DE) [dblp]
- Stefan Brunthaler (Universität der Bundeswehr – München, DE) [dblp]
- Matteo Busi (University of Pisa, IT)
- Dominique Devriese (KU Leuven, BE) [dblp]
- Akram El-Korashy (MPI-SWS – Saarbrücken, DE) [dblp]
- Deepak Garg (MPI-SWS – Saarbrücken, DE) [dblp]
- Anitha Gollamudi (Yale University – New Haven, US)
- Marco Guarnieri (IMDEA Software – Madrid, ES) [dblp]
- Catalin Hritcu (MPI-SP – Bochum, DE) [dblp]
- Marco Patrignani (CISPA – Saarbrücken, DE) [dblp]
- Jan Reineke (Universität des Saarlandes – Saarbrücken, DE) [dblp]
- Shweta Shinde (ETH Zürich, CH)
- Jeremy Thibault (MPI-SP – Bochum, DE)
- Thomas Van Strydonck (KU Leuven, BE)
- Ingrid Verbauwhede (KU Leuven, BE) [dblp]
Remote participants
- Amal Ahmed (Northeastern University – Boston, US) [dblp]
- Arthur Azevedo de Amorim (Boston University, US) [dblp]
- Gilles Barthe (MPI-SP – Bochum, DE) [dblp]
- Joseph Bialek (Microsoft – Redmond, US)
- Sandrine Blazy (University & IRISA – Rennes, FR) [dblp]
- Nathan Burow (MIT Lincoln Laboratory – Lexington, US) [dblp]
- David Chisnall (Microsoft Research – Cambridge, GB) [dblp]
- Mads Dam (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
- Ergys Dona (EPFL Lausanne, CH)
- Cédric Fournet (Microsoft Research – Cambridge, GB) [dblp]
- Tal Garfinkel (Corepoint Systems – Penn Valley, US) [dblp]
- Chung-Kil Hur (Seoul National University, KR) [dblp]
- Jérémie Koenig (Yale University – New Haven, US)
- Per Larsen (Immunant – Irvine, US) [dblp]
- Amit Levy (Princeton University, US) [dblp]
- Toby Murray (The University of Melbourne, AU) [dblp]
- Andrew Myers (Cornell University – Ithaca, US) [dblp]
- Santosh Nagarakatte (Rutgers University – Piscataway, US) [dblp]
- Elisabeth Oswald (Alpen-Adria-Universität Klagenfurt, AT) [dblp]
- Zoe Paraskevopoulou (Northeastern University – Boston, US) [dblp]
- Mathias Payer (EPFL – Lausanne, CH) [dblp]
- Andreas Rossberg (Dfinity – Zürich, CH) [dblp]
- Kostya Serebryany (Google – Mountain View, US) [dblp]
- Peter Sewell (University of Cambridge, GB) [dblp]
- Zhong Shao (Yale University – New Haven, US) [dblp]
- Deian Stefan (University of California – San Diego, US) [dblp]
- Gang Tan (Pennsylvania State University – University Park, US) [dblp]
- Nikos Vasilakis (MIT – Cambridge, US)
- Marco Vassena (CISPA – Saarbrücken, DE) [dblp]
- Drew Zagieboylo (Cornell University – Ithaca, US)
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner