Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols - Inria - Institut national de recherche en sciences et technologies du numérique
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 : vendredi 22 juin 2018-14:52:31

Dernière modification le : vendredi 24 mars 2023-14:53:07

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 :
  • Licences : GNU General Public License v3.0 only
  • Code Repository :

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:b6936a951a6758f927ab264819f64c9361061ed9;origin=https://hal.archives-ouvertes.fr/hal-01821474;visit=swh:1:snp:be9e25c2b747039a779b68d7296527ab6e6c8bc8;anchor=swh:1:rev:9c4c1477b04d07e03a85615237a2dac6dbaaf276;path=/⟩. ⟨hal-01821474v1⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
146 Consultations
166 Téléchargements

Partager

More