Följ
Eric Hennenfent
Eric Hennenfent
Block Inc
Verifierad e-postadress på hennenfent.com - Startsida
Titel
Citeras av
Citeras av
År
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
4292019
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
2322018
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
202023
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
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. arXiv 2019
M Mossberg, F Manzano, E Hennenfent, A Groce, G Grieco, J Feist, ...
arXiv preprint arXiv:1907.03890, 0
5
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–7