Academic Service

Program Chair

• Co-chair of the Workshop on Principles of Secure Compilation (PriSC’26), co-located with POPL (2026)
• Co-chair of the workshop on Programming Languages and Analysis for Security (PLAS’24), co-located with CCS (2024)
• Co-organizer of the Annual meeting of the Working Group “Formal Methods for Security” (GT-MFS) (2024)

Steering committees

• (Oct 2025-now): board member of GDR Sécurité (French working group for cybersecurity)
• (Oct 2025-now): co-responsible for the French working group on formal methods for security

Journal reviewer

• ACM Transactions on Privacy and Security (TOPS) (2024)
• Peerj journal (2020)

Conference PC

S&P’26, CCS’26, CCS’25, EuroS&P25, CSF’25, EuroS&P’24, CSF’24, DIMVA’23, CSF’23, DIMVA’22

Workshop PC

HS3’25, PriSC’25, SysTEX’24, PriSC’25, SILM’23, RESSI’23, PriSC’23, PLAS’22, SILM’22

PhD jury member

Brent De Blaere (2024), Ignacio Tiraboschi (2024), Swarn Priya (2023), Thomas Van Strydonck (2022).

Artifact evaluation committee

CAV’22, PLDI’21, ACSAC’20

Session chair

EuroS&P’22, ACSAC’20

Sub-reviewer

S&P’25, Usenix’24, S&P’24, CCS’24, VMCAI’24, S&P’23, ESEC/FSE’22, CAV’22, ACSAC’22, DIMVA’21, ACSAC’21, BAR’20, SecDev’20

Other

• Interview for La Gazette du GDR Sécurité Informatique, Numéro 13, Novembre 2022 (in French)

• Article on the winter school Cyber in Saclay in La Gazette du GDR Sécurité Informatique, Numéro 8, Mars 2021 (in French)
• Impressions from the first ever online version of the Security and Privacy Symposium in Cipher Electronic Newsletter of the Technical Committee on Security & Privacy, May 29, 2020