Equivalence properties by typing in cryptographic branching protocols

DOI10.1007/978-3-319-89722-6_7zbMath1427.68035OpenAlexW2797113766MaRDI QIDQ2324201

Véronique Cortier, Matteo Maffei, Niklas Grimm, Joseph Lallemand

Publication date: 16 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89722-6_7

Mathematics Subject Classification ID

Cryptography (94A60) Computer security (68M25)

Related Items (2)

Efficiently deciding equivalence for standard primitives and phases ⋮ Unnamed Item

This page was built for publication: Equivalence properties by typing in cryptographic branching protocols