Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2004 | 2003 | 2002 | 2001 | 1998
Number of items: 6.


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

Hartog, J.I. den and Vink, E.P. de (2004) Virtual analysis and reduction of side-channel vulnerabilities of smartcards. [Report]


Hartog, J.I. den and Verschuren, J. and Vink, E.P. de 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 (pp. pp. 453-457).


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


Hartog, J.I. den and Vink, E.P. de and Bakker, J.W. de (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 (pp. pp. 72-99).


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

This list was generated on Sat Jun 24 05:17:05 2017 CEST.