Automated Analysis and Synthesis of Padding-Based Encryption Schemes.
Gilles BartheJuan Manuel CrespoBenjamin GrégoireCésar KunzYassine LakhnechSantiago Zanella BéguelinPublished in: IACR Cryptol. ePrint Arch. (2012)
Keyphrases
- automated analysis
- encryption scheme
- standard model
- security analysis
- visual analysis
- public key encryption
- biomedical imaging
- public key
- ciphertext
- cca secure
- data sharing
- secret key
- security model
- lossless compression
- hash functions
- video analysis
- proxy re encryption
- homomorphic encryption
- metadata
- design process
- feature space
- data structure
- computer vision
- databases