Manticore: A user-friendly symbolic execution framework for binaries and smart contracts M Mossberg, F Manzano, E Hennenfent, A Groce, G Grieco, J Feist, ... 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 358 | 2019 |
Skill squatting attacks on Amazon Alexa D Kumar, R Paccagnella, P Murley, E Hennenfent, J Mason, A Bates, ... 27th USENIX security symposium (USENIX Security 18), 33-47, 2018 | 221 | 2018 |
Emerging threats in internet of things voice services D Kumar, R Paccagnella, P Murley, E Hennenfent, J Mason, A Bates, ... IEEE Security & Privacy 17 (4), 18-24, 2019 | 19 | 2019 |
Efficient proofs of software exploitability for real-world processors M Green, M Hall-Andersen, E Hennenfent, G Kaptchuk, B Perez, ... Proceedings on Privacy Enhancing Technologies, 2023 | 16 | 2023 |
Efficient proofs of software exploitability for real-world processors G Kaptchuk, G Van Laer, M Green, E Hennenfent, M Hall-Andersen | | 2023 |
Efficient Proofs of Software Exploitability for Real-world Processors: Volume 2023 MN Hall-Andersen, M Green, E Hennenfent, G Kaptchuk, B Perez, ... Proceedings on Privacy Enhancing Technologies, 627-640, 2023 | | 2023 |