An Algebraic Specification of Process Algebra, Including Two Examples. - Sjouke Mauw (Algebraic Methods, 1987)

A Process Specification Formalism Based on Static COLD. - Jos C. M. Baeten; Jan A. Bergstra; Sjouke Mauw; Gert J. Veltink (Algebraic Methods, 1989)

Specification of the Transit Node in PSFd. - Sjouke Mauw; Freek Wiedijk (Algebraic Methods, 1989)

An Introduction to PSFd. - Sjouke Mauw; Gert J. Veltink (TAPSOFT, Vol.2, 1989)

A Proof Assistant for PSF. - Sjouke Mauw; Gert J. Veltink (CAV, 1991)

Uniform Algebraic Specifications of Finite Sets with Equality. - Jan A. Bergstra; Sjouke Mauw; Freek Wiedijk (Int. J. Found. Comput. Sci., 1991)

Regularity of BPA-Systems is Decidable. - Sjouke Mauw; Hans Mulder (CONCUR, 1994)

Delayed choice: an operator for joining Message Sequence Charts. - Jos C. M. Baeten; Sjouke Mauw (FORTE, 1994)

An Algebraic Semantics of Basic Message Sequence Charts. - Sjouke Mauw; Michel A. Reniers (Comput. J., 1994)

Delayed choice for process algebra with abstraction. - Pedro R. D'Argenio; Sjouke Mauw (CONCUR, 1995)

Refinement in Interworkings. - Sjouke Mauw; Michel A. Reniers (CONCUR, 1996)

The Formalization of Message Sequence Charts. - Sjouke Mauw (Comput. Networks ISDN Syst., 1996)

Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. - Jacob Brunekreef; Joost-Pieter Katoen; Ron Koymans; Sjouke Mauw (Distributed Comput., 1996)

High-level message sequence charts. - Sjouke Mauw; Michel A. Reniers (SDL Forum, 1997)

Test Generation for Intelligent Networks Using Model Checking. - André Engels; Loe M. G. Feijs; Sjouke Mauw (TACAS, 1997)

Formal Test Automation: A Simple Experiment. - Axel Belinfante; Jan Feenstra; René G. de Vries; Jan Tretmans; Nicolae Goga; Loe M. G. Feijs; Sjouke Mauw; Lex Heerink (IWTCS, 1999)

MSC and data: dynamic variables. - André Engels; Loe M. G. Feijs; Sjouke Mauw (SDL Forum, 1999)

Model Checking for Managers. - Wil Janssen; Radu Mateescu 001; Sjouke Mauw; Peter Fennema; Petra van der Stappen (SPIN, 1999)

Operational Semantics for MSC'96. - Sjouke Mauw; Michel A. Reniers (Comput. Networks, 1999)

IC Design Validation Using Message Sequence Charts. - Harald P. E. Vranken; Tomás Garciá Garciá; Sjouke Mauw; Loe M. G. Feijs (EUROMICRO, 2000)

Probabilities In The Torx Test Derivation Algorithm. - Loe M. G. Feijs; Nicolae Goga; Sjouke Mauw (SAM, 2000)

A Process Algebra for Interworkings. - Sjouke Mauw; Michel A. Reniers (Handbook of Process Algebra, 2001)

Specifying internet applications with DiCons. - Jos C. M. Baeten; Harm M. A. van Beek; Sjouke Mauw (SAC, 2001)

An MSC Based Representation of DiCons. - Jos C. M. Baeten; Harm M. A. van Beek; Sjouke Mauw (SDL Forum, 2001)

Introduction by the guest editor. - Sjouke Mauw (Comput. Lang., 2001)

An algorithm for the asynchronous Write-All problem based on process collision. - Jan Friso Groote; Wim H. Hesselink; Sjouke Mauw; Rogier Vermeulen (Distributed Comput., 2001)

Impossible futures and determinism. - Marc Voorhoeve; Sjouke Mauw (Inf. Process. Lett., 2001)

Test Selection, Trace Distance and Heuristics. - Loe M. G. Feijs; Nicolae Goga; Sjouke Mauw; Jan Tretmans (TestCom, 2002)

A hierarchy of communication models for Message Sequence Charts. - André Engels; Sjouke Mauw; Michel A. Reniers (Sci. Comput. Program., 2002)

