Login / Signup

Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises.

Andres ErbsenJade PhilipoomJason GrossRobert SloanAdam 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