Report on the NSF Workshop on Formal Methods for Security
Stephen Chong, Joshua Guttman, Anupam Datta, Andrew Myers, Benjamin Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich
arXiv:1608.00678v237 citations
Originality Synthesis-oriented
AI Analysis
It is an incremental report summarizing discussions for researchers in formal methods and security.
This paper reports on a workshop discussing the application of formal methods to security problems, but it does not present new research results or concrete numbers.
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.