Operational Semantics of Security Protocols. - Cas Cremers; Sjouke Mauw (Scenarios: Models, Transformations and Tools, 2003)

Automatic Conformance Testing of Internet Applications. - Harm M. A. van Beek; Sjouke Mauw (FATES, 2003)

Task Allocation in a Multi-Server System. - Sem C. Borst; Onno J. Boxma; Jan Friso Groote; Sjouke Mauw (J. Sched., 2003)

A Formalization of Anonymity and Onion Routing. - Sjouke Mauw; Jan Verschuren; Erik P. de Vink (ESORICS, 2004)

Checking Secrecy by Means of Partial Order Reduction. - Cas J. F. Cremers; Sjouke Mauw (SAM, 2004)

Analysing the BKE-security Protocol with µCRL. - Stefan Blom; Jan Friso Groote; Sjouke Mauw; Alexander Serebrenik (ARTS, 2004)

Language-Driven System Design. - Sjouke Mauw; Wouter T. Wiersma; Tim A. C. Willemse (Int. J. Softw. Eng. Knowl. Eng., 2004)

Foundations of Attack Trees. - Sjouke Mauw; Martijn Oostdijk (ICISC, 2005)

XML Security in the Next Generation Optical Disc Context. - Gopakumar Nair; Ajeesh Gopalakrishnan; Sjouke Mauw; Erik Moll (Secure Data Management, 2005)

A Syntactic Criterion for Injectivity of Authentication Protocols. - Cas J. F. Cremers; Sjouke Mauw; Erik P. de Vink (ARSPA@ICALP, 2005)

Preface. - Sjouke Mauw; Valérie Issarny; Cas Cremers (STM, 2005)

Forward Secure Communication in Wireless Sensor Networks. - Sjouke Mauw; Ivo van Vessem; Bert Bos (SPC, 2006)

Data Anonymity in the FOO Voting Scheme. - Sjouke Mauw; Jan Verschuren; Erik P. de Vink (VODCA@FOSAD, 2006)

Injective synchronisation: An extension of the authentication hierarchy. - Cas J. F. Cremers; Sjouke Mauw; Erik P. de Vink (Theor. Comput. Sci., 2006)

A Certified Email Protocol Using Key Chains. - Jan Cederquist; Muhammad Torabi Dashti; Sjouke Mauw (AINA Workshops (1), 2007)

Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks. - Pieter Ceelen; Sjouke Mauw; Sasa Radomirovic (STM@ESORICS, 2007)

Rights Management for Role-Based Access Control. - Bart Bouwman; Sjouke Mauw; Milan Petkovic (CCNC, 2008)

Untraceability of RFID Protocols. - Ton van Deursen; Sjouke Mauw; Sasa Radomirovic (WISTP, 2008)

A framework for compositional verification of security protocols. - Suzana Andova; Cas Cremers; Kristian Gjøsteen; Sjouke Mauw; Stig Fr. Mjølsnes; Sasa Radomirovic (Inf. Comput., 2008)

Preface. - Fabio Massacci; Frank Piessens; Sjouke Mauw (Sci. Comput. Program., 2008)

Measuring Voter-Controlled Privacy. - Hugo L. Jonker; Sjouke Mauw; Jun Pang 001 (ARES, 2009)

Towards a Decision Model Based on Trust and Security Risk Management. - Baptiste Alcalde; Eric Dubois 001; Sjouke Mauw; Nicolas Mayer; Sasa Radomirovic (AISC, 2009)

Minimal Message Complexity of Asynchronous Multi-party Contract Signing. - Sjouke Mauw; Sasa Radomirovic; Mohammad Torabi Dashti (CSF, 2009)

Secure Ownership and Ownership Transfer in RFID Systems. - Ton van Deursen; Sjouke Mauw; Sasa Radomirovic; Pim Vullers (ESORICS, 2009)

An Algebra for Trust Dilution and Trust Fusion. - Baptiste Alcalde; Sjouke Mauw (Formal Aspects in Security and Trust, 2009)

Game-Based Verification of Multi-Party Contract Signing Protocols. - Ying Zhang; Chenyi Zhang 001; Jun Pang 001; Sjouke Mauw (Formal Aspects in Security and Trust, 2009)

