Service

Program committee member of the 32nd ACM Conference on Computer and Communications Security (CCS 2025) – Privacy and Anonymity track
Program committee member of the 25th Privacy Enhancing Technologies Symposium (PETS 2025)
Jury member of the 9th CNIL-Inria Privacy Award

Program committee member of the 31st ACM Conference on Computer and Communications Security (CCS 2024) – Privacy and Anonymity track
Program committee member of the 33rd USENIX Security Symposium (USENIX 2024)
Program committee member of the 37th IEEE Computer Security Foundations Symposium (CSF 2024)
Program committee member of the 24th Privacy Enhancing Technologies Symposium (PETS 2024)
Program committee member of the XXIV Brazilian Symposium on Information and Computational Systems Security (SBSeg 2024)
Jury member of the 8th CNIL-Inria Privacy Award

Program committee member of the ACM Conference on Computer and Communications Security (CCS 2023) – Formal Methods and Programming Languages
Program committee member of the USENIX Security Symposium (USENIX 2023)
Program committee member of the IEEE Computer Security Foundations Symposium (CSF 2023)
Program committee member of the Privacy Enhancing Technologies Symposium (PETS 2023)
Program committee member of the XXIII Brazilian Symposium on Information and Computational Systems Security (SBSeg 2023)
Co-chair of special session on quantitative methods for security, in honor of Prof. Geoffrey Smith – 36th IEEE Computer Security Foundations Symposium (CSF 2023)
Jury member of the 7th CNIL-Inria Privacy Award
Jury member of the Caspar Bowden Award for Outstanding Research in Privacy Enhancing Technologies 2023

Program committee member of the 29th ACM Conference on Computer and Communications Security (CCS 2022) – Formal Methods and Programming Languages
Program committee member of the 35th IEEE Computer Security Foundations Symposium (CSF 2022)
Program committee member of the 8th International Conference on Information Systems Security and Privacy (ICISSP 2022)
Program committee member of the XXII Brazilian Symposium on Information and Computational Systems Security (SBSeg 2022)
Jury member of the Caspar Bowden Award for Outstanding Research in Privacy Enhancing Technologies 2022
Co-chair of the 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2022)

Program committee member of the 34th IEEE Computer Security Foundations Symposium (CSF 2021)
Program committee member of the 21st Privacy Enhancing Technologies Symposium (PETS 2021)
Program committee member of the 7th International Conference on Information Systems Security and Privacy (ICISSP 2021)
Program committee member of the XXI Brazilian Symposium on Information and Computational Systems Security (SBSeg 2021)
Program committee of the VI Encontro de Teoria da Computação (ETC 2021)

Program committee member of the 20th Privacy Enhancing Technologies Symposium (PETS 2020)
Program committee member of the 6th International Conference on Information Systems Security and Privacy (ICISSP 2020)
Program committee member of the XX Brazilian Symposium on Information and Computational Systems Security (SBSeg 2020)
Program committee member of the V Encontro de Teoria da Computação (ETC 2020)
Steering committee member of the ACM Workshop on Programming Languages and Analysis for Security (PLAS 2020)

Program committee member of the 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods (FM 2019)
Program committee member of the 19th Privacy Enhancing Technologies Symposium (PETS 2019)
Program committee member of the 5th International Conference on Information Systems Security and Privacy (ICISSP 2019)
Program committee member of the XIX Brazilian Symposium on Information and Computational Systems Security (SBSeg 2019)
Co-chair of the Workshop Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Steering committee member of the ACM Workshop on Programming Languages and Analysis for Security (PLAS 2019)

Program committee member of the 31st IEEE Computer Security Foundations Symposium (CSF 2018)
Program committee member of the 18th Privacy Enhancing Technologies Symposium (PETS 2018)
Program committee member of the 15th International Conference on Quantitative Evaluation of Systems (QEST 2018)
Program committee member of the 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018)
Program committee member of the 4th International Conference on Information Systems Security and Privacy (ICISSP 2018)
Program committee member of the Workshop on Cyber Security in Connected Devices (WSCDC 2018)
Program committee member of the XVIII Brazilian Symposium on Information and Computational Systems Security (SBSeg 2018)
Co-chair of the 13th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2018)

Program committee member of the ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS 2017)
Program committee member of the Workshop on Foundations of Computer Security (FCS 2017)
Program committee member of the 3rd International Conference on Information Systems Security and Privacy (ICISSP 2017)
Program committee member of the XVII Brazilian Symposium on Information and Computational Systems Security (SBSeg 2017)

Program committee member of the 2nd International Conference on Information Systems Security and Privacy (ICISSP 2016)
Program committee member of the XVI Brazilian Symposium on Information and Computational Systems Security (SBSeg 2016)

Program committee member of the 8th Interaction and Concurrency Experience (ICE 2015)
Program committee member of the 1st International Conference on Information Systems Security and Privacy (ICISSP 2015)
Program committee member of the XV Brazilian Symposium on Information and Computational Systems Security (SBSeg 2015)

Program member committee of the Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography (FCS-FCC 2014)
Program committee member of the XIV Brazilian Symposium on Information and Computational Systems Security (SBSeg 2014)
Publicity chair of the XIV Brazilian Symposium on Information and Computational Systems Security (SBSeg 2014)