Automatically in Network Protocols Using Formal Methods
UMBC Cyber Defense Lab Automatically Binding Cryptographic Context to Messages in Network Protocols Using Formal Methods Dr. Enis Golaszewski CSEE Dept., UMBC 12–1pm ET, Friday, May...
May 8, 2024
·
2:42 PM