Viaduct: an extensible, optimizing compiler for secure distributed programs C Acay, R Recto, J Gancher, AC Myers, E Shi Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 40 | 2021 |
A tour of gallifrey, a language for geodistributed programming M Milano, R Recto, T Magrino, AC Myers 3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019 | 21 | 2019 |
Secure synthesis of distributed cryptographic applications C Acay, J Gancher, R Recto, AC Myers IEEE Computer Security Foundations Symposium (CSF), 2024 | 4 | 2024 |
Secure synthesis of distributed cryptographic applications (technical report) C Acay, J Gancher, R Recto, AC Myers arXiv preprint arXiv:2401.04131, 2024 | 3 | 2024 |
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report) C Acay, R Recto, J Gancher, AC Myers, E Shi Cryptology ePrint Archive, 2021 | 3 | 2021 |
A Compiler from Array Programs to Vectorized Homomorphic Encryption R Recto, AC Myers arXiv preprint arXiv:2311.06142, 2023 | 1 | 2023 |
Finding bugs in liquid haskell,- A Tondwalkar, R Recto, W Weimer, R Jhala | 1 | 2016 |
Compilers for Secure Computation R Recto Cornell University, 2023 | | 2023 |
An Extensible, Optimizing Compiler for Secure Distributed Programs C Acay, R Recto, J Gancher, AC Myers, E Shi | | 2021 |
Secure Information Flow for Concurrent Programs with Expressive Synchronization R Recto, M Algehed, AC Myers | | |