Chong, StephenGuttman, JoshuaDatta, AnupamMyers, AndrewPierce, BenjaminChaumont, PatrickSherwood, TimZeldovich, Nickolai2018-01-052016Chong, Stephen, Joshua Guttman, Anupam Datta, Andrew Myers, Benjamin Pierce, Patrick Schaumont, Tim Sherwood, and Nickolai Zeldovich. 2016. "Report on the NSF workshop on formal methods for security." Technical report.http://nrs.harvard.edu/urn-3:HUL.InstRepos:34604536The NSF workshop on Security and Formal Methods, held 19--20 November 2015, brought together developers of formal methods, researchers exploring how to apply formal methods to various kinds of systems, and people familiar with the security problem space.en-USResearch Paper or Report2018-01-05