Browse Research and Tech Reports - Computer Science by Subject "finite variant property"

  • Cholewa, Andrew; Meseguer, José; Escobar, Santiago (2014-02-11)
    Variants and the finite variant property were originally introduced about a decade ago by Hurbert Comon-Lundh and Stephanie Delaune to reason about equational theories that commonly appear in cryptographic protocol analysis. ...


    application/pdfPDF (340kB)