Automated Proofs of Signatures using Bilinear Pairings.
Guruprasad EswaraiahRoopa VishwanathanDouglas NedzaPublished in: PST (2018)
Keyphrases
- bilinear pairings
- signature scheme
- threshold signature scheme
- signcryption scheme
- blind signature scheme
- identity based cryptography
- key management
- partially blind signature scheme
- designated verifier
- provably secure
- blind signature
- diffie hellman
- public key
- digital signature
- standard model
- public key cryptography
- forward secure
- database systems
- key distribution
- security model
- signature verification
- proxy signature
- encryption scheme
- formal model
- high dimensional