Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols - Laboratoire Méthodes Formelles
Logiciel Année : 2018

Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols

David Baelde
  • Fonction : Auteur
  • PersonId : 963016
Laboratoire Spécification et Vérification [Cachan]
Stéphanie Delaune
Lucca Hirschi

Domaines

Logique en informatique [cs.LO] Cryptographie et sécurité [cs.CR]

David Baelde  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01821474

Soumis le : jeudi 28 juin 2018-10:12:01

Dernière modification le : vendredi 5 avril 2024-15:34:39

Consulter sur Present sur SoftwareHeritage

Dates et versions

hal-01821474 , version 1 (22-06-2018)
hal-01821474 , version 2 (28-06-2018)

Identifiants

Métadonnées

  • version :
  • softwareLicence : GNU General Public License v3.0 only
  • codeRepository :

Citer

David Baelde, Stéphanie Delaune, Lucca Hirschi. Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols. 2018, ⟨swh:1:dir:cf31343fd5744d56d7126b6cb99e96d29f5c0376;origin=https://hal.archives-ouvertes.fr/hal-01821474;visit=swh:1:snp:7cade104d9b67487e422fe6cafbe53e5255c7804;anchor=swh:1:rev:f202e6b3543e7c3c14250b038e236868671d8d10;path=/⟩. ⟨hal-01821474v2⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
146 Consultations
166 Téléchargements

Partager

More