The Parsley data format definition language P Mundkur, L Briesemeister, N Shankar, P Anantharaman, S Ali, Z Lucas, ... 2020 IEEE Security and Privacy Workshops (SPW), 300-307, 2020 | 10 | 2020 |
Mismorphism: The heart of the weird machine P Anantharaman, V Kothari, JP Brady, IR Jenkins, S Ali, MC Millian, ... Security Protocols XXVII: 27th International Workshop, Cambridge, UK, April …, 2020 | 9 | 2020 |
What We Have Here Is Failure to Validate: Summer of LangSec S Ali, P Anantharaman, Z Lucas, SW Smith IEEE Security & Privacy, 0-0, 2021 | 6 | 2021 |
Armor Within: Defending Against Vulnerabilities in Third-Party Libraries S Ali, P Anantharaman, SW Smith 2020 IEEE Security and Privacy Workshops (SPW), 291-299, 2020 | 3 | 2020 |
Human-computability boundaries V Kothari, P Anantharaman, IR Jenkins, MC Millian, JP Brady, S Ali, ... Security Protocols XXVII: 27th International Workshop, Cambridge, UK, April …, 2020 | 2 | 2020 |
A Survey of Parser Differential Anti-Patterns S Ali, SW Smith 2023 IEEE Security and Privacy Workshops (SPW), 105-116, 2023 | 1 | 2023 |
Weird Machines in Package Managers: A Case Study of Input Language Complexity and Emergent Execution in Software Systems S Ali, ME Locasto, S Smith 2024 IEEE Security and Privacy Workshops (SPW), 169-179, 2024 | | 2024 |
A Secure Parser Generation Framework for IoT Protocols on Microcontrollers S Ali, S Smith 2022 IEEE Security and Privacy Workshops (SPW), 124-135, 2022 | | 2022 |
17 What We Have Here Is Failure to Validate: Summer of LangSec S Ali, P Anantharaman, Z Lucas, SW Smith, DM Nicol, A Rahman, ... | | 2021 |
Mismorphism: The Heart of the Weird Machine J Blythe, V Kothari, JP Brady, IR Jenkins, S Ali, M Millian, R Koppel, ... | | 2019 |
WORK IN PROGRESS: A VERIFIED PARSER GENERATOR FOR MICROCONTROLLER APPLICATIONS S Ali, S Smith | | |