Automated Analysis and Synthesis of Authenticated Encryption Schemes.
Viet Tung HoangJonathan KatzAlex J. MalozemoffPublished in: IACR Cryptol. ePrint Arch. (2015)
Keyphrases
- automated analysis
- encryption scheme
- standard model
- public key
- secret key
- hash functions
- security analysis
- ciphertext
- authentication scheme
- visual analysis
- cca secure
- public key encryption
- data sharing
- key distribution
- lossless compression
- secret sharing scheme
- diffie hellman
- security model
- computer vision
- proxy re encryption
- homomorphic encryption