CRAug 2, 2016
Report on the NSF Workshop on Formal Methods for SecurityStephen Chong, Joshua Guttman, Anupam Datta et al.
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
Joshua Guttman
1paper
Stephen Chong, Joshua Guttman, Anupam Datta et al.
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.