Formalising Receipt-Freeness. - Hugo L. Jonker; Erik P. de Vink (ISC, 2006)

Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme. - Muhammad Torabi Dashti; Srijith Krishnan Nair; Hugo L. Jonker (FSEN, 2007)

Compliance of RIES to the Proposed e-Voting Protection Profile. - Hugo L. Jonker; Melanie Volkamer (VOTE-ID, 2007)

Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme. - Muhammad Torabi Dashti; Srijith Krishnan Nair; Hugo L. Jonker (Fundam. Informaticae, 2008)

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

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

Anonymity and Verifiability in Voting: Understanding (Un)Linkability. - Lucie Langer; Hugo Jonker; Wolter Pieters (ICICS, 2010)

Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus. - Naipeng Dong; Hugo L. Jonker; Jun Pang 001 (Formal Aspects in Security and Trust, 2010)

Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface. - Zhe Xia; Chris Culnane; James Heather; Hugo Jonker; Peter Y. A. Ryan; Steve A. Schneider; Sriramkrishnan Srinivasan (INDOCRYPT, 2010)

Anonymity in Voting Revisited. - Hugo Jonker; Wolter Pieters (Towards Trustworthy Elections, 2010)

Bulletin Boards in Voting Systems: Modelling and Measuring Privacy. - Hugo Jonker; Jun Pang 001 (ARES, 2011)

Challenges in eHealth: From Enabling to Enforcing Privacy. - Naipeng Dong; Hugo Jonker; Jun Pang 001 (FHIES, 2011)

Formal Analysis of Privacy in an eHealth Protocol. - Naipeng Dong; Hugo Jonker; Jun Pang 001 (ESORICS, 2012)

Random Block Verification: Improving the Norwegian Electoral Mix-Net. - Denise Demirel; Hugo Jonker; Melanie Volkamer (Electronic Voting, 2012)

Defining verifiability in e-auction protocols. - Jannik Dreier; Hugo Jonker; Pascal Lafourcade 001 (AsiaCCS, 2013)

Modeling the German Legal Latitude Principles. - Stephan Neumann; Anna Kahlert; Maria Henning; Philipp Richter; Hugo Jonker; Melanie Volkamer (ePart, 2013)

Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations. - Naipeng Dong; Hugo Jonker; Jun Pang 001 (ESORICS, 2013)

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

Secure Auctions without Cryptography. - Jannik Dreier; Hugo Jonker; Pascal Lafourcade 001 (FUN, 2014)

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

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

Man-in-the-Middle Attacks Evolved... but Our Security Models Didn't (Transcript of Discussion). - Hugo Jonker (Security Protocols Workshop, 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)

Analysing Privacy Analyses. - Giampaolo Bella; Denis Butin; Hugo Jonker (ITASEC, 2017)

A Security Perspective on Publication Metrics (Transcript of Discussion). - Hugo Jonker (Security Protocols Workshop, 2017)

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

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

Formal modelling and analysis of receipt-free auction protocols in applied pi. - Naipeng Dong; Hugo L. Jonker; Jun Pang 001 (Comput. Secur., 2017)

Investigating Fingerprinters and Fingerprinting-Alike Behaviour of Android Applications. - Christof Ferreira Torres; Hugo Jonker (ESORICS (2), 2018)

Shepherd: Enabling Automatic and Large-Scale Login Security Studies. - Hugo Jonker; Jelmer Kalkman; Benjamin Krumnow; Marc Sleegers; Alan Verresen (CoRR, 2018)

Formal Analysis of an E-Health Protocol. - Naipeng Dong; Hugo Jonker; Jun Pang 001 (CoRR, 2018)

ÆGIS: Smart Shielding of Smart Contracts. - Christof Ferreira Torres; Mathis Baden; Robert Norvill; Hugo Jonker (CCS, 2019)

Fingerprint Surface-Based Detection of Web Bot Detectors. - Hugo Jonker; Benjamin Krumnow; Gabry Vlot (ESORICS (2), 2019)

File Fragmentation in the Wild: a Privacy-Friendly Approach. - Vincent van der Meer; Hugo Jonker; Guy Dols; Harm M. A. van Beek; Jeroen van den Bos; Marko C. J. D. van Eekelen (WIFS, 2019)

Investigating the effectiveness of web adblockers. - Clayton Drazner; Nikola Duza; Hugo Jonker; Dan S. Wallach (CoRR, 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)

A preliminary study on the adoption and effectiveness of SameSite cookies as a CSRF defence. - Luca Compagna; Hugo Jonker; Johannes Krochewski; Benjamin Krumnow; Merve Sahin (EuroS&P Workshops, 2021)

HLISA: towards a more reliable measurement tool. - Daniel Goßen; Hugo Jonker; Stefan Karsch; Benjamin Krumnow; David Roefs (Internet Measurement Conference, 2021)

Measuring Web Session Security at Scale. - Stefano Calzavara; Hugo Jonker; Benjamin Krumnow; Alvise Rabitti (Comput. Secur., 2021)

Elysium: Automagically Healing Vulnerable Smart Contracts Using Context-Aware Patching. - Christof Ferreira Torres; Hugo Jonker; Radu State (CoRR, 2021)

A contemporary investigation of NTFS file fragmentation. - Vincent van der Meer; Hugo Jonker; Jeroen van den Bos (Digit. Investig., 2021)

How gullible are web measurement tools?: a case study analysing and strengthening OpenWPM's reliability. - Benjamin Krumnow; Hugo Jonker; Stefan Karsch (CoNEXT, 2022)

Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts. - Christof Ferreira Torres; Hugo Jonker; Radu State (RAID, 2022)

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

Analysing and strengthening OpenWPM's reliability. - Benjamin Krumnow; Hugo Jonker; Stefan Karsch (CoRR, 2022)

Reconstructing Timelines: From NTFS Timestamps to File Histories. - Jelle Bouma; Hugo Jonker; Vincent van der Meer; Eddy Van Den Aker (ARES, 2023)

Problem solved: A reliable, deterministic method for JPEG fragmentation point detection. - Vincent van der Meer; Jeroen van den Bos; Hugo Jonker; Laurent Dassen (Forensic Sci. Int. Digit. Investig., 2024)