all InfoSec news
A Compiler from Array Programs to Vectorized Homomorphic Encryption. (arXiv:2311.06142v1 [cs.PL])
cs.CR updates on arXiv.org arxiv.org
Homomorphic encryption (HE) is a practical approach to secure computation
over encrypted data. However, writing programs with efficient HE
implementations remains the purview of experts. A difficult barrier for
programmability is that efficiency requires operations to be vectorized in
inobvious ways, forcing efficient HE programs to manipulate ciphertexts with
complex data layouts and to interleave computations with data movement
primitives.
We present Viaduct-HE, a compiler generates efficient vectorized HE programs.
Viaduct-HE can generate both the operations and complex data layouts …
array compiler computation data efficiency encrypted encrypted data encryption experts homomorphic encryption operations secure computation writing