Eric Hennenfent

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 6

Top Topics

Interactive Voice Response

Software Package

Symbolic Execution

Parallel Architectures

Top Venues

USENIX Security Symposium

IACR Cryptol. ePrint Arch.

Publications

Matthew Green, Mathias Hall-Andersen, Eric Hennenfent, Gabriel Kaptchuk, Benjamin Perez, Gijs Van Laer
Efficient Proofs of Software Exploitability for Real-world Processors. Proc. Priv. Enhancing Technol. 2023 (1) (2023)
Matthew Green, Mathias Hall-Andersen, Eric Hennenfent, Gabriel Kaptchuk, Benjamin Perez, Gijs Van Laer
Efficient Proofs of Software Exploitability for Real-world Processors. IACR Cryptol. ePrint Arch. 2022 (2022)
Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. ASE (2019)
Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. CoRR (2019)
Deepak Kumar, Riccardo Paccagnella, Paul Murley, Eric Hennenfent, Joshua Mason, Adam Bates, Michael Bailey
Emerging Threats in Internet of Things Voice Services. IEEE Secur. Priv. 17 (4) (2019)
Deepak Kumar, Riccardo Paccagnella, Paul Murley, Eric Hennenfent, Joshua Mason, Adam Bates, Michael Bailey
Skill Squatting Attacks on Amazon Alexa. USENIX Security Symposium (2018)