A formal framework for quantifying voter-controlled privacy. - Hugo L. Jonker; Sjouke Mauw; Jun Pang 001 (J. Algorithms, 2009)

Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent. - Barbara Kordy; Sjouke Mauw; Matthijs Melissen; Patrick Schweitzer (GameSec, 2010)

Foundations of Attack-Defense Trees. - Barbara Kordy; Sjouke Mauw; Sasa Radomirovic; Patrick Schweitzer (Formal Aspects in Security and Trust, 2010)

Security Protocols for Secret Santa (Transcript of Discussion). - Sjouke Mauw (Security Protocols Workshop, 2010)

Security Protocols for Secret Santa. - Sjouke Mauw; Sasa Radomirovic; Peter Y. A. Ryan (Security Protocols Workshop, 2010)

Fair Exchange. - Mohammad Torabi Dashti; Sjouke Mauw (Handbook of Financial Cryptography and Security, 2010)

Selective Location Blinding Using Hash Chains. - Gabriele Lenzini; Sjouke Mauw; Jun Pang 001 (Security Protocols Workshop, 2011)

Selective Location Blinding Using Hash Chains (Transcript of Discussion). - Sjouke Mauw (Security Protocols Workshop, 2011)

Fairness in Non-Repudiation Protocols. - Wojciech Jamroga; Sjouke Mauw; Matthijs Melissen (STM, 2011)

mCarve: Carving Attributed Dump Sets. - Ton van Deursen; Sjouke Mauw; Sasa Radomirovic (USENIX Security Symposium, 2011)

A Study of the PDGF Signaling Pathway with PRISM - Qixia Yuan; Jun Pang 001; Sjouke Mauw; Panuwat Trairatphisan; Monique Wiesinger; Thomas Sauter (CompMod, 2011)

Operational Semantics and Verification of Security Protocols - Cas Cremers; Sjouke Mauw (Springer, 2012)

A Group Signature Based Electronic Toll Pricing System. - Xihui Chen; Gabriele Lenzini; Sjouke Mauw; Jun Pang 001 (ARES, 2012)

Quantitative Questions on Attack-Defense Trees. - Barbara Kordy; Sjouke Mauw; Patrick Schweitzer (ICISC, 2012)

A PUF-Based Authentication Protocol to Address Ticket-Switching of RFID-Tagged Items. - Sjouke Mauw; Selwyn Piramuthu (STM, 2012)

Comparative Analysis of Clustering Protocols with Probabilistic Model Checking. - Qian Li 003; Péter Schaffer; Jun Pang 001; Sjouke Mauw (TASE, 2012)

Input online review data and related bias in recommender systems. - Selwyn Piramuthu; Gaurav Kapoor; Wei Zhou 001; Sjouke Mauw (Decis. Support Syst., 2012)

Game-based verification of contract signing protocols with minimal messages. - Ying Zhang; Chenyi Zhang 001; Jun Pang 001; Sjouke Mauw (Innov. Syst. Softw. Eng., 2012)

A trust-augmented voting scheme for collaborative privacy management. - Yanjie Sun; Chenyi Zhang 001; Jun Pang 001; Baptiste Alcalde; Sjouke Mauw (J. Comput. Secur., 2012)

Probabilistic Model Checking of the PDGF Signaling Pathway. - Qixia Yuan; Panuwat Trairatphisan; Jun Pang 001; Sjouke Mauw; Monique Wiesinger; Thomas Sauter (Trans. Comp. Sys. Biology, 2012)

Demonstrating a trust framework for evaluating GNSS signal integrity. - Xihui Chen; Carlo Harpes; Gabriele Lenzini; Miguel Martins; Sjouke Mauw; Jun Pang 001 (CCS, 2013)

A Trust Framework for Evaluating GNSS Signal Integrity. - Xihui Chen; Gabriele Lenzini; Miguel Martins; Sjouke Mauw; Jun Pang 001 (CSF, 2013)

Message from ESSS 2013 Workshop Co-chairs. - Jun Pang 001; Yang Liu 003; Sjouke Mauw (ICST Workshops, 2013)

ADTool: Security Analysis with Attack-Defense Trees. - Barbara Kordy; Piotr Kordy; Sjouke Mauw; Patrick Schweitzer (QEST, 2013)

ADTool: Security Analysis with Attack- Defense Trees (Extended Version) - Barbara Kordy; Piotr Kordy; Sjouke Mauw; Patrick Schweitzer (CoRR, 2013)

