Jerry den Hartog

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Nonmonotonic trust management for P2P applications Electronic Notes in Theoretical Computer Science	2016-05-06	Paper
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice Electronic Notes in Theoretical Computer Science	2013-06-06	Paper
Improving DPA by peak distribution analysis Selected Areas in Cryptography	2011-03-15	Paper
Principles on the security of AES against first and second-order differential power analysis Applied Cryptography and Network Security	2010-07-06	Paper
Towards mechanized correctness proofs for cryptographic algorithms: axiomatization of a probabilistic Hoare style logic Science of Computer Programming	2009-01-09	Paper
A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs Automata, Languages and Programming	2007-09-11	Paper
VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC International Journal of Foundations of Computer Science	2005-06-22	Paper
scientific article; zbMATH DE number 1500556 (Why is no real title available?)	2000-09-04	Paper
scientific article; zbMATH DE number 1435946 (Why is no real title available?)	2000-04-26	Paper
scientific article; zbMATH DE number 1407676 (Why is no real title available?)	2000-02-28	Paper

Research outcomes over time

This page was built for person: Jerry den Hartog