Report on the NSF Workshop on Formal Methods for Security.

Stephen Chong,Joshua Guttman,Anupam Datta,Andrew C. Myers,Benjamin Pierce,Patrick Schaumont,Tim Sherwood,Nickolai Zeldovich

Report on the NSF Workshop on Formal Methods for Security（2016）

引用 40|浏览42

暂无评分

摘要

The 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.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要