Privacy and verifiability in voting systems: Methods, developments and trends. - Hugo Jonker; Sjouke Mauw; Jun Pang 001 (Comput. Sci. Rev., 2013)

Location Assurance and Privacy in GNSS Navigation. - Xihui Chen; Carlo Harpes; Gabriele Lenzini; Sjouke Mauw; Jun Pang 001 (ERCIM News, 2013)

Design and Formal Analysis of A Group Signature Based Electronic Toll Pricing System. - Xihui Chen; Gabriele Lenzini; Sjouke Mauw; Jun Pang 001 (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2013)

A Symbolic Algorithm for the Analysis of Robust Timed Automata. - Piotr Kordy; Rom Langerak; Sjouke Mauw; Jan Willem Polderman (FM, 2014)

On Robustness of Trust Systems. - Tim Muller; Yang Liu 003; Sjouke Mauw; Jie Zhang 002 (IFIPTM, 2014)

Attack-defense trees. - Barbara Kordy; Sjouke Mauw; Sasa Radomirovic; Patrick Schweitzer (J. Log. Comput., 2014)

FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting. - Christof Ferreira Torres; Hugo L. Jonker; Sjouke Mauw (ESORICS (2), 2015)

Generalizing Multi-party Contract Signing. - Sjouke Mauw; Sasa Radomirovic (POST, 2015)

Attack Trees with Sequential Conjunction. - Ravi Jhawar; Barbara Kordy; Sjouke Mauw; Sasa Radomirovic; Rolando Trujillo-Rasua (SEC, 2015)

Location-Private Interstellar Communication. - Hugo Jonker; Sjouke Mauw; Sasa Radomirovic (Security Protocols Workshop, 2015)

Location-Private Interstellar Communication (Transcript of Discussion). - Sjouke Mauw (Security Protocols Workshop, 2015)

Security analysis of socio-technical physical systems. - Gabriele Lenzini; Sjouke Mauw; Samir Ouchani (Comput. Electr. Eng., 2015)

Comparing distance bounding protocols: A critical mission supported by decision theory. - Gildas Avoine; Sjouke Mauw; Rolando Trujillo-Rasua (Comput. Commun., 2015)

Bridging Two Worlds: Reconciling Practical Risk Assessment Methodologies with Theory of Attack Trees. - Olga Gadyatskaya; Carlo Harpes; Sjouke Mauw; Cédric Muller; Steve Muller (GraMSec@CSF, 2016)

Counteracting Active Attacks in Social Network Graphs. - Sjouke Mauw; Rolando Trujillo-Rasua; Bochuan Xuan (DBSec, 2016)

A Class of Precomputation-Based Distance-Bounding Protocols. - Sjouke Mauw; Jorge Toro-Pozo; Rolando Trujillo-Rasua (EuroS&P, 2016)

Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0. - Olga Gadyatskaya; Ravi Jhawar; Piotr Kordy; Karim Lounis; Sjouke Mauw; Rolando Trujillo-Rasua (QEST, 2016)

Optimality Results on the Security of Lookup-Based Protocols. - Sjouke Mauw; Jorge Toro-Pozo; Rolando Trujillo-Rasua (RFIDSec, 2016)

Man-in-the-Middle Attacks Evolved... but Our Security Models Didn't. - Hugo L. Jonker; Sjouke Mauw; Rolando Trujillo-Rasua (Security Protocols Workshop, 2016)

A Stochastic Framework for Quantitative Analysis of Attack-Defense Trees. - Ravi Jhawar; Karim Lounis; Sjouke Mauw (STM, 2016)

Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems. - Gabriele Lenzini; Sjouke Mauw; Samir Ouchani (STM, 2016)

A Security Perspective on Publication Metrics. - Hugo Jonker; Sjouke Mauw (Security Protocols Workshop, 2017)

Refinement-Aware Generation of Attack Trees. - Olga Gadyatskaya; Ravi Jhawar; Sjouke Mauw; Rolando Trujillo-Rasua; Tim A. C. Willemse (STM, 2017)

Reverse Bayesian Poisoning: How to Use Spam Filters to Manipulate Online Elections. - Hugo Jonker; Sjouke Mauw; Tom Schmitz (E-VOTE-ID, 2017)

Rethinking (k, 𝓁)-anonymity in social graphs: (k, 𝓁)-adjacency anonymity and (k, 𝓁)-(adjacency) anonymous transformations. - Sjouke Mauw; Yunior Ramírez-Cruz; Rolando Trujillo-Rasua (CoRR, 2017)

Semantics for Specialising Attack Trees based on Linear Logic. - Ross Horne; Sjouke Mauw; Alwen Tiu (Fundam. Informaticae, 2017)

Automated Identification of Desynchronisation Attacks on Shared Secrets. - Sjouke Mauw; Zach Smith; Jorge Toro-Pozo; Rolando Trujillo-Rasua (ESORICS (1), 2018)

The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement. - Ross Horne; Sjouke Mauw; Alwen Tiu (GraMSec@FLoC, 2018)

Distance-Bounding Protocols: Verification without Time and Location. - Sjouke Mauw; Zach Smith; Jorge Toro-Pozo; Rolando Trujillo-Rasua (IEEE Symposium on Security and Privacy, 2018)

Semi-automatically Augmenting Attack Trees Using an Annotated Attack Tree Library. - Ravi Jhawar; Karim Lounis; Sjouke Mauw; Yunior Ramírez-Cruz (STM, 2018)

Anonymising social graphs in the presence of active attackers. - Sjouke Mauw; Yunior Ramírez-Cruz; Rolando Trujillo-Rasua (Trans. Data Priv., 2018)

Post-Collusion Security and Distance Bounding. - Sjouke Mauw; Zach Smith; Jorge Toro-Pozo; Rolando Trujillo-Rasua (CCS, 2019)

Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity. - Ihor Filimonov; Ross Horne; Sjouke Mauw; Zach Smith (ESORICS (1), 2019)

Attack-Tree Series: A Case for Dynamic Attack Tree Analysis. - Olga Gadyatskaya; Sjouke Mauw (GraMSec@CSF, 2019)

Robust active attacks on social graphs. - Sjouke Mauw; Yunior Ramírez-Cruz; Rolando Trujillo-Rasua (Data Min. Knowl. Discov., 2019)

Conditional adjacency anonymity in social graphs under active attacks. - Sjouke Mauw; Yunior Ramírez-Cruz; Rolando Trujillo-Rasua (Knowl. Inf. Syst., 2019)

ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks. - Christof Ferreira Torres; Mathis Baden; Robert Norvill; Beltran Borja Fiz Pontiveros; Hugo Jonker; Sjouke Mauw (AsiaCCS, 2020)

Active Re-identification Attacks on Periodically Released Dynamic Social Graphs. - Xihui Chen; Ema Këpuska; Sjouke Mauw; Yunior Ramírez-Cruz (ESORICS (2), 2020)

Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. - Dov M. Gabbay; Ross Horne; Sjouke Mauw; Leendert van der Torre (GraMSec@CSF, 2020)

Attribute evaluation on attack trees with incomplete information. - Ahto Buldas; Olga Gadyatskaya; Aleksandr Lenin; Sjouke Mauw; Rolando Trujillo-Rasua (Comput. Secur., 2020)

Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. - Sevdenur Baloglu; Sergiu Bursuc; Sjouke Mauw; Jun Pang 001 (IACR Cryptol. ePrint Arch., 2020)

Publishing Community-Preserving Attributed Social Graphs with a Differential Privacy Guarantee. - Xihui Chen; Sjouke Mauw; Yunior Ramírez-Cruz (Proc. Priv. Enhancing Technol., 2020)

Fine-grained Code Coverage Measurement in Automated Black-box Android Testing. - Aleksandr Pilgun; Olga Gadyatskaya; Yury Zhauniarovich; Stanislav Dashevskyi; Artsiom Kushniarou; Sjouke Mauw (ACM Trans. Softw. Eng. Methodol., 2020)

Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. - Ross Horne; Sjouke Mauw; Semen Yurkov (ICTAC, 2021)

Examining Linguistic Biases in Telegram with a Game Theoretic Analysis. - Sviatlana Höhn; Nicholas Asher; Sjouke Mauw (MISDOOM, 2021)

Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments. - Ross Horne; Sjouke Mauw; Semen Yurkov (CoRR, 2021)

