1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2024★ 1 cited
Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
Coşku Acay, Joshua Gancher, Rolph Recto +1
Developing secure distributed systems is difficult, and even harder when advanced cryptography must be used to achieve security goals. Following prior work, we advocate using secur…
cs.PL2023
A Compiler from Array Programs to Vectorized Homomorphic Encryption
Rolph Recto, Andrew C. Myers
Homomorphic encryption (HE) is a practical approach to secure computation over encrypted data. However, writing programs with efficient HE implementations remains the purview of ex…