You are looking at a specific version 20210412:180217 of this paper. See the latest version.

Paper 2021/468

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

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

Abstract

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.

Metadata
Available format(s)
PDF
Category
Applications
Publication info
Published elsewhere. Major revision. PLDI 2021
DOI
10.1145/3453483.3454074
Keywords
multiparty computationzero knowledge
Contact author(s)
coskuacay @ gmail com
History
2021-11-03: last of 2 revisions
2021-04-12: received
See all versions
Short URL
https://ia.cr/2021/468
License
Creative Commons Attribution
CC BY
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.