Fall 2023

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


=> If you would like to volunteer to give a talk, or recommend someone to speak, please
contact Alan Sherman (sherman@umbc.edu).