CryptHOL
From MaRDI portal
Software:40296
No author found.
Related Items (9)
MoSS: modular security specifications framework ⋮ Quotients of Bounded Natural Functors ⋮ CryptHOL: game-based proofs in higher-order logic ⋮ How to simulate it in Isabelle: towards formal proof for secure multi-party computation ⋮ Unnamed Item ⋮ Verified analysis of random binary tree structures ⋮ Formalising \(\varSigma\)-protocols and commitment schemes using crypthol ⋮ Relational parametricity and quotient preservation for modular (co)datatypes ⋮ Verified analysis of random binary tree structures
This page was built for software: CryptHOL
