Gustavo Grieco: blockchain security researcher
🏠 Home
💻 Software
📚 Publications
🛡️ Audits
🖊️ Blog
03 Jul, 2026
Adventures in Automated Smart Contract Testing: A Spark Is Born
19 Aug, 2025
Echidna Enters a New Era of Symbolic Execution
03 Jul, 2025
Introducing Quimera: feedback-driven exploit generation for Ethereum smart contracts using LLMs
#Echidna
#Exploit-Generation
#Formal-Verification
#Foundry
#Fuzzing
#Hevm
#LLM
#Quimera
#Symbolic-Execution