Paper-Conference

Secure Synthesis of Distributed Cryptographic Applications
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
Cite Code Project Tech Report
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
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
PDF Cite Code Project Video DOI Tech Report