Verification of a cryptographic primitive: SHA-256 (abstract).

Andrew W. Appel

Published in: PLDI (2015)

Keyphrases

hash functions
cryptographic protocols
higher level
model checking
high level
smart card
data sets
databases
low level
face verification
signature verification
database
real time
data mining
encryption key