70 citations · 293 across the 33 of their papers we have counts for
1 paper · 2 filters
Stephen Chong, Joshua Guttman, Anupam Datta +5
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.