J. I. den Hartog
List of publications from the DBLP Bibliography Server - FAQ
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 |
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] |