William Blair

13 papers A* 2A 3B 1Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
HypoVisor: Multi-Tenant POSIX Process Virtualization in Userspace for Untrusted Native Code.
EuroSec
Matthias Neugschwandtner, Rudi Horn, Tomás Fiedor, Lukas Stadler, Aleksandar Prokopec, William Blair, Zbynek Slajchrt, Andrija Kolic, Keith Lucas, François Farquet, Andrew Brownsword
2025 A conf
Monocle: Transient Execution Proof Memory Views for Runtime Compiled Code.
AsiaCCS
Matteo Oldani, William Blair, Shweta Shinde, Matthias Neugschwandtner
2024 A* conf
Automated Synthesis of Effect Graph Policies for Microservice-Aware Stateful System Call Specialization.
SP
William Blair, Frederico Araujo, Teryl Taylor, Jiyong Jang
2024 — conf
Binsweep: Reliably Restricting Untrusted Instruction Streams with Static Binary Analysis and Control-Flow Integrity.
CCSW@CCS
Matteo Oldani, William Blair, Lukas Stadler, Zbynek Slajchrt, Matthias Neugschwandtner
2023 — conf
A Dependently Typed Language with Dynamic Equality.
TyDe@ICFP
Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi
2023 A conf
ThreadLock: Native Principal Isolation Through Memory Protection Keys.
AsiaCCS
William Blair, William K. Robertson, Manuel Egele
2022 J jnl
HotFuzz: Discovering Temporal and Spatial Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing.
ACM Trans. Priv. Secur.
William Blair, Andrea Mambretti, Sajjad Arshad, Michael Weissbacher, William Robertson, Engin Kirda, Manuel Egele
2022 B conf
MPKAlloc: Efficient Heap Meta-data Integrity Through Hardware Memory Protection Keys.
DIMVA
William Blair, William K. Robertson, Manuel Egele
2021 A conf
FlexFilt: Towards Flexible Instruction Filtering for Security.
ACSAC
Leila Delshadtehrani, Sadullah Canakci, William Blair, Manuel Egele, Ajay Joshi
2020 A* conf
HotFuzz: Discovering Algorithmic Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing.
NDSS
William Blair, Andrea Mambretti, Sajjad Arshad, Michael Weissbacher, William Robertson, Engin Kirda, Manuel Egele
2020 J jnl
HotFuzz: Discovering Algorithmic Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing.
CoRR
William Blair, Andrea Mambretti, Sajjad Arshad, Michael Weissbacher, William K. Robertson, Engin Kirda, Manuel Egele
2016 J jnl
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus.
CoRR
Hongwei Xi, Zhiqiang Ren, Hanwen Wu, William Blair
2015 — conf
Dependent Types for Multi-Rate Flows in Synchronous Programming.
ML Family/OCaml
William Blair, Hongwei Xi