Computer-Aided Security Proofs for the Working Cryptographer (Q5199185)
From MaRDI portal
scientific article; zbMATH DE number 5938209
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer-Aided Security Proofs for the Working Cryptographer |
scientific article; zbMATH DE number 5938209 |
Statements
Computer-Aided Security Proofs for the Working Cryptographer (English)
0 references
12 August 2011
0 references
provable security
0 references
verifiable security
0 references
game-based proofs
0 references
Cramer-Shoup cryptosystem
0 references
ElGamal encryption
0 references
