Viaduct is an extensible, optimizing compiler that automatically employs cryptography to enforce high-level security specifications. Viaduct can generate code that uses:
Checkout the guide to get started!
[ARGMS21] Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi. Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).