UMBC Cyber Defense Lab Verifying Security Properties of Cryptographic Protocols with CPSA Edward V. Zieglar Jr. Analysis and Design Methods DoD Trusted Systems Research Group 12-1pm,...
May 11, 2015
·
9:47 AM