defunctÂ
Research Scientist
New York, New York, United States
Summary
🤩
Rockstardefunct is a research scientist and independent security researcher based in New York with nine years of hands-on experience in software and security engineering. He has deep expertise in back-end development and symbolic execution, notably contributing to the well-regarded Trail of Bits Manticore project by porting it to Python 3, adding Ethereum support, and improving multi-architecture analysis for x86/x64/ARM on Linux. His work spans bug fixes, feature implementation for symbolic bytes, test and coverage improvements, and performance/stylistic optimizations that strengthen smart contract and blockchain security tooling. Comfortable operating at the intersection of low-level analysis and applied security, he combines practical engineering with research-driven problem solving. An under-the-radar strength is his ability to modernize legacy security tools to contemporary Python ecosystems while preserving and extending complex analysis capabilities.
9 years of coding experience
Github Skills (15)
program-analysis10
symbolic-execution10
python10
binarydiff10
ethereum10
smt10
z310
security10
blockchain9
emulation8
testing8
exploit7
bins7
dockers5
docker5
Programming languages (9)
Github contributions (5)
trailofbits/manticore
Jul 2018 - Aug 2018
Symbolic execution tool
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:1 release, 35 commits, 37 PRs in 27 days
Contributions summary:Defunct primarily focused on porting the `manticore` tool to Python 3, implementing core functionality and supporting various architectures (x86/x64/ARM) and the Linux platform. They added Ethereum support and optimized and stylized the code. The user addressed bugs, implemented features such as `bytesM` and symbolic bytes handling, and fixed code coverage reporting and other integration test issues. This involved modifications to several core files, including implementing security features, and contributed to the tool's analysis capabilities for smart contracts and blockchain security.
symbolic-executionbinary-analysispythonsmtethereum
algovpn/vpn
May 2017 - May 2017
Contributions:9 commits, 6 pushes, 1 branch in 16 days
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.