Probabilistic relational Hoare logics for computer-aided security proofs
Résumé
None
Domaines
Cryptographie et sécurité [cs.CR]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Benjamin Gregoire : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00765864
Soumis le : lundi 17 décembre 2012-09:48:08
Dernière modification le : mercredi 15 mars 2023-08:58:09
Archivage à long terme le : dimanche 18 décembre 2016-02:58:27