A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Report on the NSF Workshop on Formal Methods for Security
[article]
2016
arXiv
pre-print
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
arXiv:1608.00678v2
fatcat:rfbhpa6plbggzj6hn6p72p4cnu