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

Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala

Browse the full SP paper archive.