@Misc{sfm-report2016,
  author = 	 {Stephen Chong and Joshua Guttman and Anupam Datta and Andrew Myers and Benjamin Pierce and Patrick Schaumont and Tim Sherwood and Nickolai Zeldovich},
  title = 	 {Report on the {NSF} Workshop on Formal Methods for Security},
  howpublished = {Available at \url{http://dl.acm.org/citation.cfm?id=3040225}.},
  publisher =    {National Science Foundation},
  month = 	 aug,
  year = 	 2016
}