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
2632019
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
2042018
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
M Green, M Hall-Andersen, E Hennenfent, G Kaptchuk, B Perez, ...
Cryptology ePrint Archive, 2022
112022
Efficient proofs of software exploitability for real-world processors
G Kaptchuk, G Van Laer, M Green, E Hennenfent, M Hall-Andersen
2023
The system can't perform the operation now. Try again later.
Articles 1–5