Jerry den Hartog

J. I. den Hartog

2008
20	EE	Fred Spiessens, Jerry den Hartog, Sandro Etalle: Know What You Trust. Formal Aspects in Security and Trust 2008: 129-142
19	EE	J. Pan, J. I. den Hartog, Erik P. de Vink: An Operation-Based Metric for CPA Resistance. SEC 2008: 429-443
18	EE	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	EE	Sandro Etalle, Jerry den Hartog, Stephen Marsh: Trust and punishment. Autonomics 2007: 5
16	EE	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	EE	Ricardo Corin, Jerry den Hartog: A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. ICALP (2) 2006: 252-263
14	EE	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	EE	Vasughi Sundramoorthy, Pieter H. Hartel, Jerry den Hartog, Hans Scholten, C. Tan: Functional Principles of Registry-based Service Discovery. LCN 2005: 209-217
12	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Jerry den Hartog: Verifying Probabilistic Programs Using a Hoare like Logic. ASIAN 1999: 113-125
3	EE	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