Login / Signup
Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises.
Andres Erbsen
Jade Philipoom
Jason Gross
Robert Sloan
Adam Chlipala
Published in:
IEEE Symposium on Security and Privacy (2019)
Keyphrases
</>
high level
source code
low level
databases
genetic algorithm
knowledge base
programming language
smart card
theorem prover