UCYBR - UMBC Center for Cybersecurity
Videos from UCYBR - UMBC Center for Cybersecurity
Page 1 of 1 • 3 total videos
1:03:26
Automatically Binding Cryptographic Context to Messages in Network Protocols Using Formal Methods
UCYBR - UMBC Center for Cybersecurity
60 views
47:47
Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Authentication
UCYBR - UMBC Center for Cybersecurity
99 views
55:37
CDL - Matt Green - Using SMT Solvers to Automate Chosen-Ciphertext Attacks
UCYBR - UMBC Center for Cybersecurity
50 views