• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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