*Rats!* (1994) source code reconstruction using Qwen 3.8 g github.com 3 galapago 2 months ago 0 comments
Adventures in Automated Smart Contract Testing: A Spark Is Born g gustavo-grieco.github.io 2 galapago 4 months ago 0 comments
Show HN: MCP support to guide smart contract fuzzing campaigns in Echidna g github.com 1 galapago 10 months ago 1 comments
Echidna 2.3 released with symbolic execution, Foundry integration and more g github.com 2 galapago 10 months ago 0 comments
Who Has Security? A list of blockchain companies with in-house security w whohassecurity.com 1 galapago 11 months ago 0 comments
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm g github.com 2 galapago 1 year ago 0 comments
Echidna Enters a New Era of Symbolic Execution g gustavo-grieco.github.io 23 galapago 1 year ago 6 comments
Quimera: feedback-driven exploit generation for smart contracts using LLMs g gustavo-grieco.github.io 2 galapago 1 year ago 0 comments
Show HN: Quimera, a data-driven exploiter for Ethereum contracts using LLMs g github.com 3 galapago 1 year ago 0 comments