Dependent Types for Multi-Rate Flows in Synchronous Programming. - William Blair; Hongwei Xi 001 (ML Family/OCaml, 2015)

Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus. - Hongwei Xi 001; Zhiqiang Ren; Hanwen Wu; William Blair (CoRR, 2016)

HotFuzz: Discovering Algorithmic Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing. - William Blair; Andrea Mambretti; Sajjad Arshad; Michael Weissbacher; William Robertson 002; Engin Kirda; Manuel Egele (NDSS, 2020)

FlexFilt: Towards Flexible Instruction Filtering for Security. - Leila Delshadtehrani; Sadullah Canakci; William Blair; Manuel Egele; Ajay Joshi (ACSAC, 2021)

MPKAlloc: Efficient Heap Meta-data Integrity Through Hardware Memory Protection Keys. - William Blair; William K. Robertson; Manuel Egele (DIMVA, 2022)

HotFuzz: Discovering Temporal and Spatial Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing. - William Blair; Andrea Mambretti; Sajjad Arshad; Michael Weissbacher; William Robertson 002; Engin Kirda; Manuel Egele (ACM Trans. Priv. Secur., 2022)

ThreadLock: Native Principal Isolation Through Memory Protection Keys. - William Blair; William K. Robertson; Manuel Egele (AsiaCCS, 2023)

A Dependently Typed Language with Dynamic Equality. - Mark Lemay; Qiancheng Fu; William Blair; Cheng Zhang 026; Hongwei Xi 001 (TyDe@ICFP, 2023)

Binsweep: Reliably Restricting Untrusted Instruction Streams with Static Binary Analysis and Control-Flow Integrity. - Matteo Oldani; William Blair; Lukas Stadler; Zbynek Slajchrt; Matthias Neugschwandtner (CCSW@CCS, 2024)

Automated Synthesis of Effect Graph Policies for Microservice-Aware Stateful System Call Specialization. - William Blair; Frederico Araujo; Teryl Taylor; Jiyong Jang (SP, 2024)