Author Publications

2004

Hartog den, J.I. and Vink de, E.P. (2004) Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. In: Proceedings 2nd Int. Workshop on Formal Aspect of Security and Trust.

Hartog den, J.I. and Vink de, E.P. (2004) Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. [Report]

2003

Hartog den, J.I. and Verschuren, J. and Vink de, E.P. and Vos, J. and Wiersma, W. (2003) PINPAS: A Tool for Power Analysis of Smartcards. In: 18th IFIP TC11 Int. Conference on Information Security and Privacy in the Age of Uncertainty (SEC), May 26-28 2003, Athens, Greece.

2002

Hartog den, J.I. and Vink de, E.P. (2002) Verifying probabilistic programs using a hoare like logic. International journal of foundations of computer science, 13 (3). pp. 315-340. ISSN 0129-0541

2001

Hartog den, J.I. and Vink de, E.P. and Bakker de, J.W. (2001) Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. In: First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, 20-21 July 2000, Cork, Ireland.

1998

Hartog den, J.I. and Vink de, E.P. (1998) Mixing Up Nondeterminism and Probability: A Preliminary Report. In: PROBMIV'98, First International Workshop on Probabilistic Methods in Verification.