Robert Sloan

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Top Venues

IEEE Symposium on Security and Privacy

ACM SIGOPS Oper. Syst. Rev.

Publications

Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala
Simple High-Level Code For Cryptographic Arithmetic: With Proofs, Without Compromises. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala
Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises. IEEE Symposium on Security and Privacy (2019)