Verified Cryptographic Code for Everybody.

Brett Boston Samuel Breese Joey Dodds Mike Dodds Brian Huffman Adam Petcher Andrei Stefanescu

Published in: CAV (1) (2021)

Keyphrases

source code
smart card
key management
code generation
real time
database systems
relational databases
operating system
cellular automata
hash functions
data flow
error detection
digital signature
encryption key