Follow
William Blair
William Blair
Oracle Labs
Verified email at oracle.com - Homepage
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
412020
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
52021
Intrusion detection in micro-services through container telemetry and behavior modeling
F Araujo, TP Taylor, J Jang, W Blair
US Patent 11,748,473, 2023
32023
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 25 (4), 1-35, 2022
32022
When Z3 Met Yices
W Blair, N Ghalili
22013
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
12022
Developing a Dependently Typed Language with Runtime Proof Search
M Lemay, C Zhang, W Blair
Workshop on Type-Driven Development, 2020
12020
Method for control flow isolation with protection keys and indirect branch tracking
M Neugschwandtner, W Blair
US Patent App. 17/882,007, 2024
2024
Guided micro-fuzzing through hybrid program analysis
F Araujo, W Blair, S Das, J Jang
US Patent 11,822,673, 2023
2023
Automated Synthesis of Effect Graph Policies for Microservice-Aware Stateful System Call Specialization
W Blair, F Araujo, T Taylor, J Jang
2024 IEEE Symposium on Security and Privacy (SP), 64-64, 2023
2023
Stateful microservice-aware intrusion detection
F Araujo, W Blair, TP Taylor
US Patent App. 18/209,731, 2023
2023
A Dependently Typed Language with Dynamic Equality
M Lemay, Q Fu, W Blair, C Zhang, H Xi
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven …, 2023
2023
Automated Synthesis of Reference Policies for Runtime Microservice Protection
F Araujo, W Blair, TP Taylor
US Patent App. 17/390,881, 2023
2023
ThreadLock: Native Principal Isolation Through Memory Protection Keys
W Blair, W Robertson, M Egele
ACM Asia Conference on Computer and Communications Security (AsiaCCS), 2023
2023
Stateful Microservice-Aware Intrusion Detection
F Araujo, W Blair, TP Taylor
US Patent App. 17/216,215, 2022
2022
Microservice-Aware Reference Monitoring through Hybrid Program Analysis
W Blair, F Araujo, T Taylor, J Jang
FloCon, 2021
2021
Dependent Types for Multi-Rate Flows in Synchronous Programming
W Blair, H Xi
EPTCS 241, 2017
2017
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–20