Eric Hennenfent

Security Engineer at Block

San Francisco Bay Area United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Eric Hennenfent is a Security Engineer with 11 years of experience building privacy-conscious systems and tooling in the San Francisco Bay Area, currently focused on Privacy Engineering at Block (Square). He brings deep applied security expertise from a five-year senior role at Trail of Bits and hands-on work improving binary-analysis tooling—contributing notable fixes and features to the widely used Manticore symbolic execution engine. Comfortable across the stack, Eric has a history of dynamic analysis and differential testing from academic and internship projects and has shipped full-stack applications earlier in his career. He pairs research-oriented rigor with practical engineering, often resolving subtle ABI, memory-model, and system-call issues that improve tooling reliability for other researchers and product teams.
code11 years of coding experience
job7 years of employment as a software developer
bookProvidence Catholic High School
bookUniversity of Illinois Urbana-Champaign
bookHigh School, High School at Illinois Mathematics and Science Academy
github-logo-circle

Github Skills (19)

python10
binarydiff10
security10
system-calls10
symbolic-execution10
assembly9
x869
emulation9
program-analysis8
blockchain8
testing8
debugging7
debug7
c117
z37

Programming languages (7)

C++JinjaRustSolidityJavaScriptHTMLPython

Github contributions (5)

github-logo-circle
trailofbits/manticore

Dec 2018 - Jan 2022

Symbolic execution tool
Role in this project:
userBackend Developer & Security Engineer
Contributions:10 releases, 59 reviews, 10 commits in 3 years 1 month
Contributions summary:Eric primarily focused on bug fixes, refactoring, and improving the codebase of the Manticore symbolic execution tool. Their contributions included resolving logging regressions, addressing memory model issues, and implementing features like the `sys_lseek` and Unicorn Preload functionality for enhanced binary analysis. They also worked on system call auditing, adding stubs, and resolving discrepancies in system call ABIs.
symbolic-executionbinary-analysispythonsmtethereum
Adds a window to Binary Ninja that explains in simple-ish English what an instruction does
Contributions:2 releases, 3 commits, 3 PRs in 1 year 5 months
ishwindowbinary-ninjaenglishinstruction
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Eric Hennenfent - Security Engineer at Block