Report

The full report on the NSF Workshop on Formal Methods for Security is available in the ACM Digital Library at http://dl.acm.org/citation.cfm?id=3040225. In addition, a version is available on arXiv at https://arxiv.org/abs/1608.00678.

A four-page executive summary is available here.

To cite the report, please use this BibTeX entry.