Viaduct
Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi
Last updated on
Jun 3, 2021Publications
We prove the end-to-end correctness of a compiler that synthesizes cryptographic protocols from high-level programs. The proof is based on the Universal Composability framework.
Coşku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers
We present Viaduct, a compiler that transforms high-level programs into efficient distributed realizations that use cryptography to preserve security.
Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi