Sjouke Mauw - RankMe

193 papers A* 8A 15B 10C 5Misc 6Journal 72Unranked 64

Year	Rank	Type	Title / Venue / Authors
2026	—	`book`	Security Protocols and Threat Models - Security and Privacy via The Applied π-Calculus Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Felix Stutz, Semen Yurkov
2026	—	`conf`	Synthesising Attack Trees with Optimal Shape and Labelling. ICISSP (1) Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse
2026	J	`jnl`	Unlinkability and History Preserving Bisimilarity. CoRR Clément Aubert, Ross Horne, Christian Johansen, Sjouke Mauw
2026	J	`jnl`	Unlinkability and history preserving bisimilarity. Comput. Secur. Clément Aubert, Ross Horne, Christian Johansen, Sjouke Mauw
2025	B	`conf`	Bits for Privacy: Evaluating Post-Training Quantization via Membership Inference. TrustCom Chenxiang Zhang, Tongxi Qu, Zhong Li, Tian Zhang, Jun Pang, Sjouke Mauw
2025	J	`jnl`	Bits for Privacy: Evaluating Post-Training Quantization via Membership Inference. CoRR Chenxiang Zhang, Tongxi Qu, Zhong Li, Tian Zhang, Jun Pang, Sjouke Mauw
2025	C	`conf`	Empirical Evaluation of Memory-Erasure Protocols. SECRYPT Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
2025	J	`jnl`	Empirical Evaluation of Memory-Erasure Protocols. CoRR Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
2025	J	`jnl`	Honest Users Make Honest Mistakes: A Framework for Analysing eID Protocols. IACR Cryptol. ePrint Arch. Ole Martin Edstrøm, Kristian Gjøsteen, Hans Heum, Sjouke Mauw, Felix Stutz
2025	J	`jnl`	How does the optimizer implicitly bias the model merging loss landscape? CoRR Chenxiang Zhang, Alexander Theus, Damien Teney, Antonio Orvieto, Jun Pang, Sjouke Mauw
2025	J	`jnl`	Spurious Privacy Leakage in Neural Networks. CoRR Chenxiang Zhang, Jun Pang, Sjouke Mauw
2025	J	`jnl`	Spurious Privacy Leakage in Neural Networks. Trans. Mach. Learn. Res. Chenxiang Zhang, Jun Pang, Sjouke Mauw
2025	J	`jnl`	Towards formal verification and corrupted setup security for the SwissPost voting system. IACR Cryptol. ePrint Arch. Sevdenur Baloglu, Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw
2024	A	`conf`	Formal Verification and Solutions for Estonian E-Voting. AsiaCCS Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2024	A*	`conf`	Not One Less: Exploring Interplay between User Profiles and Items in Untargeted Attacks against Federated Recommendation. CCS Yurong Hao, Xihui Chen, Xiaoting Lyu, Jiqiang Liu, Yongsheng Zhu, Zhiguo Wan, Sjouke Mauw, Wei Wang
2024	A*	`conf`	SSI, from Specifications to Protocol? Formally Verify Security! WWW Christoph H.-J. Braun, Ross Horne, Tobias Käfer, Sjouke Mauw
2024	A	`conf`	Software-Based Memory Erasure with Relaxed Isolation Requirements. CSF Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
2024	J	`jnl`	Software-Based Memory Erasure with relaxed isolation requirements: Extended Version. CoRR Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
2023	J	`jnl`	Anomaly Detection Using Deep Learning Respecting the Resources on Board a CubeSat. J. Aerosp. Inf. Syst. Ross Horne, Sjouke Mauw, Andrzej Mizera, André Stemper, Jan Thoemel
2023	J	`jnl`	Automated generation of attack trees with optimal shape and labelling. CoRR Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse
2023	J	`jnl`	Dripping the Poison: The Instruments of Bias. A Qualitative Case Study of News Articles in Four Languages over Nine Years. FLAP Sviatlana Höhn, Barbara Lewandowska-Tomaszczyk, Sjouke Mauw, Dov M. Gabbay
2023	A	`conf`	Election Verifiability in Receipt-Free Voting Protocols. CSF Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2023	—	`conf`	Language Ideology Bias in Conversational Technology. CONVERSATIONS Sviatlana Höhn, Bettina Migge, Doris Dippold, Britta Schneider, Sjouke Mauw
2023	J	`jnl`	On the optimal resistance against mafia and distance fraud in distance-bounding protocols. Comput. Commun. Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
2023	A*	`conf`	Provably Unlinkable Smart Card-based Payments. CCS Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
2023	J	`jnl`	Provably Unlinkable Smart Card-based Payments. CoRR Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
2023	J	`jnl`	When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied Theor. Comput. Sci. Ross Horne, Sjouke Mauw, Semen Yurkov
2022	B	`conf`	A Graphical Proof Theory of Logical Time. FSCD Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger
2022	A	`conf`	BelElect: A New Dataset for Bias Research from a "Dark" Platform. ICWSM Sviatlana Höhn, Sjouke Mauw, Nicholas Asher
2022	A	`conf`	Contingent payments from two-party signing and verification for abelian groups. CSF Sergiu Bursuc, Sjouke Mauw
2022	J	`jnl`	Contingent payments from two-party signing and verification for abelian groups. IACR Cryptol. ePrint Arch. Sergiu Bursuc, Sjouke Mauw
2022	A	`conf`	Is Eve nearby? Analysing protocols under the distant-attacker assumption. CSF Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua
2022	J	`jnl`	Modelling Agent-Skipping Attacks in Message Forwarding Protocols. CoRR Zach Smith, Hugo Jonker, Sjouke Mauw, Hyunwoo Lee
2022	J	`jnl`	Preventing active re-identification attacks on social graphs via sybil subgraph obfuscation. Knowl. Inf. Syst. Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
2022	A	`conf`	Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments. CSF Ross Horne, Sjouke Mauw, Semen Yurkov
2021	J	`jnl`	Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments. CoRR Ross Horne, Sjouke Mauw, Semen Yurkov
2021	C	`conf`	Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. ICTAC Ross Horne, Sjouke Mauw, Semen Yurkov
2021	J	`jnl`	Discovering ePassport Vulnerabilities using Bisimilarity. Log. Methods Comput. Sci. Ross Horne, Sjouke Mauw
2021	A	`conf`	Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. CSF Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2021	—	`conf`	Examining Linguistic Biases in Telegram with a Game Theoretic Analysis. MISDOOM Sviatlana Höhn, Nicholas Asher, Sjouke Mauw
2021	—	`conf`	Provably Improving Election Verifiability in Belenios. E-VOTE-ID Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2021	J	`jnl`	Provably Improving Election Verifiability in Belenios. IACR Cryptol. ePrint Arch. Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2020	—	`conf`	Active Re-identification Attacks on Periodically Released Dynamic Social Graphs. ESORICS (2) Xihui Chen, Ema Këpuska, Sjouke Mauw, Yunior Ramírez-Cruz
2020	—	`conf`	Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. GraMSec Dov M. Gabbay, Ross Horne, Sjouke Mauw, Leendert van der Torre
2020	J	`jnl`	Attribute evaluation on attack trees with incomplete information. Comput. Secur. Ahto Buldas, Olga Gadyatskaya, Aleksandr Lenin, Sjouke Mauw, Rolando Trujillo-Rasua
2020	J	`jnl`	Discovering ePassport Vulnerabilities using Bisimilarity. CoRR Ross Horne, Sjouke Mauw
2020	J	`jnl`	Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. IACR Cryptol. ePrint Arch. Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2020	J	`jnl`	Fine-grained Code Coverage Measurement in Automated Black-box Android Testing. ACM Trans. Softw. Eng. Methodol. Aleksandr Pilgun, Olga Gadyatskaya, Yury Zhauniarovich, Stanislav Dashevskyi, Artsiom Kushniarou, Sjouke Mauw
2020	J	`jnl`	Preventing active re-identification attacks on social graphs via sybil subgraph obfuscation. CoRR Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
2020	J	`jnl`	Publishing Community-Preserving Attributed Social Graphs with a Differential Privacy Guarantee. Proc. Priv. Enhancing Technol. Xihui Chen, Sjouke Mauw, Yunior Ramírez-Cruz
2020	A	`conf`	ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks. AsiaCCS Christof Ferreira Torres, Mathis Baden, Robert Norvill, Beltran Borja Fiz Pontiveros, Hugo Jonker, Sjouke Mauw
2020	J	`jnl`	ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks. CoRR Christof Ferreira Torres, Mathis Baden, Robert Norvill, Beltran Borja Fiz Pontiveros, Hugo Jonker, Sjouke Mauw
2019	J	`jnl`	Active Re-identification Attacks on Periodically Released Dynamic Social Graphs. CoRR Xihui Chen, Ema Këpuska, Sjouke Mauw, Yunior Ramírez-Cruz
2019	—	`conf`	Attack-Tree Series: A Case for Dynamic Attack Tree Analysis. GraMSec Olga Gadyatskaya, Sjouke Mauw
2019	—	`conf`	Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity. ESORICS (1) Ihor Filimonov, Ross Horne, Sjouke Mauw, Zach Smith
2019	J	`jnl`	Conditional adjacency anonymity in social graphs under active attacks. Knowl. Inf. Syst. Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
2019	A*	`conf`	Post-Collusion Security and Distance Bounding. CCS Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua
2019	J	`jnl`	Publishing Community-Preserving Attributed Social Graphs with a Differential Privacy Guarantee. CoRR Xihui Chen, Sjouke Mauw, Yunior Ramírez-Cruz
2019	J	`jnl`	Robust active attacks on social graphs. Data Min. Knowl. Discov. Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
2019	—	`ed.`	Security and Trust Management - 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019, Proceedings STM Sjouke Mauw, Mauro Conti
2018	J	`jnl`	Anonymising social graphs in the presence of active attackers. Trans. Data Priv. Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
2018	J	`jnl`	Attribute Evaluation on Attack Trees with Incomplete Information. CoRR Ahto Buldas, Olga Gadyatskaya, Aleksandr Lenin, Sjouke Mauw, Rolando Trujillo-Rasua
2018	—	`conf`	Automated Identification of Desynchronisation Attacks on Shared Secrets. ESORICS (1) Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua
2018	A*	`conf`	Distance-Bounding Protocols: Verification without Time and Location. IEEE Symposium on Security and Privacy Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua
2018	—	`ed.`	Graphical Models for Security - 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers GraMSec Peng Liu, Sjouke Mauw, Ketil Stølen
2018	J	`jnl`	Robust active attacks on social graphs. CoRR Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
2018	—	`conf`	Semi-automatically Augmenting Attack Trees Using an Annotated Attack Tree Library. STM Ravi Jhawar, Karim Lounis, Sjouke Mauw, Yunior Ramírez-Cruz
2018	—	`conf`	The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement. GraMSec Ross Horne, Sjouke Mauw, Alwen Tiu
2017	—	`conf`	A Security Perspective on Publication Metrics. Security Protocols Workshop Hugo Jonker, Sjouke Mauw
2017	—	`conf`	Refinement-Aware Generation of Attack Trees. STM Olga Gadyatskaya, Ravi Jhawar, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse
2017	J	`jnl`	Rethinking (k, 𝓁)-anonymity in social graphs: (k, 𝓁)-adjacency anonymity and (k, 𝓁)-(adjacency) anonymous transformations. CoRR Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
2017	—	`conf`	Reverse Bayesian Poisoning: How to Use Spam Filters to Manipulate Online Elections. E-VOTE-ID Hugo Jonker, Sjouke Mauw, Tom Schmitz
2017	J	`jnl`	Semantics for Specialising Attack Trees based on Linear Logic. Fundam. Informaticae Ross Horne, Sjouke Mauw, Alwen Tiu
2016	A	`conf`	A Class of Precomputation-Based Distance-Bounding Protocols. EuroS&P Sjouke Mauw, Jorge Toro-Pozo, Rolando Trujillo-Rasua
2016	—	`conf`	A Stochastic Framework for Quantitative Analysis of Attack-Defense Trees. STM Ravi Jhawar, Karim Lounis, Sjouke Mauw
2016	—	`conf`	Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems. STM Gabriele Lenzini, Sjouke Mauw, Samir Ouchani
2016	—	`conf`	Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0. QEST Olga Gadyatskaya, Ravi Jhawar, Piotr Kordy, Karim Lounis, Sjouke Mauw, Rolando Trujillo-Rasua
2016	—	`conf`	Bridging Two Worlds: Reconciling Practical Risk Assessment Methodologies with Theory of Attack Trees. GraMSec Olga Gadyatskaya, Carlo Harpes, Sjouke Mauw, Cédric Muller, Steve Muller
2016	B	`conf`	Counteracting Active Attacks in Social Network Graphs. DBSec Sjouke Mauw, Rolando Trujillo-Rasua, Bochuan Xuan
2016	—	`ed.`	Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers GraMSec Sjouke Mauw, Barbara Kordy, Sushil Jajodia
2016	—	`conf`	Man-in-the-Middle Attacks Evolved... but Our Security Models Didn't. Security Protocols Workshop Hugo L. Jonker, Sjouke Mauw, Rolando Trujillo-Rasua
2016	—	`conf`	Optimality Results on the Security of Lookup-Based Protocols. RFIDSec Sjouke Mauw, Jorge Toro-Pozo, Rolando Trujillo-Rasua
2016	—	`ed.`	Trust Management X - 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings IFIPTM Sheikh Mahbub Habib, Julita Vassileva, Sjouke Mauw, Max Mühlhäuser
2015	Misc	`conf`	Attack Trees with Sequential Conjunction. SEC Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua
2015	J	`jnl`	Attack Trees with Sequential Conjunction. CoRR Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua
2015	J	`jnl`	Comparing Distance Bounding Protocols: a Critical Mission Supported by Decision Theory. CoRR Gildas Avoine, Sjouke Mauw, Rolando Trujillo-Rasua
2015	J	`jnl`	Comparing distance bounding protocols: A critical mission supported by decision theory. Comput. Commun. Gildas Avoine, Sjouke Mauw, Rolando Trujillo-Rasua
2015	—	`conf`	FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting. ESORICS (2) Christof Ferreira Torres, Hugo L. Jonker, Sjouke Mauw
2015	—	`conf`	Generalizing Multi-party Contract Signing. POST Sjouke Mauw, Sasa Radomirovic
2015	J	`jnl`	Generalizing Multi-party Contract Signing. CoRR Sjouke Mauw, Sasa Radomirovic
2015	—	`conf`	Location-Private Interstellar Communication (Transcript of Discussion). Security Protocols Workshop Sjouke Mauw
2015	—	`conf`	Location-Private Interstellar Communication. Security Protocols Workshop Hugo Jonker, Sjouke Mauw, Sasa Radomirovic
2015	—	`ed.`	Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, Oslo, Norway, June 22, 2015. ESSS Jun Pang, Yang Liu, Sjouke Mauw
2015	J	`jnl`	Security analysis of socio-technical physical systems. Comput. Electr. Eng. Gabriele Lenzini, Sjouke Mauw, Samir Ouchani
2014	B	`conf`	A Symbolic Algorithm for the Analysis of Robust Timed Automata. FM Piotr Kordy, Rom Langerak, Sjouke Mauw, Jan Willem Polderman
2014	J	`jnl`	Attack-defense trees. J. Log. Comput. Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer
2014	—	`conf`	On Robustness of Trust Systems. IFIPTM Tim Muller, Yang Liu, Sjouke Mauw, Jie Zhang
2014	—	`ed.`	Proceedings First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, April 12, 2014. GraMSec Barbara Kordy, Sjouke Mauw, Wolter Pieters
2014	—	`ed.`	Security and Trust Management - 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings STM Sjouke Mauw, Christian Damsgaard Jensen
2013	A	`conf`	A Trust Framework for Evaluating GNSS Signal Integrity. CSF Xihui Chen, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang
2013	J	`jnl`	ADTool: Security Analysis with Attack- Defense Trees (Extended Version) CoRR Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer
2013	—	`conf`	ADTool: Security Analysis with Attack-Defense Trees. QEST Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer
2013	A*	`conf`	Demonstrating a trust framework for evaluating GNSS signal integrity. CCS Xihui Chen, Carlo Harpes, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang
2013	J	`jnl`	Design and Formal Analysis of A Group Signature Based Electronic Toll Pricing System. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang
2013	J	`jnl`	Location Assurance and Privacy in GNSS Navigation. ERCIM News Xihui Chen, Carlo Harpes, Gabriele Lenzini, Sjouke Mauw, Jun Pang
2013	—	`conf`	Message from ESSS 2013 Workshop Co-chairs. ICST Workshops Jun Pang, Yang Liu, Sjouke Mauw
2013	J	`jnl`	Privacy and Verifiability in Voting Systems: Methods, Developments and Trends. IACR Cryptol. ePrint Arch. Hugo Jonker, Sjouke Mauw, Jun Pang
2013	J	`jnl`	Privacy and verifiability in voting systems: Methods, developments and trends. Comput. Sci. Rev. Hugo Jonker, Sjouke Mauw, Jun Pang
2012	B	`conf`	A Group Signature Based Electronic Toll Pricing System. ARES Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang
2012	—	`conf`	A PUF-Based Authentication Protocol to Address Ticket-Switching of RFID-Tagged Items. STM Sjouke Mauw, Selwyn Piramuthu
2012	J	`jnl`	A trust-augmented voting scheme for collaborative privacy management. J. Comput. Secur. Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw
2012	Misc	`conf`	Comparative Analysis of Clustering Protocols with Probabilistic Model Checking. TASE Qian Li, Péter Schaffer, Jun Pang, Sjouke Mauw
2012	J	`jnl`	Game-based verification of contract signing protocols with minimal messages. Innov. Syst. Softw. Eng. Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
2012	J	`jnl`	Input online review data and related bias in recommender systems. Decis. Support Syst. Selwyn Piramuthu, Gaurav Kapoor, Wei Zhou, Sjouke Mauw
2012	—	`book`	Operational Semantics and Verification of Security Protocols Cas Cremers, Sjouke Mauw
2012	J	`jnl`	Probabilistic Model Checking of the PDGF Signaling Pathway. Trans. Comp. Sys. Biology Qixia Yuan, Panuwat Trairatphisan, Jun Pang, Sjouke Mauw, Monique Wiesinger, Thomas Sauter
2012	J	`jnl`	Quantitative Questions on Attack-Defense Trees CoRR Barbara Kordy, Sjouke Mauw, Patrick Schweitzer
2012	Misc	`conf`	Quantitative Questions on Attack-Defense Trees. ICISC Barbara Kordy, Sjouke Mauw, Patrick Schweitzer
2011	J	`jnl`	A Group Signature Based Electronic Toll Pricing System CoRR Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang
2011	—	`conf`	A Study of the PDGF Signaling Pathway with PRISM CompMod Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter
2011	—	`conf`	Fairness in Non-Repudiation Protocols. STM Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen
2011	—	`conf`	Selective Location Blinding Using Hash Chains (Transcript of Discussion). Security Protocols Workshop Sjouke Mauw
2011	—	`conf`	Selective Location Blinding Using Hash Chains. Security Protocols Workshop Gabriele Lenzini, Sjouke Mauw, Jun Pang
2011	A*	`conf`	mCarve: Carving Attributed Dump Sets. USENIX Security Symposium Ton van Deursen, Sjouke Mauw, Sasa Radomirovic
2010	—	`conf`	A Trust-Augmented Voting Scheme for Collaborative Privacy Management. STM Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw
2010	J	`jnl`	Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent CoRR Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer
2010	—	`conf`	Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent. GameSec Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer
2010	—	`ch.`	Fair Exchange. Handbook of Financial Cryptography and Security Mohammad Torabi Dashti, Sjouke Mauw
2010	—	`conf`	Foundations of Attack-Defense Trees. Formal Aspects in Security and Trust Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer
2010	—	`conf`	Security Protocols for Secret Santa (Transcript of Discussion). Security Protocols Workshop Sjouke Mauw
2010	—	`conf`	Security Protocols for Secret Santa. Security Protocols Workshop Sjouke Mauw, Sasa Radomirovic, Peter Y. A. Ryan
2009	J	`jnl`	A formal framework for quantifying voter-controlled privacy. J. Algorithms Hugo L. Jonker, Sjouke Mauw, Jun Pang
2009	—	`conf`	An Algebra for Trust Dilution and Trust Fusion. Formal Aspects in Security and Trust Baptiste Alcalde, Sjouke Mauw
2009	—	`conf`	Game-Based Verification of Multi-Party Contract Signing Protocols. Formal Aspects in Security and Trust Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
2009	B	`conf`	Measuring Voter-Controlled Privacy. ARES Hugo L. Jonker, Sjouke Mauw, Jun Pang
2009	A	`conf`	Minimal Message Complexity of Asynchronous Multi-party Contract Signing. CSF Sjouke Mauw, Sasa Radomirovic, Mohammad Torabi Dashti
2009	A	`conf`	Secure Ownership and Ownership Transfer in RFID Systems. ESORICS Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pim Vullers
2009	Misc	`conf`	Towards a Decision Model Based on Trust and Security Risk Management. AISC Baptiste Alcalde, Eric Dubois, Sjouke Mauw, Nicolas Mayer, Sasa Radomirovic
2008	J	`jnl`	A framework for compositional verification of security protocols. Inf. Comput. Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic
2008	J	`jnl`	Preface. Sci. Comput. Program. Fabio Massacci, Frank Piessens, Sjouke Mauw
2008	—	`ed.`	Public Key Infrastructure, 5th European PKI Workshop: Theory and Practice, EuroPKI 2008, Trondheim, Norway, June 16-17, 2008, Proceedings EuroPKI Stig Fr. Mjølsnes, Sjouke Mauw, Sokratis K. Katsikas
2008	—	`conf`	Rights Management for Role-Based Access Control. CCNC Bart Bouwman, Sjouke Mauw, Milan Petkovic
2008	C	`conf`	Untraceability of RFID Protocols. WISTP Ton van Deursen, Sjouke Mauw, Sasa Radomirovic
2007	—	`conf`	A Certified Email Protocol Using Key Chains. AINA Workshops (1) Jan Cederquist, Muhammad Torabi Dashti, Sjouke Mauw
2007	—	`conf`	Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks. STM@ESORICS Pieter Ceelen, Sjouke Mauw, Sasa Radomirovic
2006	J	`jnl`	A framework for compositional verification of security protocols CoRR Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic
2006	—	`conf`	Data Anonymity in the FOO Voting Scheme. VODCA@FOSAD Sjouke Mauw, Jan Verschuren, Erik P. de Vink
2006	—	`conf`	Forward Secure Communication in Wireless Sensor Networks. SPC Sjouke Mauw, Ivo van Vessem, Bert Bos
2006	J	`jnl`	Injective synchronisation: An extension of the authentication hierarchy. Theor. Comput. Sci. Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink
2006	—	`ed.`	Proceedings of the First International Workshop on Security and Trust Management, STM 2005, Milan, Italy, September 15, 2005 STM Sjouke Mauw, Valérie Issarny, Cas Cremers
2005	—	`conf`	A Syntactic Criterion for Injectivity of Authentication Protocols. ARSPA@ICALP Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink
2005	Misc	`conf`	Foundations of Attack Trees. ICISC Sjouke Mauw, Martijn Oostdijk
2005	—	`conf`	Preface. STM Sjouke Mauw, Valérie Issarny, Cas Cremers
2005	—	`conf`	XML Security in the Next Generation Optical Disc Context. Secure Data Management Gopakumar Nair, Ajeesh Gopalakrishnan, Sjouke Mauw, Erik Moll
2004	A	`conf`	A Formalization of Anonymity and Onion Routing. ESORICS Sjouke Mauw, Jan Verschuren, Erik P. de Vink
2004	—	`conf`	Analysing the BKE-security Protocol with ARTS Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik
2004	—	`conf`	Checking Secrecy by Means of Partial Order Reduction. SAM Cas J. F. Cremers, Sjouke Mauw
2004	J	`jnl`	Language-Driven System Design. Int. J. Softw. Eng. Knowl. Eng. Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse
2003	—	`conf`	Automatic Conformance Testing of Internet Applications. FATES Harm M. A. van Beek, Sjouke Mauw
2003	—	`conf`	Operational Semantics of Security Protocols. Scenarios: Models, Transformations and Tools Cas Cremers, Sjouke Mauw
2003	J	`jnl`	Task Allocation in a Multi-Server System. J. Sched. Sem C. Borst, Onno J. Boxma, Jan Friso Groote, Sjouke Mauw
2002	J	`jnl`	A hierarchy of communication models for Message Sequence Charts. Sci. Comput. Program. André Engels, Sjouke Mauw, Michel A. Reniers
2002	—	`conf`	Language Driven System Design. HICSS Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse
2002	—	`conf`	Test Selection, Trace Distance and Heuristics. TestCom Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans
2001	—	`ch.`	A Process Algebra for Interworkings. Handbook of Process Algebra Sjouke Mauw, Michel A. Reniers
2001	—	`conf`	An MSC Based Representation of DiCons. SDL Forum Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw
2001	J	`jnl`	An algorithm for the asynchronous Write-All problem based on process collision. Distributed Comput. Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, Rogier Vermeulen
2001	J	`jnl`	Impossible futures and determinism. Inf. Process. Lett. Marc Voorhoeve, Sjouke Mauw
2001	J	`jnl`	Introduction by the guest editor. Comput. Lang. Sjouke Mauw
2001	Misc	`conf`	Specifying internet applications with DiCons. SAC Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw
2000	—	`conf`	IC Design Validation Using Message Sequence Charts. EUROMICRO Harald P. E. Vranken, Tomás Garciá Garciá, Sjouke Mauw, Loe M. G. Feijs
2000	—	`conf`	Probabilities In The Torx Test Derivation Algorithm. SAM Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw
1999	B	`ed.`	CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings CONCUR Jos C. M. Baeten, Sjouke Mauw
1999	—	`conf`	Formal Test Automation: A Simple Experiment. IWTCS Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink
1999	—	`conf`	MSC and data: dynamic variables. SDL Forum André Engels, Loe M. G. Feijs, Sjouke Mauw
1999	—	`conf`	Model Checking for Managers. SPIN Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen
1999	J	`jnl`	Operational Semantics for MSC'96. Comput. Networks Sjouke Mauw, Michel A. Reniers
1997	C	`conf`	A Hierarchy of Communication Models for Message Sequence Charts. FORTE André Engels, Sjouke Mauw, Michel A. Reniers
1997	—	`conf`	High-level message sequence charts. SDL Forum Sjouke Mauw, Michel A. Reniers
1997	A	`conf`	Test Generation for Intelligent Networks Using Model Checking. TACAS André Engels, Loe M. G. Feijs, Sjouke Mauw
1996	J	`jnl`	Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Distributed Comput. Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw
1996	B	`conf`	Refinement in Interworkings. CONCUR Sjouke Mauw, Michel A. Reniers
1996	J	`jnl`	The Formalization of Message Sequence Charts. Comput. Networks ISDN Syst. Sjouke Mauw
1995	B	`conf`	Delayed choice for process algebra with abstraction. CONCUR Pedro R. D'Argenio, Sjouke Mauw
1994	J	`jnl`	An Algebraic Semantics of Basic Message Sequence Charts. Comput. J. Sjouke Mauw, Michel A. Reniers
1994	C	`conf`	Delayed choice: an operator for joining Message Sequence Charts. FORTE Jos C. M. Baeten, Sjouke Mauw
1994	B	`conf`	Regularity of BPA-Systems is Decidable. CONCUR Sjouke Mauw, Hans Mulder
1991	A*	`conf`	A Proof Assistant for PSF. CAV Sjouke Mauw, Gert J. Veltink
1991	J	`jnl`	Uniform Algebraic Specifications of Finite Sets with Equality. Int. J. Found. Comput. Sci. Jan A. Bergstra, Sjouke Mauw, Freek Wiedijk
1989	—	`conf`	A Process Specification Formalism Based on Static COLD. Algebraic Methods Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink
1989	—	`conf`	An Introduction to PSFd. TAPSOFT, Vol.2 Sjouke Mauw, Gert J. Veltink
1989	—	`conf`	Specification of the Transit Node in PSF Algebraic Methods Sjouke Mauw, Freek Wiedijk
1987	—	`conf`	An Algebraic Specification of Process Algebra, Including Two Examples. Algebraic Methods Sjouke Mauw