Nilo Redini
Senior Engineer at Qualcomm
California, United States
Summary
🤩
Rockstar🎓
Top SchoolNilo Redini is a Senior Engineer and Ph.D. candidate in Computer Science at UC Santa Barbara with 14 years of experience building tools for program analysis and firmware security. His research and industry work focus on static and dynamic techniques to discover bugs in IoT firmware, including binary debloating and symbolic memory management. At Qualcomm and through contributions to the well-known angr binary analysis platform, he has implemented core memory and address handling features that improve automated binary analysis. He has a strong research pedigree from institutions including UPenn and Università di Pisa, and a track record of turning academic ideas into practical tooling. Outside work he reverse-engineers software, organizes CTFs with the Shellphish team, and balances technical rigor with creative pursuits like guitar and skateboarding.
14 years of coding experience
1 year of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at UC Santa BarbaraBachelor's degree, Computer Engineering, 103/110, Bachelor's degree, Computer Engineering, 103/110 at Università di Pisa
English, Italian
Github Skills (8)
memory-management10
symbolic-execution10
python10
binarydiff10
angr10
z310
control-flow9
flow-control9
Programming languages (3)
Github contributions (5)
angr/angr
Sep 2013 - Feb 2020
A powerful and user-friendly binary analysis platform!
Role in this project:
Back-end Developer
Back-end DeveloperContributions:225 commits, 8 PRs, 6 pushes in 6 years 6 months
Contributions summary:Nilo's contributions primarily involved implementing and debugging core functionalities within the binary analysis platform. They added and modified classes related to symbolic memory management, including the implementation of a `MemoryMap` class and a `SimMemory` class. The user also made significant changes to the handling of memory addresses and the loading of function information, indicating a focus on improving the platform's core analysis capabilities.
pythonbinary-analysisanalysisuser-friendlyangr
badnack/secure-chat
Nov 2011 - Feb 2014
Contributions:33 commits in 2 years 3 months
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.