Probabilistic relational Hoare logics for computer-aided security proofsReport as inadecuate




Probabilistic relational Hoare logics for computer-aided security proofs - Download this document for free, or read online. Document in PDF available to download.

1 Institute IMDEA Software Madrid 2 MARELLE - Mathematical, Reasoning and Software CRISAM - Inria Sophia Antipolis - Méditerranée 3 Microsoft - Microsoft Research Cambridge

Résumé : None





Author: Gilles Barthe - Benjamin Grégoire - Santiago Zanella-Béguelin -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents