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]
@inproceedings{BackesMP12,
title = {Automated Synthesis of Secure Distributed Applications},
author = {Michael Backes and Matteo Maffei and Kim Pecina},
year = {2012},
url = {http://www.internetsociety.org/automated-synthesis-secure-distributed-applications},
researchr = {https://researchr.org/publication/BackesMP12},
cites = {0},
citedby = {0},
booktitle = {19th Annual Network and Distributed System Security Symposium, NDSS 2012, San Diego, California, USA, February 5-8, 2012},
publisher = {The Internet Society},
}