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
TL;DR
This report summarizes discussions and outcomes from the NSF Workshop on Formal Methods for Security held in November 2015, focusing on advancing formal techniques to improve security systems.
Contribution
It provides an overview of current challenges, research directions, and collaborative opportunities in applying formal methods to security.
Findings
Identified key research gaps in formal security verification
Highlighted the need for scalable formal tools
Emphasized collaboration between academia and industry
Abstract
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCryptography and Data Security · Advanced Malware Detection Techniques · Security and Verification in Computing