Verified security of redundancy-free encryption from Rabin and RSA.
Gilles BartheDavid PointchevalSantiago Zanella BéguelinPublished in: CCS (2012)
Keyphrases
- key exchange
- public key cryptography
- elliptic curve cryptography
- private key
- public key
- cryptographic algorithms
- security analysis
- elliptic curve
- high security
- encryption scheme
- modular exponentiation
- encryption decryption
- encryption algorithms
- key management
- security properties
- digital signature
- public key infrastructure
- digital signature scheme
- authentication scheme
- public key cryptosystems
- security model
- diffie hellman
- identity authentication
- key distribution
- information security
- signature scheme
- provably secure
- security services
- security protocols
- data encryption
- digital watermark
- image encryption
- intrusion detection
- cryptographic protocols
- mutual authentication
- secret key
- security mechanisms
- digital rights management
- resource constrained
- personal data
- security requirements
- security issues
- advanced encryption standard
- virtual private network
- data protection
- smart card