The UMBC Cyber Defense Lab meets normally on Fridays 12-1 PM, biweekly while classes are in session.
All meetings will be remote via WebEx: umbc.webex.com/meet/sherman and are open to the public; anyone may attend. During each meeting, someone (CDL student or faculty, or special guest) will present on a current research project of theirs.
Automatically Binding Cryptographic Context to Messages in Network Protocols Using Formal Methods
Enis Golaszewski
CSEE Department, UMBC
Friday, December 1, 2023, from 12 PM – 1 PM
Building Effective Incident Response Workflows
Ryan Warns
Founder | Outcome Security
Friday, November 17, 2023, from 1 PM – 2 PM
Formal Risk Analysis and Cyber Challenges
Jason Reinhardt
Distinguished Member of Technical Staff | Sandia National Laboratories
Friday, November 3, 2023, from 12 PM (Noon) – 1 PM
Verifiable Election Technologies: How Voters Can Independently Verify that their Votes have been Accurately Counted
Josh Benaloh
Senior Principal Cryptographer | Microsoft Research
Friday, October 20, 2023, from 1 PM – 2 PM
MalDICT: Benchmark Datasets on Malware Behaviors, Platforms, Exploitation, and Packers
RJ Joyce
PhD Student | CSEE Department, UMBC
Friday, October 6, 2023, from 12:00 PM (Noon) – 1 PM
Formal-Methods Analysis of the Session Binding Proxy Protocol: Advantages and Dangers of Oblivious Protocol Participants
Enis Golaszewski
PhD Student | CSEE Dept, UMBC
Friday, September 29, 2023, from 12:00 PM (Noon) – 1 PM
Fast Withdrawals from Optimistic Rollups
Jeremy Clark
Associate Professor Concordia Institute for Information Systems Engineering (CIISE) | Concordia University
Friday, September 8, 2023, from 12:00 PM (Noon) – 1 PM