Automated Synthesis of Secure Distributed Applications
Download: Paper (PDF)
Date: 8 Feb 2012
Document Type: Briefing Papers
Associated Event: NDSS Symposium 2012
Designing distributed applications that preserve the privacy of users is a daunting task, which even security experts consider error-prone. We present a solution based on an intuitive, high-level specification language that hides cryptographic and networking details, and a compiler that automatically turns user-provided system specifications into secure executable code.