Report on the NSF Workshop on Formal Methods for Security [article]

Stephen Chong, Joshua Guttman, Anupam Datta, Andrew Myers, Benjamin Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich
2016 arXiv   pre-print
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
arXiv:1608.00678v2 fatcat:rfbhpa6plbggzj6hn6p72p4cnu