Jerry den Hartog

J. I. den Hartog

	2008
20		Fred Spiessens, Jerry den Hartog, Sandro Etalle: Know What You Trust. Formal Aspects in Security and Trust 2008: 129-142
19		J. Pan, J. I. den Hartog, Erik P. de Vink: An Operation-Based Metric for CPA Resistance. SEC 2008: 429-443
18		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)
	2007
17		Sandro Etalle, Jerry den Hartog, Stephen Marsh: Trust and punishment. Autonomics 2007: 5
16		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)
	2006
15		Ricardo Corin, Jerry den Hartog: A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. ICALP (2) 2006: 252-263
14		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)
	2005
13		Vasughi Sundramoorthy, Pieter H. Hartel, Jerry den Hartog, Hans Scholten, C. Tan: Functional Principles of Registry-based Service Discovery. LCN 2005: 209-217
12		J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog: An Audit Logic for Accountability. POLICY 2005: 34-43
11		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)
10		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)
	2004
9		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
8		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
	2003
7		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
6		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
5		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: (2000)
	1999
4		Jerry den Hartog: Verifying Probabilistic Programs Using a Hoare like Logic. ASIAN 1999: 113-125
3		Jerry den Hartog, Erik P. de Vink: Mixing Up Nondeterminism and Probability: a preliminary report. Electr. Notes Theor. Comput. Sci. 22: (1999)
2		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)
	1997
1		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

1	J. W. de Bakker (Jaco de Bakker)	[2] [5]
2	J. G. Cederquist (Jan Cederquist)	[11] [12] [16]
3	Ricardo Corin	[9] [11] [12] [15] [16]
4	Marcin Czenko	[10] [14]
5	M. A. C. Dekker	[11] [12] [16]
6	Jeroen Doumen	[10] [14]
7	Sandro Etalle	[9] [10] [11] [12] [14] [16] [17] [20]
8	Pieter H. Hartel	[10] [13] [14]
9	Gabriele Lenzini	[9] [16]
10	Stephen Marsh	[17]
11	J. Pan	[19]
12	Hans Scholten	[13]
13	Fred Spiessens	[20]
14	I. Staicu	[9]
15	Vasughi Sundramoorthy	[13]
16	C. Tan	[13]
17	Eneia Todoran	[1]
18	Ha Tran	[10] [14]
19	Jan Verschuren	[7]
20	Erik P. de Vink	[1] [2] [3] [5] [6] [7] [8] [19]
21	Jaap de Vos	[7]
22	W. Wiersma	[7]

Colors in the list of coauthors