Service
Program Committees
- IEEE Symposium on Security and Privacy
- ACM Conference on Computer and Communications Security
- Rocq/Coq Workshop
- Principles of Secure Compilation
- Language-theoretic Security
- IEEE European Symposium on Security and Privacy
Panels and Invited Service
- Google Research Day, Paris — Formal Methods Panel