Automated Synthesis of Secure Distributed Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Michael Backes' in GoogleThis author has not been identified. Look up 'Matteo Maffei' in GoogleThis author has not been identified. Look up 'Kim Pecina' in Google

runs on WebDSL