Towards mechanized correctness proofs for cryptographic algorithms : Axiomatization of a probabilistic Hoare style logic

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Naam	CTIT Technical Report
Volume	TR-CTIT-07-53

Citeer dit

TY - BOOK

T1 - Towards mechanized correctness proofs for cryptographic algorithms : Axiomatization of a probabilistic Hoare style logic

AU - Hartog, den, J.I.

PY - 2007

Y1 - 2007

M3 - Report

T3 - CTIT Technical Report

BT - Towards mechanized correctness proofs for cryptographic algorithms : Axiomatization of a probabilistic Hoare style logic

PB - Universiteit Twente

CY - Enschede

ER -