Automated Synthesis of Secure Distributed Applications

Michael Backes, Matteo Maffei, Kim Pecina. Automated Synthesis of Secure Distributed Applications. In 19th Annual Network and Distributed System Security Symposium, NDSS 2012, San Diego, California, USA, February 5-8, 2012. The Internet Society, 2012. [doi]

Abstract

Abstract is missing.