eprint.iacr.org will be offline for approximately an hour for routine maintenance again at 10pm UTC on Wednesday, April 17.

Paper 2021/468

Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report)

Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, and Elaine Shi


Modern distributed systems involve interactions between principals with limited trust, so cryptographic mechanisms are needed to protect confidentiality and integrity. At the same time, most developers lack the training to securely employ cryptography. We present Viaduct, a compiler that transforms high-level programs into secure, efficient distributed realizations. Viaduct's source language allows developers to declaratively specify security policies by annotating their programs with information flow labels. The compiler uses these labels to synthesize distributed programs that use cryptography efficiently while still defending the source-level security policy. The Viaduct approach is general, and can be easily extended with new security mechanisms. Our implementation of the Viaduct compiler comes with an extensible runtime system that includes plug-in support for multiparty computation, commitments, and zero-knowledge proofs. We have evaluated the system on a set of benchmarks, and the results indicate that our approach is feasible and can use cryptography in efficient, nontrivial ways.

Available format(s)
Publication info
Published elsewhere. Major revision. PLDI 2021
multiparty computationzero knowledge
Contact author(s)
coskuacay @ gmail com
2021-11-03: last of 2 revisions
2021-04-12: received
See all versions
Short URL
Creative Commons Attribution


      author = {Coşku Acay and Rolph Recto and Joshua Gancher and Andrew C.  Myers and Elaine Shi},
      title = {Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report)},
      howpublished = {Cryptology ePrint Archive, Paper 2021/468},
      year = {2021},
      doi = {10.1145/3453483.3454074},
      note = {\url{https://eprint.iacr.org/2021/468}},
      url = {https://eprint.iacr.org/2021/468}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.