most citedSecure Synthesis of Distributed Cryptographic Applications (Technical Report)

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

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…