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 is missing.