Hugo L. Jonker

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 2

Top Topics

Private Information

Differential Privacy

Security Measures

Top Venues

Security Protocols Workshop

Publications

Naipeng Dong, Hugo L. Jonker, Jun Pang
Formal modelling and analysis of receipt-free auction protocols in applied pi. Comput. Secur. 65 (2017)
Hugo L. Jonker, Sjouke Mauw, Rolando Trujillo-Rasua
Man-in-the-Middle Attacks Evolved... but Our Security Models Didn't. Security Protocols Workshop (2016)
Christof Ferreira Torres, Hugo L. Jonker, Sjouke Mauw
FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting. ESORICS (2) (2015)
Naipeng Dong, Hugo L. Jonker, Jun Pang
Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus. Formal Aspects in Security and Trust (2010)
Hugo L. Jonker, Sjouke Mauw, Jun Pang
Measuring Voter-Controlled Privacy. ARES (2009)
Hugo L. Jonker, Sjouke Mauw, Jun Pang
A formal framework for quantifying voter-controlled privacy. J. Algorithms 64 (2-3) (2009)
Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker
Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme. Fundam. Informaticae 89 (4) (2008)
Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme. FSEN (2007)
Hugo L. Jonker, Melanie Volkamer
Compliance of RIES to the Proposed e-Voting Protection Profile. VOTE-ID (2007)
Hugo L. Jonker, Erik P. de Vink
Formalising Receipt-Freeness. ISC (2006)