Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols - Archive ouverte HAL
Software Year : 2018

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

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

Domains

Logic in Computer Science [cs.LO] Cryptography and Security [cs.CR]

David Baelde  : Connect in order to contact the contributor

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

Submitted on : Thursday, June 28, 2018-10:12:01 AM

Last modification on : Friday, April 5, 2024-3:34:39 PM

Consulter sur Present sur SoftwareHeritage

Dates and versions

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

Identifiers

Metadata

  • version :
  • Software License : GNU General Public License v3.0 only
  • Code Repository :

Cite

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⟩

Export

format_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 View
166 Download

Share

More