| 2026 | ICISSP | Synthesising Attack Trees with Optimal Shape and Labelling. | Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse |
| 2026 | SECRYPT | Locally Differentially Private Synthesis of Decentralised Heterogeneous Social Graphs via Spectral Embeddings and Bayesian Optimisation. | Manel Jerbi, Zaineb Chelly Dagdia, Sjouke Mauw |
| 2025 | TrustCom | Bits for Privacy: Evaluating Post-Training Quantization via Membership Inference. | Chenxiang Zhang, Tongxi Qu, Zhong Li, Tian Zhang, Jun Pang, Sjouke Mauw |
| 2025 | SECRYPT | Empirical Evaluation of Memory-Erasure Protocols. | Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua |
| 2024 | AsiaCCS | Formal Verification and Solutions for Estonian E-Voting. | Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang |
| 2024 | CCS | Not One Less: Exploring Interplay between User Profiles and Items in Untargeted Attacks against Federated Recommendation. | Yurong Hao, Xihui Chen, Xiaoting Lyu, Jiqiang Liu, Yongsheng Zhu, Zhiguo Wan, Sjouke Mauw, Wei Wang |
| 2024 | WWW | SSI, from Specifications to Protocol? Formally Verify Security! | Christoph H.-J. Braun, Ross Horne, Tobias Kfer, Sjouke Mauw |
| 2023 | CCS | Provably Unlinkable Smart Card-based Payments. | Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov |
| 2022 | FSCD | A Graphical Proof Theory of Logical Time. | Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straburger |
| 2022 | ICWSM | BelElect: A New Dataset for Bias Research from a "Dark" Platform. | Sviatlana Hhn, Sjouke Mauw, Nicholas Asher |
| 2021 | ICTAC | Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. | Ross Horne, Sjouke Mauw, Semen Yurkov |
| 2020 | CCS | GIS: Shielding Vulnerable Smart Contracts Against Attacks. | Christof Ferreira Torres, Mathis Baden, Robert Norvill, Beltran Borja Fiz Pontiveros, Hugo Jonker, Sjouke Mauw |
| 2020 | ESORICS | Active Re-identification Attacks on Periodically Released Dynamic Social Graphs. | Xihui Chen, Ema Kpuska, Sjouke Mauw, Yunior Ramrez-Cruz |
| 2019 | CCS | Post-Collusion Security and Distance Bounding. | Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua |
| 2019 | ESORICS | Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity. | Ihor Filimonov, Ross Horne, Sjouke Mauw, Zach Smith |
| 2018 | ESORICS | Automated Identification of Desynchronisation Attacks on Shared Secrets. | Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua |
| 2018 | SP | Distance-Bounding Protocols: Verification without Time and Location. | Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua |
| 2016 | DBSEC | Counteracting Active Attacks in Social Network Graphs. | Sjouke Mauw, Rolando Trujillo-Rasua, Bochuan Xuan |
| 2015 | ESORICS | FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting. | Christof Ferreira Torres, Hugo L. Jonker, Sjouke Mauw |
| 2015 | SEC | Attack Trees with Sequential Conjunction. | Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua |
| 2014 | FM | A Symbolic Algorithm for the Analysis of Robust Timed Automata. | Piotr Kordy, Rom Langerak, Sjouke Mauw, Jan Willem Polderman |
| 2013 | CCS | Demonstrating a trust framework for evaluating GNSS signal integrity. | Xihui Chen, Carlo Harpes, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang |
| 2013 | ICST | Message from ESSS 2013 Workshop Co-chairs. | Jun Pang, Yang Liu, Sjouke Mauw |
| 2012 | ICISC | Quantitative Questions on Attack-Defense Trees. | Barbara Kordy, Sjouke Mauw, Patrick Schweitzer |
| 2012 | TASE | Comparative Analysis of Clustering Protocols with Probabilistic Model Checking. | Qian Li, Pter Schaffer, Jun Pang, Sjouke Mauw |
| 2009 | ESORICS | Secure Ownership and Ownership Transfer in RFID Systems. | Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pim Vullers |
| 2008 | WISTP | Untraceability of RFID Protocols. | Ton van Deursen, Sjouke Mauw, Sasa Radomirovic |
| 2007 | AINA | A Certified Email Protocol Using Key Chains. | Jan Cederquist, Muhammad Torabi Dashti, Sjouke Mauw |
| 2005 | ICISC | Foundations of Attack Trees. | Sjouke Mauw, Martijn Oostdijk |
| 2004 | ESORICS | A Formalization of Anonymity and Onion Routing. | Sjouke Mauw, Jan Verschuren, Erik P. de Vink |
| 2001 | SAC | Specifying internet applications with DiCons. | Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw |
| 1997 | FORTE | A Hierarchy of Communication Models for Message Sequence Charts. | Andr Engels, Sjouke Mauw, Michel A. Reniers |
| 1997 | TACAS | Test Generation for Intelligent Networks Using Model Checking. | Andr Engels, Loe M. G. Feijs, Sjouke Mauw |
| 1996 | CONCUR | Refinement in Interworkings. | Sjouke Mauw, Michel A. Reniers |
| 1995 | CONCUR | Delayed choice for process algebra with abstraction. | Pedro R. D'Argenio, Sjouke Mauw |
| 1994 | CONCUR | Regularity of BPA-Systems is Decidable. | Sjouke Mauw, Hans Mulder |
| 1994 | FORTE | Delayed choice: an operator for joining Message Sequence Charts. | Jos C. M. Baeten, Sjouke Mauw |
| 1991 | CAV | A Proof Assistant for PSF. | Sjouke Mauw, Gert J. Veltink |