Jerry den Hartog

J. I. den Hartog

	2012
c20		Elisa Costante, Jerry den Hartog, Milan Petkovic: What Websites Know About You. DPM/SETOP 2012: 146-159
c19		Elisa Costante, Yuanhao Sun, Milan Petkovic, Jerry den Hartog: A machine learning solution to assess privacy policy completeness: (short paper). WPES 2012: 91-96
	2011
j9		Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò: Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning". J. Autom. Reasoning 46(3-4): 223-224 (2011)
c18		Elisa Costante, Jerry den Hartog, Milan Petkovic: On-line trust perception: What really matters. STAST 2011: 52-59
	2010
j8		Klemens Böhm, Sandro Etalle, Jerry den Hartog, Christian Hütter, Slim Trabelsi, Daniel Trivellato, Nicola Zannone: A Flexible Architecture for Privacy-Aware Trust Management. JTAER 5(2): 77-96 (2010)
c17		Jiqiang Lu, Jing Pan, Jerry den Hartog: Principles on the Security of AES against First and Second-Order Differential Power Analysis. ACNS 2010: 168-185
c16		Mayla Brusò, Konstantinos Chatzikokolakis, Jerry den Hartog: Formal Verification of Privacy for RFID Systems. CSF 2010: 75-88
c15		Jing Pan, Jasper G. J. van Woudenberg, Jerry den Hartog, Marc F. Witteman: Improving DPA by Peak Distribution Analysis. Selected Areas in Cryptography 2010: 241-261
c14		Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle: Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. IEEE Symposium on Security and Privacy 2010: 93-108
	2009
c13		Jing Pan, J. I. den Hartog, Jiqiang Lu: You Cannot Hide behind the Mask: Power Analysis on a Provably Secure S-Box Implementation. WISA 2009: 178-192
	2008
j7		Jerry den Hartog: Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic. Sci. Comput. Program. 74(1-2): 52-63 (2008)
c12		Fred Spiessens, Jerry den Hartog, Sandro Etalle: Know What You Trust. Formal Aspects in Security and Trust 2008: 129-142
c11		Jing Pan, J. I. den Hartog, Erik P. de Vink: An Operation-Based Metric for CPA Resistance. SEC 2008: 429-443
	2007
j6		J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini: Audit-based compliance control. Int. J. Inf. Sec. 6(2-3): 133-151 (2007)
c10		Sandro Etalle, Jerry den Hartog, Stephen Marsh: Trust and punishment. Autonomics 2007: 5
	2006
j5		Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog: Nonmonotonic Trust Management for P2P Applications. Electr. Notes Theor. Comput. Sci. 157(3): 113-130 (2006)
c9		Ricardo Corin, Jerry den Hartog: A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. ICALP (2) 2006: 252-263
	2005
c8		Yee Wei Law, Pieter H. Hartel, Jerry den Hartog, Paul J. M. Havinga: Link-layer jamming attacks on S-MAC. EWSN 2005: 217-225
c7		Vasughi Sundramoorthy, Pieter H. Hartel, Jerry den Hartog, Hans Scholten, C. Tan: Functional Principles of Registry-based Service Discovery. LCN 2005: 209-217
c6		J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog: An Audit Logic for Accountability. POLICY 2005: 34-43
i3		J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog: An Audit Logic for Accountability. CoRR abs/cs/0502091 (2005)
i2		Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog: Nonmonotonic Trust Management for P2P Applications. CoRR abs/cs/0510061 (2005)
i1		Ricardo Corin, Jerry den Hartog: A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version). IACR Cryptology ePrint Archive 2005: 467 (2005)
	2004
c5		Jerry den Hartog, Erik P. de Vink: Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. Formal Aspects in Security and Trust 2004: 85-98
c4		Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu: A Logic for Auditing Accountability in Decentralized Systems. Formal Aspects in Security and Trust 2004: 187-201
	2003
c3		Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma: PINPAS: A Tool for Power Analysis of Smartcards. SEC 2003: 453-457
	2002
j4		Jerry den Hartog, Erik P. de Vink: Verifying Probabilistic Programs Using a Hoare Like Logic. Int. J. Found. Comput. Sci. 13(3): 315-340 (2002)
	2000
j3		Jerry den Hartog, Erik P. de Vink, J. W. de Bakker: Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. Electr. Notes Theor. Comput. Sci. 40: 72-99 (2000)
	1999
j2		Jerry den Hartog, Erik P. de Vink: Mixing Up Nondeterminism and Probability: a preliminary report. Electr. Notes Theor. Comput. Sci. 22: 88-110 (1999)
j1		Jerry den Hartog, Erik P. de Vink, J. W. de Bakker: Full Abstractness of a Metric Semantics for Action Refinement. Fundam. Inform. 40(4): 335-382 (1999)
c2		Jerry den Hartog: Verifying Probabilistic Programs Using a Hoare like Logic. ASIAN 1999: 113-125
	1997
c1		Eneia Todoran, Jerry den Hartog, Erik P. de Vink: Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. ILPS 1997: 101-115

Coauthor Index

Colors in the list of coauthors

Last update Tue May 21 21:43:15 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page