William Blair

According to our database, William Blair authored at least 11 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Monocle: Transient Execution Proof Memory Views for Runtime Compiled Code.

Matteo Oldani, William Blair, Shweta Shinde, Matthias Neugschwandtner

Proceedings of the 20th ACM Asia Conference on Computer and Communications Security, 2025

2024

Automated Synthesis of Effect Graph Policies for Microservice-Aware Stateful System Call Specialization.

William Blair, Frederico Araujo, Teryl Taylor, Jiyong Jang

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Binsweep: Reliably Restricting Untrusted Instruction Streams with Static Binary Analysis and Control-Flow Integrity.

Matteo Oldani, William Blair, Lukas Stadler, Zbynek Slajchrt, Matthias Neugschwandtner

Proceedings of the 2024 on Cloud Computing Security Workshop, 2024

2023

A Dependently Typed Language with Dynamic Equality.

Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

ThreadLock: Native Principal Isolation Through Memory Protection Keys.

William Blair, William K. Robertson, Manuel Egele

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

2022

HotFuzz: Discovering Temporal and Spatial Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing.

William Blair, Andrea Mambretti, Sajjad Arshad, Michael Weissbacher, William Robertson, Engin Kirda, Manuel Egele

ACM Trans. Priv. Secur., 2022

MPKAlloc: Efficient Heap Meta-data Integrity Through Hardware Memory Protection Keys.

William Blair, William K. Robertson, Manuel Egele

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2022

2021

FlexFilt: Towards Flexible Instruction Filtering for Security.

Leila Delshadtehrani, Sadullah Canakci, William Blair, Manuel Egele, Ajay Joshi

Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021

2020

HotFuzz: Discovering Algorithmic Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing.

William Blair, Andrea Mambretti, Sajjad Arshad, Michael Weissbacher, William Robertson, Engin Kirda, Manuel Egele

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

2016

Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus.

Hongwei Xi, Zhiqiang Ren, Hanwen Wu, William Blair

CoRR, 2016

2015

Dependent Types for Multi-Rate Flows in Synchronous Programming.

William Blair, Hongwei Xi

Proceedings of the Proceedings ML Family / OCaml Users and Developers workshops, 2015