Editorships
- ACM Books, editorial board since 2022.
- ACM Transactions on Privacy and Security (TOPS, previously TISSEC), editorial board since 2015.
- Foundations and Trends (FnT) in Security and Privacy, editorial board since 2014.
Advisory / steering committees
- ANSSI scientific council (French National Agency for the Security of Information Systems), member since 2019.
- ACM Special Interest Group on Logic and Computation, member since 2014, vice-chair since 2019.
- IFIP Wg-1.7 Foundations of Security Analysis, member since 2009 vice-chair since 2012.
Past editorships and advisory committees
- Esorics Steering committee (European Symposium on Research in Computer Security), member from 2021 to 2023.
- Journal of Computer Security (JCS), editorial board from 2011 to 2019, co-editor-in-chief from 2019 to 2022.
- Foundations of Computer Security (FCS), member 2010-2020, chair 2013-2017.
- Computer Security Foundations Symposium (CSF), member of the steering commitee from 2013 to 2019.
- Principles of Security and Trust (POST), member of the steering commitee from 2014 to 2019.
- Information and Computation (I&C), editorial board (2012-2018).
