Compilation Techniques for Efficient Encrypted Computation
@article{fletcher2012compilation,
title={Compilation techniques for efficient encrypted computation},
author={Fletcher, Christopher and Van Dijk, Marten and Devadas, Srinivas},
journal={Cryptology ePrint Archive},
year={2012}
url={https://eprint.iacr.org/2012/266.pdf}
}Abstract
- BV scheme で回路最適化をする話