Service (Past)
Editorial boards
- ACM Books (2022–2025)
- ACM Transactions on Privacy and Security (2020–2025)
- IEEE Transactions on Dependable and Secure Computing (2018–2022)
- Journal of Computer Security (2013–2022)
Steering committees (selected)
- EuroS&P — European Symposium on Security and Privacy (2015–2026)
- ETAPS — European Joint Conferences on Theory and Practice of
Software (executive committee 2011–2019, steering committee 2009–2019)
- TGC — Trustworthy Global Computing (2006–2015)
- POST — Principles of Security and Trust (2011–2014)
- ESOP — European Symposium on Programming (2010–2012)
- FMOODS / FORTE — Formal Methods for Open Object-Based Distributed
Systems / Formal Techniques for Networked and Distributed Systems (2008–2011)
Program Committee (co-)chair (selected)
- LPAR 2018 — Logic for Programming, Artificial Intelligence and Reasoning
- STM 2016 — Security and Trust Management
- ESSoS 2012 — Engineering Secure Software and Systems
- FAST 2011 — Formal Aspects of Security and Trust
- SEFM 2011 — Software Engineering and Formal Methods
- ESOP 2011 — European Symposium on Programming
- VMCAI 2010 — Verification, Model Checking, and Abstract Interpretation
- FMOODS 2008 — Formal Methods for Open Object-Based Distributed Systems,
- TGC 2007 — Trustworthy Global Computing
Program committees (selected)
- CAV 2020, 2019
- CCS 2020, 2019, 2018, 2015
- CRYPTO 2018
- CSF 2026, 2021, 2011, 2008
- ESOP 2015, 2008
- ESORICS 2008, 2007, 2006
- EUROCRYPT 2015
- EuroS&P 2017, 2016
- FM 2024, 2019, 2016, 2015, 2009, 2008, 2006
- ICALP 2011, 2009, 2002
- LICS 2027 (associate chair), 2018, 2015, 2014
- LPAR 2018 (PC co-chair), 2012, 2010
- POPL 2027, 2018, 2014
- S&P 2022, 2021, 2018, 2017
- TACAS 2017
Event organization (selected)
- HACS (High-Assurance Cryptographic Software), colocated with
Real-World Crypto, started in 2016 with Ben Laurie and Trevor Perrin
- International School on Probabilistic Programming (2017)
- Theory and Practice of Differential Privacy (2015, 2016)
- Dagstuhl Seminar on Challenges and Trends in Probabilistic Programming (2015)
- Dagstuhl Seminar on Synergy between Programming Languages and Cryptography (2014)
- EasyCrypt schools (2012, 2014, 2015)
- Dagstuhl Seminar on Mobility, Ubiquity, and Security (2007)
- Trustworthy Global Computing (2007)
- Construction and Analysis of Safe, Secure, Interoperable Smart Devices —
CASSIS (2004, 2005)
- CIMPA/UNESCO School on Semantics and Applications (2003)
- Dagstuhl Seminar on Dependent Type Theory Meets Programming Practice (2001)
- International School on Applied Semantics (2000)