Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io)
23 points by galapago 5 months ago | past | 6 comments
Quimera: feedback-driven exploit generation for smart contracts using LLMs (gustavo-grieco.github.io)
2 points by galapago 7 months ago | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: