Sebastiano Mariani
Security Software Engineer at VMware
Goleta, California, United States
Summary
🤩
Rockstar🎓
Top SchoolSebastiano Mariani is a Security Software Engineer with 12 years of experience, currently focused on building secure, reliable systems at VMware from his base in Goleta, California. He brings strong academic foundations with degrees from Politecnico di Milano and a Master’s in Computer Science from UC Santa Barbara, and early research experience at the UCSB seclab. An active contributor to the well-known angr binary analysis platform, he has deep experience in static analysis and Java bytecode tooling—having improved Soot’s class loading, CFG generation, and added a string solver to enhance analysis fidelity. He combines hands-on back-end engineering with security-minded research, able to translate complex program-analysis techniques into production-grade tooling. Colleagues describe him as quietly methodical and driven by subtle correctness improvements that prevent real-world security issues.
12 years of coding experience
Master's degree, Computer Engineering, Master's degree, Computer Engineering at Politecnico di MilanoMaster's degree, Computer Science, Master's degree, Computer Science at UC Santa Barbara
Github Skills (7)
javas10
static-analysis10
soot10
python10
binarydiff10
angr10
java10
Programming languages (9)
Github contributions (5)
angr/angr
Apr 2018 - Dec 2020
A powerful and user-friendly binary analysis platform!
Role in this project:
Back-end Developer
Back-end DeveloperContributions:57 commits, 4 PRs, 20 pushes in 2 years 7 months
Contributions summary:Sebastiano primarily contributed to the `angr` project, focusing on enhancements to the Soot engine, which performs static analysis of Java bytecode. Their work includes fixing bugs related to stack frame copying, ambiguous method retrieval, and CFG generation within Soot. They also implemented features such as adding class loading mechanisms and adding a string solver to improve the analysis of Java programs.
pythonbinary-analysisanalysisuser-friendlyangr
Phat3/jupyter-notes
Dec 2015 - Mar 2017
Some notes, taken with jupyter noteboook, about my studies and my interests
Contributions:86 commits, 77 pushes, 1 branch in 1 year 3 months
jupyter
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.