Report on the NSF Workshop on Formal Methods for Security
Stephen Chong, Joshua Guttman, Anupam Datta, Andrew Myers, Benjamin Pierce, Patrick Schaumont, Tim Sherwood, and Nickolai Zeldovich
August 2016.
[ Abstract | Summary | Full Report (ACM DL) | Full Report (arXiv) | BibTeX ]
Abstract.

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

This site last updated Feb 2024.