Automated Analysis and Synthesis of Authenticated Encryption Schemes.
Viet Tung HoangJonathan KatzAlex J. MalozemoffPublished in: CCS (2015)
Keyphrases
- automated analysis
- encryption scheme
- public key
- standard model
- secret key
- authentication scheme
- security analysis
- hash functions
- visual analysis
- ciphertext
- security model
- key distribution
- public key encryption
- cca secure
- proxy re encryption
- data sharing
- secret sharing scheme
- video analysis
- diffie hellman
- lossless compression
- private key
- image processing
- databases
- key management
- smart card
- lightweight
- feature extraction