Defense Notices


All students and faculty are welcome to attend the final defense of EECS graduate students completing their M.S. or Ph.D. degrees. Defense notices for M.S./Ph.D. presentations for this year and several previous years are listed below in reverse chronological order.

Students who are nearing the completion of their M.S./Ph.D. research should schedule their final defenses through the EECS graduate office at least THREE WEEKS PRIOR to their presentation date so that there is time to complete the degree requirements check, and post the presentation announcement online.

Upcoming Defense Notices

Harlan Williams

State-replicated key directories: Decoupling key distribution from the messaging service to prevent person-in-the-middle attacks

When & Where:


Eaton Hall, Room 2001B

Committee Members:

Hossein Saiedian, Chair
Arvin Agah
Perry Alexander


Abstract

End-to-end encrypted (E2EE) messaging services rely on the service operator to distribute authentic public keys. This arrangement protects users from external attackers, but fails catastrophically when the service itself acts maliciously. A service that distributes a spoofed key can silently decrypt, read, and re-encrypt its users' communications—undetectably, if users simply assume the service is trustworthy.

This thesis proposes and evaluates a state-replicated key directory, a model that decouples key distribution from the messaging service entirely. Instead of a single service controlling the directory, the directory is built and maintained across multiple decentralized nodes that follow a consensus and validation protocol. This design substantially raises the cost of key substitution attacks and, under well-defined assumptions, can prevent them outright.

We make three core contributions. First, we present End2, a fully functional browser-based E2EE messaging application that integrates a state-replicated key directory without modifying the underlying cryptographic session protocol. Second, we implement and compare three distinct key directory backends—centralized, permissionless blockchain (Ethereum), and permissioned blockchain (CometBFT)—and analyze their respective security and performance trade-offs. Third, we provide an empirical evaluation under realistic workloads, including upload and query latency, long-term performance degradation, validator failure resilience, and detection of malicious key insertions.

Our results show that a permissioned, Byzantine fault-tolerant key directory achieves query performance comparable to a centralized directory while providing substantially stronger security guarantees against service-side attacks. State-replicated key directories offer a practical and deployable path toward reducing the excessive trust placed in modern E2EE messaging providers.


Past Defense Notices

Dates

WESLEY PECK

Hardware/Software Co-Design via Specification Refinement

When & Where:


129 Nichols Hall

Committee Members:

Perry Alexander, Chair
Xin Fu
Andy Gill
Prasad Kulkarni
Caroline Bennett*

Abstract


WESLEY PECK

Hardware/Software Co-Design via Specification Refinement

When & Where:


129 Nichols Hall

Committee Members:

Perry Alexander, Chair
Xin Fu
Andy Gill
Prasad Kulkarni
Caroline Bennett*

Abstract


PATRICK CLARK

Novel Data Structures and Algorithms for Modeling, Analysis, and Human-Comprehension of Firewall Policies

When & Where:


2001B Eaton Hall

Committee Members:

Arvin Agah, Chair
Swapan Chakrabarti
Jerzy Grzymala-Busse
Bo Luo
Prajna Dhar*

Abstract


JUSTIN METCALF

Detection Strategies and Intercept Metrics for Intra-Pulse Radar-Embedded Communications

When & Where:


317 Nichols Hall

Committee Members:

Shannon Blunt, Chair
Erik Perrins
Glenn Prescott


Abstract


ASHWINI SHIKARIPUR NADIG

Statistical Approaches to Inferring Object Shape form Single Images

When & Where:


2001B Eaton Hall

Committee Members:

Brian Potetz, Chair
Shannon Blunt
Xue-Wen Chen
Luke Huan
Paul Selden*

Abstract


HONGLIANG FEI

Learning from the Data with Structured Input and Output

When & Where:


317 Nichols Hall

Committee Members:

Luke Huan, Chair
Arvin Agah
Xue-Wen Chen
Bo Luo
Hongguo Xu*

Abstract


BING HAN

etecting Cancer-Related Genes and Gene-Gene Interactions by Machine Learning Methods

When & Where:


317 Nichols Hall

Committee Members:

Xue-Wen Chen, Chair
Arvin Agah
Jerzy Grzymala-Busse
Luke Huan
Gerald Lushington

Abstract


DAVID TAI

Software for Supporting Large Scale Data Processing for High Throughput Screening

When & Where:


246 Nichols Hall

Committee Members:

Jianwen Fang, Chair
Luke Huan
Brian Potetz


Abstract


THOMAS HIGGINS

Waveform Diversity and Range-Coupled Adaptive Radar Signal Processing

When & Where:


129 Nichols Hall

Committee Members:

Shannon Blunt, Chair
Chris Allen
Dave Petr
Jim Stiles
Tyrone Duncan*

Abstract


BRIAN QUANZ

Learning with Low-Quality Data: Multi-View Semi-Supervised Learning with Missing Views

When & Where:


250 Nichols Hall

Committee Members:

Luke Hua, Chair
Xue-Wen Chen
Victor Frost
Bo Luo
Brian Potetz

Abstract