Recent News

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