William Blair

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 9

Top Topics

Intrusion Detection System

Denial Of Service Attacks

Top Venues

ML Family/OCaml

Publications

William Blair, William K. Robertson, Manuel Egele
ThreadLock: Native Principal Isolation Through Memory Protection Keys. AsiaCCS (2023)
Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi
A Dependently Typed Language with Dynamic Equality. TyDe@ICFP (2023)
William Blair, Andrea Mambretti, Sajjad Arshad, Michael Weissbacher, William Robertson, Engin Kirda, Manuel Egele
HotFuzz: Discovering Temporal and Spatial Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing. ACM Trans. Priv. Secur. 25 (4) (2022)
William Blair, William K. Robertson, Manuel Egele
MPKAlloc: Efficient Heap Meta-data Integrity Through Hardware Memory Protection Keys. DIMVA (2022)
Leila Delshadtehrani, Sadullah Canakci, William Blair, Manuel Egele, Ajay Joshi
FlexFilt: Towards Flexible Instruction Filtering for Security. ACSAC (2021)
William Blair, Andrea Mambretti, Sajjad Arshad, Michael Weissbacher, William K. Robertson, Engin Kirda, Manuel Egele
HotFuzz: Discovering Algorithmic Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing. CoRR (2020)
William Blair, Andrea Mambretti, Sajjad Arshad, Michael Weissbacher, William Robertson, Engin Kirda, Manuel Egele
HotFuzz: Discovering Algorithmic Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing. NDSS (2020)
Hongwei Xi, Zhiqiang Ren, Hanwen Wu, William Blair
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus. CoRR (2016)
William Blair, Hongwei Xi
Dependent Types for Multi-Rate Flows in Synchronous Programming. ML Family/OCaml (2015)