14.1CRAug 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.
Nickolai Zeldovich
h-index49
1paper
10,298citations