Security Stuff

Recent

Working on a prototype for usig LLMs for automatic exploit generation in EVM:

• quimera: data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry.

Worked on some of the most influential smart contract fuzzers for EVM:

• Led the development of echidna.
• Provided assistance on the medusa development.

Also have some experience with symbolic execution, adding small features and fixing bugs in Manticore.

Old

• Led the development of QuickFuzz
• Created and developed VDiscover.

Fun Stuff

I’m a detective-story geek who created mystery-o-matic.com, a website where you can solve a daily murder mystery in 5 minutes. All the code and website are open-source!

Retro gaming

I’m part of the ScummVM team, volunteering as the main developer for the reimplementation of the following engines/games:

Private engine

Point and click game engine developed by Brooklyn Multimedia for a single game:

• Private Eye (1996)

Hypno engine

Game engine developed by Hypnotix used for point and click and rail shooters:

• Wetlands (1995)
• Marvel Comics Spider-Man: The Sinister Six (1996)
• Soldier Boyz (1997)

Freescape engine

One of the first 3D game engines developed by Incentive Software for a number of games:

• Driller/Space Station Oblivion (1987)
• Dark Side (1988)
• Total Eclipse (1988) / Total Eclipse 2 (1989)
• Castle Master (1990) / Castle Master 2 (1990)
• 3D Construction Kit / Virtual Reality Kit (1991)