Details can be found by following these links:
CSEE Research Day :
Showing items tagged cryptography. Show All
Talk: Binding Cryptographic Context to Messages, 12-1 May 10
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...
Posted: May 8, 2024, 2:42 PM