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]
@article{ErbsenPGSC20, title = {Simple High-Level Code For Cryptographic Arithmetic: With Proofs, Without Compromises}, author = {Andres Erbsen and Jade Philipoom and Jason Gross and Robert Sloan and Adam Chlipala}, year = {2020}, doi = {10.1145/3421473.3421477}, url = {https://doi.org/10.1145/3421473.3421477}, researchr = {https://researchr.org/publication/ErbsenPGSC20}, cites = {0}, citedby = {0}, journal = {Operating Systems Review}, volume = {54}, number = {1}, pages = {23-30}, }