Formally Certifying the Security of Digital Signature Schemes.
Santiago Zanella BéguelinGilles BartheBenjamin GrégoireFederico OlmedoPublished in: IEEE Symposium on Security and Privacy (2009)
Keyphrases
- signature scheme
- digital signature scheme
- public key cryptosystem
- identity based signature
- standard model
- diffie hellman
- private key
- blind signature
- public key
- provably secure
- identity based cryptography
- blind signature scheme
- threshold signature scheme
- bilinear pairings
- key distribution
- designated verifier
- electronic voting
- group signature scheme
- encryption scheme
- digital signature
- signcryption scheme
- statistical databases
- information security
- secret key
- security analysis
- security mechanisms
- chosen message
- access control
- public key cryptography
- query processing
- authentication scheme
- security requirements