The following pages link to CertiCrypt (Q21426):
Displaying 4 items.
- Beyond Provable Security Verifiable IND-CCA Security of OAEP (Q3073706) (← links)
- Verifiable Security of Boneh-Franklin Identity-Based Encryption (Q3092349) (← links)
- A Library for Algorithmic Game Theory in Ssreflect/Coq (Q5195287) (← links)
- Programming Language Techniques for Cryptographic Proofs (Q5747645) (← links)