Author(s): Michael Backes, Matteo Maffei and Kim Pecina

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.