Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises | IEEE Conference Publication | IEEE Xplore