Joshua Guttman

1. Report on the NSF Workshop on Formal Methods for Security
   2016/08/02 by Stephen Chong, Chong, Stephen, Joshua Guttman +13 · 1 citation
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.CR #cs.LO