CryptHOL
From MaRDI portal
Software:40296
swMATH28582MaRDI QIDQ40296FDOQ40296
Author name not available (Why is that?)
Cited In (9)
- MoSS: modular security specifications framework
- Formalising \(\varSigma\)-protocols and commitment schemes using crypthol
- CryptHOL: game-based proofs in higher-order logic
- Verified analysis of random binary tree structures
- Quotients of Bounded Natural Functors
- Title not available (Why is that?)
- Verified analysis of random binary tree structures
- Relational parametricity and quotient preservation for modular (co)datatypes
- How to simulate it in Isabelle: towards formal proof for secure multi-party computation
This page was built for software: CryptHOL
