Hugo Jonker
Hugo Jonker
Verifierad e-postadress på ou.nl - Startsida
TitelCiteras avÅr
Formalising receipt-freeness
HL Jonker, EP de Vink
International Conference on Information Security, 476-488, 2006
522006
Receipt-freeness as a special case of anonymity in epistemic logic
HL Jonker, W Pieters
IAVoSS Workshop On Trustworthy Elections (WOTE 2006), 2006
462006
Challenges in eHealth: From Enabling to Enforcing Privacy
N Dong, H Jonker
Foundations of Health Informatics Engineering and Systems, 195-206, 2012
392012
Privacy and verifiability in voting systems: Methods, developments and trends
H Jonker, S Mauw, J Pang
Computer Science Review 10, 1-30, 2013
352013
FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting
CF Torres, H Jonker, S Mauw
European Symposium on Research in Computer Security, 3-19, 2015
302015
Defining verifiability in e-auction protocols
J Dreier, H Jonker, P Lafourcade
Proceedings of the 8th ACM SIGSAC symposium on Information, computer and …, 2013
292013
Analysis of a receipt-free auction protocol in the applied pi calculus
N Dong, H Jonker, J Pang
International Workshop on Formal Aspects in Security and Trust, 223-238, 2010
272010
Versatile Pręt ā Voter: Handling multiple election methods with a unified interface
Z Xia, C Culnane, J Heather, H Jonker, PYA Ryan, S Schneider, ...
International Conference on Cryptology in India, 98-114, 2010
232010
Formal analysis of privacy in an eHealth protocol
N Dong, H Jonker, J Pang
European Symposium on Research in Computer Security, 325-342, 2012
222012
A formal framework for quantifying voter-controlled privacy
H Jonker, S Mauw, J Pang
Journal of Algorithms 64 (2-3), 89-105, 2009
212009
Anonymity and verifiability in voting: understanding (un) linkability
L Langer, H Jonker, W Pieters
International Conference on Information and Communications Security, 296-310, 2010
132010
Security aspects of DRM systems
HL Jonker, S Mauw, JHS Verschuren, A Schoonen
25th Symposium on information theory in the Benelux, 169-176, 2004
122004
Nuovo DRM paradiso: Towards a verified fair DRM scheme
MT Dashti, SK Nair, HL Jonker
International Conference on Fundamentals of Software Engineering, 33-48, 2007
112007
Core security requirements of DRM systems
HL Jonker, S Mauw
Symposium on Information theory in the Benelux, 2004
112004
Nuovo DRM Paradiso: Designing a secure, verified, fair exchange DRM scheme
MT Dashti, SK Nair, H Jonker
Fundamenta Informaticae 89 (4), 393-417, 2008
102008
Modeling the German legal latitude principles
S Neumann, A Kahlert, M Henning, P Richter, H Jonker, M Volkamer
International Conference on Electronic Participation, 49-56, 2013
92013
Nuovo DRM Paradiso: Formal specification and verification of a DRM protocol
H Jonker, SK Nair, MT Dashti
CWI. Software Engineering [SEN], 1-28, 2006
92006
Random block verification: Improving the norwegian electoral mix net
D Demirel, H Jonker, M Volkamer
Proc. 5th International Conference on Electronic Voting (EVOTE'12), 65-78, 2012
82012
Measuring voter-controlled privacy
H Jonker, S Mauw, J Pang
2009 International Conference on Availability, Reliability and Security, 289-298, 2009
82009
Compliance of RIES to the proposed e-voting protection profile
H Jonker, M Volkamer
International Conference on E-Voting and Identity, 50-61, 2007
72007
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20