Probabilistic relational Hoare logics for computer-aided security proofsReportar como inadecuado




Probabilistic relational Hoare logics for computer-aided security proofs - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





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

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



DESCARGAR PDF




Documentos relacionados