Detecting the Detectable: Unintended Consequences of Cryptographic Election Verification.

Aleksander Essex

Published in: IEEE Secur. Priv. (2017)

Keyphrases

smart card
cryptographic protocols
automatic detection
formal analysis
decision making
model checking
person identification
database
genetic algorithm
social networks
computational complexity
special case
signature verification
security properties
false acceptance