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
3332019
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
2172018
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, ...
Proceedings on Privacy Enhancing Technologies, 2023
122023
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–6