| 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 | 42 | 2020 |
| Session types in a linearly typed multi-threaded lambda-calculus H Xi, Z Ren, H Wu, W Blair arXiv preprint arXiv:1603.03727, 2016 | 9 | 2016 |
| FlexFilt: towards flexible instruction filtering for security L Delshadtehrani, S Canakci, W Blair, M Egele, A Joshi Proceedings of the 37th Annual Computer Security Applications Conference …, 2021 | 6 | 2021 |
| 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 | 4 | 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 | 2 | 2022 |
| When Z3 Met Yices W Blair, N Ghalili | 2 | 2013 |
| Developing a Dependently Typed Language with Runtime Proof Search M Lemay, C Zhang, W Blair Workshop on Type-Driven Development, 2020 | 1 | 2020 |
| 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 |
| 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 | | 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 |
| Detecting and mitigating software security vulnerabilities through secure environment programming W Blair | | 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 | | |
Manuel EgeleBoston UniversityVerified email at bu.edu
