Jerry den Hartog

From MaRDI portal
Person:2517835

Available identifiers

zbMath Open den-hartog.jerry-iMaRDI QIDQ2517835

List of research outcomes





PublicationDate of PublicationType
Nonmonotonic trust management for P2P applications2016-05-06Paper
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice2013-06-06Paper
Improving DPA by Peak Distribution Analysis2011-03-15Paper
Principles on the Security of AES against First and Second-Order Differential Power Analysis2010-07-06Paper
Towards mechanized correctness proofs for cryptographic algorithms: axiomatization of a probabilistic Hoare style logic2009-01-09Paper
A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs2007-09-11Paper
VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC2005-06-22Paper
https://portal.mardi4nfdi.de/entity/Q45015752000-09-04Paper
https://portal.mardi4nfdi.de/entity/Q49480002000-04-26Paper
https://portal.mardi4nfdi.de/entity/Q49409312000-02-28Paper

Research outcomes over time

This page was built for person: Jerry den Hartog

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2517835&oldid=6627531"
Powered by MediaWiki