The following pages link to EasyCrypt: A Tutorial (Q5253588):
Displaying 5 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)
