Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala. Simple High-Level Code For Cryptographic Arithmetic: With Proofs, Without Compromises. Operating Systems Review, 54(1):23-30, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.