You are here

Automated Synthesis of Secure Distributed Applications

Automated Synthesis of Secure Distributed Applications Download File

Date: 8 Feb 2012

Document Type: Briefing Papers

Associated event: NDSS Symposium 2012

Automated Synthesis of Secure Distributed Applications

Michael Backes, Matteo Maffei and Kim Pecina