Sjouke Mauw

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 65

Top Venues

CoRR

CSF

Security Protocols Workshop

STM

Publications

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Formal Verification and Solutions for Estonian E-Voting. AsiaCCS (2024)
Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
Software-Based Memory Erasure with relaxed isolation requirements: Extended Version. CoRR (2024)
Christoph H.-J. Braun, Ross Horne, Tobias Käfer, Sjouke Mauw
SSI, from Specifications to Protocol? Formally Verify Security! WWW (2024)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Election Verifiability in Receipt-Free Voting Protocols. CSF (2023)
Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
Provably Unlinkable Smart Card-based Payments. CoRR (2023)
Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse
Automated generation of attack trees with optimal shape and labelling. CoRR (2023)
Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
Provably Unlinkable Smart Card-based Payments. CCS (2023)
Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
On the optimal resistance against mafia and distance fraud in distance-bounding protocols. Comput. Commun. 210 (2023)
Ross Horne, Sjouke Mauw, Andrzej Mizera, André Stemper, Jan Thoemel
Anomaly Detection Using Deep Learning Respecting the Resources on Board a CubeSat. J. Aerosp. Inf. Syst. 20 (12) (2023)
Sviatlana Höhn, Bettina Migge, Doris Dippold, Britta Schneider, Sjouke Mauw
Language Ideology Bias in Conversational Technology. CONVERSATIONS (2023)
Ross Horne, Sjouke Mauw, Semen Yurkov
-calculus. Theor. Comput. Sci. 959 (2023)
Sviatlana Höhn, Barbara Lewandowska-Tomaszczyk, Sjouke Mauw, Dov M. Gabbay
Dripping the Poison: The Instruments of Bias. A Qualitative Case Study of News Articles in Four Languages over Nine Years. FLAP 10 (4) (2023)
Sergiu Bursuc, Sjouke Mauw
Contingent payments from two-party signing and verification for abelian groups. CSF (2022)
Sergiu Bursuc, Sjouke Mauw
Contingent payments from two-party signing and verification for abelian groups. IACR Cryptol. ePrint Arch. 2022 (2022)
Sviatlana Höhn, Sjouke Mauw, Nicholas Asher
BelElect: A New Dataset for Bias Research from a "Dark" Platform. ICWSM (2022)
Ross Horne, Sjouke Mauw, Semen Yurkov
Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments. CSF (2022)
Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger
A Graphical Proof Theory of Logical Time. FSCD (2022)
Zach Smith, Hugo Jonker, Sjouke Mauw, Hyunwoo Lee
Modelling Agent-Skipping Attacks in Message Forwarding Protocols. CoRR (2022)
Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
Preventing active re-identification attacks on social graphs via sybil subgraph obfuscation. Knowl. Inf. Syst. 64 (4) (2022)
Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua
Is Eve nearby? Analysing protocols under the distant-attacker assumption. CSF (2022)
Sergiu Bursuc, Sjouke Mauw
Contingent payments from two-party signing and verification for abelian groups. CSF (2022)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. CSF (2021)
Ross Horne, Sjouke Mauw, Semen Yurkov
Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments. CoRR (2021)
Ross Horne, Sjouke Mauw
Discovering ePassport Vulnerabilities using Bisimilarity. Log. Methods Comput. Sci. 17 (2) (2021)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Provably Improving Election Verifiability in Belenios. E-VOTE-ID (2021)
Ross Horne, Sjouke Mauw, Semen Yurkov
Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. ICTAC (2021)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Provably Improving Election Verifiability in Belenios. IACR Cryptol. ePrint Arch. 2021 (2021)
Sviatlana Höhn, Nicholas Asher, Sjouke Mauw
Examining Linguistic Biases in Telegram with a Game Theoretic Analysis. MISDOOM (2021)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. IACR Cryptol. ePrint Arch. 2020 (2020)
Xihui Chen, Sjouke Mauw, Yunior Ramírez-Cruz
Publishing Community-Preserving Attributed Social Graphs with a Differential Privacy Guarantee. Proc. Priv. Enhancing Technol. 2020 (4) (2020)
Dov M. Gabbay, Ross Horne, Sjouke Mauw, Leendert van der Torre
Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. GraMSec@CSF (2020)
Ross Horne, Sjouke Mauw
Discovering ePassport Vulnerabilities using Bisimilarity. CoRR (2020)
Christof Ferreira Torres, Mathis Baden, Robert Norvill, Beltran Borja Fiz Pontiveros, Hugo Jonker, Sjouke Mauw
ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks. CoRR (2020)
Xihui Chen, Ema Këpuska, Sjouke Mauw, Yunior Ramírez-Cruz
Active Re-identification Attacks on Periodically Released Dynamic Social Graphs. ESORICS (2) (2020)
Christof Ferreira Torres, Mathis Baden, Robert Norvill, Beltran Borja Fiz Pontiveros, Hugo Jonker, Sjouke Mauw
ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks. AsiaCCS (2020)
Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
Preventing active re-identification attacks on social graphs via sybil subgraph obfuscation. CoRR (2020)
Aleksandr Pilgun, Olga Gadyatskaya, Yury Zhauniarovich, Stanislav Dashevskyi, Artsiom Kushniarou, Sjouke Mauw
Fine-grained Code Coverage Measurement in Automated Black-box Android Testing. ACM Trans. Softw. Eng. Methodol. 29 (4) (2020)
Ahto Buldas, Olga Gadyatskaya, Aleksandr Lenin, Sjouke Mauw, Rolando Trujillo-Rasua
Attribute evaluation on attack trees with incomplete information. Comput. Secur. 88 (2020)
Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
Conditional adjacency anonymity in social graphs under active attacks. Knowl. Inf. Syst. 61 (1) (2019)
Xihui Chen, Ema Këpuska, Sjouke Mauw, Yunior Ramírez-Cruz
Active Re-identification Attacks on Periodically Released Dynamic Social Graphs. CoRR (2019)
Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua
Post-Collusion Security and Distance Bounding. CCS (2019)
Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
Robust active attacks on social graphs. Data Min. Knowl. Discov. 33 (5) (2019)
Olga Gadyatskaya, Sjouke Mauw
Attack-Tree Series: A Case for Dynamic Attack Tree Analysis. GraMSec@CSF (2019)
Ihor Filimonov, Ross Horne, Sjouke Mauw, Zach Smith
Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity. ESORICS (1) (2019)
Xihui Chen, Sjouke Mauw, Yunior Ramírez-Cruz
Publishing Community-Preserving Attributed Social Graphs with a Differential Privacy Guarantee. CoRR (2019)
Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua
Distance-Bounding Protocols: Verification without Time and Location. IEEE Symposium on Security and Privacy (2018)
Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
Robust active attacks on social graphs. CoRR (2018)
Ross Horne, Sjouke Mauw, Alwen Tiu
The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement. GraMSec@FLoC (2018)
Ahto Buldas, Olga Gadyatskaya, Aleksandr Lenin, Sjouke Mauw, Rolando Trujillo-Rasua
Attribute Evaluation on Attack Trees with Incomplete Information. CoRR (2018)
Ravi Jhawar, Karim Lounis, Sjouke Mauw, Yunior Ramírez-Cruz
Semi-automatically Augmenting Attack Trees Using an Annotated Attack Tree Library. STM (2018)
Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
Anonymising social graphs in the presence of active attackers. Trans. Data Priv. 11 (2) (2018)
Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua
Automated Identification of Desynchronisation Attacks on Shared Secrets. ESORICS (1) (2018)
Olga Gadyatskaya, Ravi Jhawar, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse
Refinement-Aware Generation of Attack Trees. STM (2017)
Ross Horne, Sjouke Mauw, Alwen Tiu
Semantics for Specialising Attack Trees based on Linear Logic. Fundam. Informaticae 153 (1-2) (2017)
Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
Rethinking (k, 𝓁)-anonymity in social graphs: (k, 𝓁)-adjacency anonymity and (k, 𝓁)-(adjacency) anonymous transformations. CoRR (2017)
Hugo Jonker, Sjouke Mauw, Tom Schmitz
Reverse Bayesian Poisoning: How to Use Spam Filters to Manipulate Online Elections. E-VOTE-ID (2017)
Hugo Jonker, Sjouke Mauw
A Security Perspective on Publication Metrics. Security Protocols Workshop (2017)
Ravi Jhawar, Karim Lounis, Sjouke Mauw
A Stochastic Framework for Quantitative Analysis of Attack-Defense Trees. STM (2016)
Sjouke Mauw, Jorge Toro-Pozo, Rolando Trujillo-Rasua
A Class of Precomputation-Based Distance-Bounding Protocols. EuroS&P (2016)
Hugo L. Jonker, Sjouke Mauw, Rolando Trujillo-Rasua
Man-in-the-Middle Attacks Evolved... but Our Security Models Didn't. Security Protocols Workshop (2016)
Sjouke Mauw, Rolando Trujillo-Rasua, Bochuan Xuan
Counteracting Active Attacks in Social Network Graphs. DBSec (2016)
Sjouke Mauw, Jorge Toro-Pozo, Rolando Trujillo-Rasua
Optimality Results on the Security of Lookup-Based Protocols. RFIDSec (2016)
Gabriele Lenzini, Sjouke Mauw, Samir Ouchani
Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems. STM (2016)
Olga Gadyatskaya, Carlo Harpes, Sjouke Mauw, Cédric Muller, Steve Muller
Bridging Two Worlds: Reconciling Practical Risk Assessment Methodologies with Theory of Attack Trees. GraMSec@CSF (2016)
Olga Gadyatskaya, Ravi Jhawar, Piotr Kordy, Karim Lounis, Sjouke Mauw, Rolando Trujillo-Rasua
Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0. QEST (2016)
Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua
Attack Trees with Sequential Conjunction. CoRR (2015)
Sjouke Mauw, Sasa Radomirovic
Generalizing Multi-party Contract Signing. POST (2015)
Gildas Avoine, Sjouke Mauw, Rolando Trujillo-Rasua
Comparing distance bounding protocols: A critical mission supported by decision theory. Comput. Commun. 67 (2015)
Gabriele Lenzini, Sjouke Mauw, Samir Ouchani
Security analysis of socio-technical physical systems. Comput. Electr. Eng. 47 (2015)
Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua
Attack Trees with Sequential Conjunction. SEC (2015)
Hugo Jonker, Sjouke Mauw, Sasa Radomirovic
Location-Private Interstellar Communication. Security Protocols Workshop (2015)
Christof Ferreira Torres, Hugo L. Jonker, Sjouke Mauw
FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting. ESORICS (2) (2015)
Sjouke Mauw, Sasa Radomirovic
Generalizing Multi-party Contract Signing. CoRR (2015)
Sjouke Mauw
Location-Private Interstellar Communication (Transcript of Discussion). Security Protocols Workshop (2015)
Gildas Avoine, Sjouke Mauw, Rolando Trujillo-Rasua
Comparing Distance Bounding Protocols: a Critical Mission Supported by Decision Theory. CoRR (2015)
Piotr Kordy, Rom Langerak, Sjouke Mauw, Jan Willem Polderman
A Symbolic Algorithm for the Analysis of Robust Timed Automata. FM (2014)
Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer
Attack-defense trees. J. Log. Comput. 24 (1) (2014)
Tim Muller, Yang Liu, Sjouke Mauw, Jie Zhang
On Robustness of Trust Systems. IFIPTM (2014)
Xihui Chen, Carlo Harpes, Gabriele Lenzini, Sjouke Mauw, Jun Pang
Location Assurance and Privacy in GNSS Navigation. ERCIM News 2013 (94) (2013)
Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer
ADTool: Security Analysis with Attack- Defense Trees (Extended Version) CoRR (2013)
Xihui Chen, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang
A Trust Framework for Evaluating GNSS Signal Integrity. CSF (2013)
Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer
ADTool: Security Analysis with Attack-Defense Trees. QEST (2013)
Jun Pang, Yang Liu, Sjouke Mauw
Message from ESSS 2013 Workshop Co-chairs. ICST Workshops (2013)
Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang
Design and Formal Analysis of A Group Signature Based Electronic Toll Pricing System. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 4 (1) (2013)
Hugo Jonker, Sjouke Mauw, Jun Pang
Privacy and verifiability in voting systems: Methods, developments and trends. Comput. Sci. Rev. 10 (2013)
Hugo Jonker, Sjouke Mauw, Jun Pang
Privacy and Verifiability in Voting Systems: Methods, Developments and Trends. IACR Cryptol. ePrint Arch. 2013 (2013)
Xihui Chen, Carlo Harpes, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang
Demonstrating a trust framework for evaluating GNSS signal integrity. CCS (2013)
Qixia Yuan, Panuwat Trairatphisan, Jun Pang, Sjouke Mauw, Monique Wiesinger, Thomas Sauter
Probabilistic Model Checking of the PDGF Signaling Pathway. Trans. Comp. Sys. Biology 14 (2012)
Sjouke Mauw, Selwyn Piramuthu
A PUF-Based Authentication Protocol to Address Ticket-Switching of RFID-Tagged Items. STM (2012)
Selwyn Piramuthu, Gaurav Kapoor, Wei Zhou, Sjouke Mauw
Input online review data and related bias in recommender systems. Decis. Support Syst. 53 (3) (2012)
Barbara Kordy, Sjouke Mauw, Patrick Schweitzer
Quantitative Questions on Attack-Defense Trees CoRR (2012)
Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang
A Group Signature Based Electronic Toll Pricing System. ARES (2012)
Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw
A trust-augmented voting scheme for collaborative privacy management. J. Comput. Secur. 20 (4) (2012)
Barbara Kordy, Sjouke Mauw, Patrick Schweitzer
Quantitative Questions on Attack-Defense Trees. ICISC (2012)
Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
Game-based verification of contract signing protocols with minimal messages. Innov. Syst. Softw. Eng. 8 (2) (2012)
Qian Li, Péter Schaffer, Jun Pang, Sjouke Mauw
Comparative Analysis of Clustering Protocols with Probabilistic Model Checking. TASE (2012)
Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen
Fairness in Non-Repudiation Protocols. STM (2011)
Ton van Deursen, Sjouke Mauw, Sasa Radomirovic
mCarve: Carving Attributed Dump Sets. USENIX Security Symposium (2011)
Gabriele Lenzini, Sjouke Mauw, Jun Pang
Selective Location Blinding Using Hash Chains. Security Protocols Workshop (2011)
Sjouke Mauw
Selective Location Blinding Using Hash Chains (Transcript of Discussion). Security Protocols Workshop (2011)

Sjouke Mauw.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sjouke Mauw