Provably Improving Election Verifiability in Belenios. - Sevdenur Baloglu; Sergiu Bursuc; Sjouke Mauw; Jun Pang 001 (IACR Cryptol. ePrint Arch., 2021)

Discovering ePassport Vulnerabilities using Bisimilarity. - Ross Horne; Sjouke Mauw (Log. Methods Comput. Sci., 2021)

Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments. - Ross Horne; Sjouke Mauw; Semen Yurkov (CSF, 2022)

Is Eve nearby? Analysing protocols under the distant-attacker assumption. - Reynaldo Gil Pons; Ross Horne; Sjouke Mauw; Alwen Tiu; Rolando Trujillo-Rasua (CSF, 2022)

A Graphical Proof Theory of Logical Time. - Matteo Acclavio; Ross Horne; Sjouke Mauw; Lutz Straßburger (FSCD, 2022)

BelElect: A New Dataset for Bias Research from a "Dark" Platform. - Sviatlana Höhn; Sjouke Mauw; Nicholas Asher (ICWSM, 2022)

Modelling Agent-Skipping Attacks in Message Forwarding Protocols. - Zach Smith; Hugo Jonker; Sjouke Mauw; Hyunwoo Lee 001 (CoRR, 2022)

Contingent payments from two-party signing and verification for abelian groups. - Sergiu Bursuc; Sjouke Mauw (IACR Cryptol. ePrint Arch., 2022)

Preventing active re-identification attacks on social graphs via sybil subgraph obfuscation. - Sjouke Mauw; Yunior Ramírez-Cruz; Rolando Trujillo-Rasua (Knowl. Inf. Syst., 2022)

Provably Unlinkable Smart Card-based Payments. - Sergiu Bursuc; Ross Horne; Sjouke Mauw; Semen Yurkov (CCS, 2023)

Language Ideology Bias in Conversational Technology. - Sviatlana Höhn; Bettina Migge; Doris Dippold; Britta Schneider; Sjouke Mauw (CONVERSATIONS, 2023)

Election Verifiability in Receipt-Free Voting Protocols. - Sevdenur Baloglu; Sergiu Bursuc; Sjouke Mauw; Jun Pang 001 (CSF, 2023)

Automated generation of attack trees with optimal shape and labelling. - Olga Gadyatskaya; Sjouke Mauw; Rolando Trujillo-Rasua; Tim A. C. Willemse (CoRR, 2023)

Dripping the Poison: The Instruments of Bias. A Qualitative Case Study of News Articles in Four Languages over Nine Years. - Sviatlana Höhn; Barbara Lewandowska-Tomaszczyk; Sjouke Mauw; Dov M. Gabbay (FLAP, 2023)

Anomaly Detection Using Deep Learning Respecting the Resources on Board a CubeSat. - Ross Horne; Sjouke Mauw; Andrzej Mizera; André Stemper; Jan Thoemel (J. Aerosp. Inf. Syst., 2023)

When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus. - Ross Horne; Sjouke Mauw; Semen Yurkov (Theor. Comput. Sci., 2023)

On the optimal resistance against mafia and distance fraud in distance-bounding protocols. - Reynaldo Gil Pons; Sjouke Mauw; Rolando Trujillo-Rasua (Comput. Commun., 2023)

Formal Verification and Solutions for Estonian E-Voting. - Sevdenur Baloglu; Sergiu Bursuc; Sjouke Mauw; Jun Pang 001 (AsiaCCS, 2024)

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 012 (CCS, 2024)

Software-Based Memory Erasure with Relaxed Isolation Requirements. - Sergiu Bursuc; Reynaldo Gil Pons; Sjouke Mauw; Rolando Trujillo-Rasua (CSF, 2024)

SSI, from Specifications to Protocol? Formally Verify Security! - Christoph H.-J. Braun; Ross Horne; Tobias Käfer; Sjouke Mauw (WWW, 2024)

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version. - Sergiu Bursuc; Reynaldo Gil Pons; Sjouke Mauw; Rolando Trujillo-Rasua (CoRR, 2024)

Empirical Evaluation of Memory-Erasure Protocols. - Reynaldo Gil Pons; Sjouke Mauw; Rolando Trujillo-Rasua (SECRYPT, 2025)

Spurious Privacy Leakage in Neural Networks. - Chenxiang Zhang; Jun Pang 001; Sjouke Mauw (Trans. Mach. Learn. Res., 2025)