Follow
Eric Hennenfent
Eric Hennenfent
Block Inc
Verified email at hennenfent.com - Homepage
Title
Cited by
Cited by
Year
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
4042019
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
2302018
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
192023
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
192019
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
The system can't perform the operation now. Try again later.
Articles 1–6