Publication Overview

Michael Backes and Matteo Maffei and Kim Pecina

Automated Synthesis of Privacy-Preserving Distributed Applications

Published in: Proc. 19th Annual Network and Distributed System Security Symposium (NDSS 2012)
Year: 2012