Eric Hennenfent

According to our database, Eric Hennenfent authored at least 4 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Efficient Proofs of Software Exploitability for Real-world Processors.

Matthew Green, Mathias Hall-Andersen, Eric Hennenfent, Gabriel Kaptchuk, Benjamin Perez, Gijs Van Laer

IACR Cryptol. ePrint Arch., 2022

2019

Emerging Threats in Internet of Things Voice Services.

Deepak Kumar, Riccardo Paccagnella, Paul Murley, Eric Hennenfent, Joshua Mason, Adam Bates, Michael D. Bailey

IEEE Secur. Priv., 2019

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts.

Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

Skill Squatting Attacks on Amazon Alexa.

Deepak Kumar, Riccardo Paccagnella, Paul Murley, Eric Hennenfent, Joshua Mason, Adam Bates, Michael D. Bailey

Proceedings of the 27th USENIX Security Symposium, 2018