I am a Senior Software Engineer at Trail of Bits, where I worked on the DARPA’s AI Cyber Challenge (AIxCC), helping design and build Buttercup, our autonomous Cyber Reasoning System that placed 2nd in the finals ($3M award).

I’m passionate about applying research, automation, and AI to advance software security. My background includes the DARPA Cyber Grand Challenge (UC Berkeley, Prof. Dawn Song) and years contributing to open-source security tools like radare2, rizin, and sigstore — I’m a core contributor to Rizin.

I got my M.Sc degree in Computer Science in February 2017, at Università degli Studi di Milano, Italy, with a final grade of 110/110 cum laude. My thesis was about Blazar, a system to automatically disassemble, analyze and instrument CGC binaries by using the LLVM Intermediate Representation.

I got my B.Sc degree in Computer Science in October 2013, at Università degli Studi di Milano, Italy, with a final grade of 110/110 cum Laude. My B.Sc thesis is titled “Studio e implementazione di un integrity-checker hardware-assisted” and it can be found here.

Projects

• Buttercup: https://github.com/trailofbits/buttercup
• Rizin: https://rizin.re

Contact me

Email: rschirone91 at gmail.com

Twitter: @RickySkiro

LinkedIn: Riccardo Schirone

GitHub: ret2libc