Login / Signup
Vale: Verifying High-Performance Cryptographic Assembly Code.
Barry Bond
Chris Hawblitzel
Manos Kapritsos
K. Rustan M. Leino
Jacob R. Lorch
Bryan Parno
Ashay Rane
Srinath T. V. Setty
Laure Thompson
Published in:
USENIX Security Symposium (2017)
Keyphrases
</>
smart card
source code
databases
model checking
general purpose
security protocols
scientific computing
open source
software development
hash functions
code generation
program code
random number generator