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

IEEE Security and Privacy 2019 Hacking conference #hacking, #hackers, #infosec, #opsec, #IT, #security.