Automated Synthesis of Secure Distributed Applications.

Michael Backes, Matteo Maffei, Kim Pecina

Browse the full NDSS paper archive.