Boyan MILANOV
Research Scientist at AI Now Institute
France , United States
Summary
🤩
RockstarBoyan MILANOV is a research scientist and cybersecurity researcher with a decade of experience improving the reliability and security of analysis tools. Based in France and active on notable open-source projects, he has made substantive backend contributions to high-impact security tools like Slither (static analysis for Solidity/Vyper) and Manticore (symbolic execution), focusing on refactors, bug fixes, and SMT/constraint improvements. His work emphasizes code quality—linting, targeted exception handling, f-string modernization, and test updates—resulting in more readable, robust, and auditable codebases. Comfortable at the intersection of security engineering and tooling, he brings pragmatic fixes that reduce vulnerabilities and improve solver accuracy, a profile that combines deep low-level reasoning with disciplined software craftsmanship.
10 years of coding experience
Github Skills (15)
program-analysis10
symbolic-execution10
static-analysis10
solidity10
vyper10
f-string10
python10
binarydiff10
smt10
security10
z39
testing8
ethereum7
blockchain7
emulation7
Programming languages (5)
Github contributions (5)
trailofbits/manticore
Oct 2019 - Jul 2022
Symbolic execution tool
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:36 reviews, 26 commits, 21 PRs in 2 years 9 months
Contributions summary:Boyan primarily focused on improving the codebase's robustness and security by removing generic exceptions and implementing more specific exception types. They contributed to refactoring core components of the symbolic execution tool, specifically within the SMT solver and constraint management modules. Additionally, the user addressed vulnerabilities and improved code quality by introducing SMT simplifications for bitvector operations and optimizing forking logic. Their contributions enhanced the tool's stability and accuracy.
symbolic-executionbinary-analysispythonsmtethereum
crytic/slither
Mar 2022 - Aug 2022
Static Analyzer for Solidity and Vyper
Role in this project:Back-end Developer
Back-end DeveloperContributions:1 review, 15 commits, 6 PRs in 5 months
Contributions summary:Boyan primarily contributed to improving the codebase of the `slither` static analyzer. Their work involved refactoring code to use f-strings for string formatting, enhancing the codebase's consistency and readability. Furthermore, the user implemented linting improvements and bug fixes, and updated tests to improve the overall code quality and ensure correct functionality of the analyzer.
static-analyzerethereumsoliditysmart-contractsanalyzer
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.