Report on the NSF Workshop on Formal Methods for Security
  Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015. 
Stephen Chong, Joshua Guttman, Anupam Datta, Andrew Myers, Benjamin   Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeld...
cs.CR cs.LO