| 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 | 46 | 2020 |
| 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 | 20 | 2023 |
| Automated Synthesis of Reference Policies for Runtime Microservice Protection F Araujo, W Blair, TP Taylor US Patent App. 17/390,881, 2023 | 15 | 2023 |
| 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 | 9 | 2021 |
| 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 |
| 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 | 7 | 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 | 6 | 2022 |
| ThreadLock: Native Principal Isolation Through Memory Protection Keys W Blair, W Robertson, M Egele ACM Asia Conference on Computer and Communications Security (AsiaCCS), 2023 | 4 | 2023 |
| When Z3 Met Yices W Blair, N Ghalili | 2 | 2013 |
| Method for control flow isolation with protection keys and indirect branch tracking M Neugschwandtner, W Blair US Patent 11,977,889, 2024 | 1 | 2024 |
| Guided micro-fuzzing through hybrid program analysis F Araujo, W Blair, S Das, J Jang US Patent 11,822,673, 2023 | 1 | 2023 |
| Developing a Dependently Typed Language with Runtime Proof Search M Lemay, C Zhang, W Blair Workshop on Type-Driven Development, 2020 | 1 | 2020 |
| Binsweep: Reliably Restricting Untrusted Instruction Streams with Static Binary Analysis and Control-Flow Integrity M Oldani, W Blair, L Stadler, Z Šlajchrt, M Neugschwandtner Proceedings of the 2024 on Cloud Computing Security Workshop, 53-65, 2024 | | 2024 |
| Method for control flow isolation with protection keys and indirect branch tracking M Neugschwandtner, W Blair US Patent App. 18/613,319, 2024 | | 2024 |
| 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), 4554-4572, 2024 | | 2024 |
| 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 |
| Detecting and mitigating software security vulnerabilities through secure environment programming W Blair | | 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 |
Manuel EgeleBoston UniversityVerified email at bu.edu
