Follow
William Blair
Title
Cited by
Cited by
Year
Hotfuzz: Discovering algorithmic denial-of-service vulnerabilities through guided micro-fuzzing
W Blair, A Mambretti, S Arshad, M Weissbacher, W Robertson, E Kirda, ...
NDSS Symposium 2020, 2020
322020
Session types in a linearly typed multi-threaded lambda-calculus
H Xi, Z Ren, H Wu, W Blair
arXiv preprint arXiv:1603.03727, 2016
92016
FlexFilt: Towards Flexible Instruction Filtering for Security
L Delshadtehrani, S Canakci, W Blair, M Egele, A Joshi
Annual Computer Security Applications Conference, 646-659, 2021
12021
Stateful Microservice-Aware Intrusion Detection
F Araujo, W Blair, TP Taylor
US Patent App. 17/216,215, 2022
2022
Intrusion detection in micro-services through container telemetry and behavior modeling
F Araujo, TP Taylor, J Jang, W Blair
US Patent App. 17/071,055, 2022
2022
MPKAlloc: Efficient Heap Meta-data Integrity Through Hardware Memory Protection Keys
W Blair, W Robertson, M Egele
International Conference on Detection of Intrusions and Malware, and …, 2022
2022
HotFuzz: Discovering Temporal and Spatial Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing
W Blair, A Mambretti, S Arshad, M Weissbacher, W Robertson, E Kirda, ...
ACM Transactions on Privacy and Security, 2022
2022
Dependent Types for Multi-Rate Flows in Synchronous Programming
W Blair, H Xi
EPTCS 241, 2017
2017
Developing a Dependently Typed Language with Runtime Proof Search
M Lemay, C Zhang, W Blair
Expanders Lecture Notes
W Blair
HotFuzz
W Blair, A Mambretti, S Arshad, M Weissbacher, W Robertson, E Kirda, ...
The system can't perform the operation now. Try again later.
Articles 1–11