Hugo Jonker

42 papers A* 1A 7B 2C 1Misc 2Journal 12Unranked 16
YearRankTypeTitle / Venue / Authors
2026 — conf
Connecting File Timestamps: A Formal Approach.
DFDS
Lorenz Hornung, Hugo Jonker, Harm M. A. van Beek
2026 — conf
How to Carve Out-of-Order Fragmented Files.
Juggling Formal Methods and Security
Nick Huijsmans, Bart Kuijsten, Hugo Jonker, Harm M. A. van Beek
2026 — ed.
Juggling Formal Methods and Security - Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday
Juggling Formal Methods and Security
Barbara Fila, Hugo Jonker, Sasa Radomirovic
2024 J jnl
Problem solved: A reliable, deterministic method for JPEG fragmentation point detection.
Forensic Sci. Int. Digit. Investig.
Vincent van der Meer, Jeroen van den Bos, Hugo Jonker, Laurent Dassen
2023 B conf
Reconstructing Timelines: From NTFS Timestamps to File Histories.
ARES
Jelle Bouma, Hugo Jonker, Vincent van der Meer, Eddy Van Den Aker
2022 J jnl
Analysing and strengthening OpenWPM's reliability.
CoRR
Benjamin Krumnow, Hugo Jonker, Stefan Karsch
2022 A conf
Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts.
RAID
Christof Ferreira Torres, Hugo Jonker, Radu State
2022 A conf
How gullible are web measurement tools?: a case study analysing and strengthening OpenWPM's reliability.
CoNEXT
Benjamin Krumnow, Hugo Jonker, Stefan Karsch
2022 J jnl
Modelling Agent-Skipping Attacks in Message Forwarding Protocols.
CoRR
Zach Smith, Hugo Jonker, Sjouke Mauw, Hyunwoo Lee
2021 J jnl
A contemporary investigation of NTFS file fragmentation.
Digit. Investig.
Vincent van der Meer, Hugo Jonker, Jeroen van den Bos
2021 — conf
A preliminary study on the adoption and effectiveness of SameSite cookies as a CSRF defence.
EuroS&P Workshops
Luca Compagna, Hugo Jonker, Johannes Krochewski, Benjamin Krumnow, Merve Sahin
2021 J jnl
Elysium: Automagically Healing Vulnerable Smart Contracts Using Context-Aware Patching.
CoRR
Christof Ferreira Torres, Hugo Jonker, Radu State
2021 A conf
HLISA: towards a more reliable measurement tool.
Internet Measurement Conference
Daniel Goßen, Hugo Jonker, Stefan Karsch, Benjamin Krumnow, David Roefs
2021 J jnl
Measuring Web Session Security at Scale.
Comput. Secur.
Stefano Calzavara, Hugo Jonker, Benjamin Krumnow, Alvise Rabitti
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 — conf
File Fragmentation in the Wild: a Privacy-Friendly Approach.
WIFS
Vincent van der Meer, Hugo Jonker, Guy Dols, Harm M. A. van Beek, Jeroen van den Bos, Marko C. J. D. van Eekelen
2019 — conf
Fingerprint Surface-Based Detection of Web Bot Detectors.
ESORICS (2)
Hugo Jonker, Benjamin Krumnow, Gabry Vlot
2019 J jnl
Investigating the effectiveness of web adblockers.
CoRR
Clayton Drazner, Nikola Duza, Hugo Jonker, Dan S. Wallach
2019 A* conf
ÆGIS: Smart Shielding of Smart Contracts.
CCS
Christof Ferreira Torres, Mathis Baden, Robert Norvill, Hugo Jonker
2018 J jnl
Formal Analysis of an E-Health Protocol.
CoRR
Naipeng Dong, Hugo Jonker, Jun Pang
2018 — conf
Investigating Fingerprinters and Fingerprinting-Alike Behaviour of Android Applications.
ESORICS (2)
Christof Ferreira Torres, Hugo Jonker
2018 J jnl
Shepherd: Enabling Automatic and Large-Scale Login Security Studies.
CoRR
Hugo Jonker, Jelmer Kalkman, Benjamin Krumnow, Marc Sleegers, Alan Verresen
2017 — conf
A Security Perspective on Publication Metrics (Transcript of Discussion).
Security Protocols Workshop
Hugo Jonker
2017 — conf
A Security Perspective on Publication Metrics.
Security Protocols Workshop
Hugo Jonker, Sjouke Mauw
2017 — conf
Analysing Privacy Analyses.
ITASEC
Giampaolo Bella, Denis Butin, Hugo Jonker
2017 — conf
Reverse Bayesian Poisoning: How to Use Spam Filters to Manipulate Online Elections.
E-VOTE-ID
Hugo Jonker, Sjouke Mauw, Tom Schmitz
2016 — conf
Man-in-the-Middle Attacks Evolved... but Our Security Models Didn't (Transcript of Discussion).
Security Protocols Workshop
Hugo Jonker
2015 — conf
Location-Private Interstellar Communication.
Security Protocols Workshop
Hugo Jonker, Sjouke Mauw, Sasa Radomirovic
2014 Misc conf
Secure Auctions without Cryptography.
FUN
Jannik Dreier, Hugo Jonker, Pascal Lafourcade
2013 A conf
Defining verifiability in e-auction protocols.
AsiaCCS
Jannik Dreier, Hugo Jonker, Pascal Lafourcade
2013 A conf
Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations.
ESORICS
Naipeng Dong, Hugo Jonker, Jun Pang
2013 — conf
Modeling the German Legal Latitude Principles.
ePart
Stephan Neumann, Anna Kahlert, Maria Henning, Philipp Richter, Hugo Jonker, Melanie Volkamer
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 A conf
Formal Analysis of Privacy in an eHealth Protocol.
ESORICS
Naipeng Dong, Hugo Jonker, Jun Pang
2012 — conf
Random Block Verification: Improving the Norwegian Electoral Mix-Net.
Electronic Voting
Denise Demirel, Hugo Jonker, Melanie Volkamer
2011 B conf
Bulletin Boards in Voting Systems: Modelling and Measuring Privacy.
ARES
Hugo Jonker, Jun Pang
2011 — conf
Challenges in eHealth: From Enabling to Enforcing Privacy.
FHIES
Naipeng Dong, Hugo Jonker, Jun Pang
2010 C conf
Anonymity and Verifiability in Voting: Understanding (Un)Linkability.
ICICS
Lucie Langer, Hugo Jonker, Wolter Pieters
2010 — conf
Anonymity in Voting Revisited.
Towards Trustworthy Elections
Hugo Jonker, Wolter Pieters
2010 Misc conf
Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface.
INDOCRYPT
Zhe Xia, Chris Culnane, James Heather, Hugo Jonker, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan