The following pages link to EasyCrypt: A Tutorial (Q5253588):
Displaying 8 items.
- EasyCrypt (Q21717) (← links)
- Probabilistic annotations for protocol models. Dedicated to Joshua Guttman (Q2154019) (← links)
- Computer-Aided Verification for Mechanism Design (Q2959836) (← links)
- Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC (Q4639476) (← links)
- VPHL: a verified partial-correctness logic for probabilistic programs (Q5971408) (← links)
- Automated verification of correctness for masked arithmetic programs (Q6535686) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)
- Formally verifying Kyber. Episode V: machine-checked IND-CCA security and correctness of ML-KEM in Easycrypt (Q6648215) (← links)
