Report on the NSF Workshop on Formal Methods for Security

Abstract

Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.

References in corpus (2)

• Efficient Synthesis of Network Updates
• Automated Experiments on Ad Privacy Settings: A Tale of Opacity, Choice, and Discrimination