swMATH28582MaRDI QIDQ40296FDOQ40296
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/CryptHOL.html
Cited In (34)
- FindFacts
- 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
- EasyCrypt
- GNUC
- Autoref
- Title not available (Why is that?)
- Verified analysis of random binary tree structures
- Relational parametricity and quotient preservation for modular (co)datatypes
- Amortized Complexity
- Ergodic theory
- Density Compiler
- Monomorphic Monad
- LLL Factorization
- QuickSort Cost
- Random BSTs
- Root Balanced Tree
- Ordinals Cardinals
- Zoo Probabilistic Systems
- Treaps
- ProofPeer
- Regex_Equivalence
- Game_Based_Crypto
- MFMC_Countable
- Monad normalisation
- Probabilistic_While
- Probabilistic_Prime_Tests
- How to simulate it in Isabelle: towards formal proof for secure multi-party computation
- EasyUC
- Smooth_Manifolds
- MoSS
This page was built for software: CryptHOL
