The following pages link to CryptHOL (Q40296):
Displaying 9 items.
- How to simulate it in Isabelle: towards formal proof for secure multi-party computation (Q1687724) (← links)
- Relational parametricity and quotient preservation for modular (co)datatypes (Q1791181) (← links)
- Formalising \(\varSigma\)-protocols and commitment schemes using crypthol (Q2031427) (← links)
- MoSS: modular security specifications framework (Q2128988) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- (Q5028480) (← links)
- Quotients of Bounded Natural Functors (Q5048992) (← links)
- Verified analysis of random binary tree structures (Q5916263) (← links)
- Verified analysis of random binary tree structures (Q5919010) (← links)
