Gustavo Grieco

Expert
@gustavo-grieco
gustavo-grieco.github.io/

quimera. Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry

95

abdk-math-64.64-verification. Formal verification effort for proving the ABDK Math 64.64 library properties using Echidna/hevm/Certora

3

echidna-xp. Experimental fork for Echidna, an Ethereum smart contract fuzzer

2

hevm. symbolic EVM evaluator

1
4
Apply