TypeEQ: A Type System for Protocol Equivalence

Download



The type system is described in the papers
  • Equivalence Properties by Typing in Cryptographic Branching Protocols.
    Véronique Cortier, Niklas Grimm, Joseph Lallemand, and Matteo Maffei.
    In Proceedings of the 7th International Conference on Principles of Security and Trust (POST’18), Thessaloniki, April 2018.
  • A Type System for Privacy Properties.
    Véronique Cortier, Niklas Grimm, Joseph Lallemand, and Matteo Maffei.
    In 24th ACM Conference on Computer and Communications Security (CCS’17), Dallas, October 2017.