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:
ACM SIGOPS Oper. Syst. Rev. (2020)
Keyphrases
</>
high level
low level
metadata
neural network
multiscale
source code
video sequences
static analysis
computer programs
floating point
hash functions
theorem proving
theorem prover
database
database systems
case study
data sets