
Martin Marchev
@martinmarchev
Security Researcher @CertoraInc
ID: 279687067
https://marchev.xyz 09-04-2011 20:07:15
3,3K Tweet
3,3K Followers
1,1K Following

This post of Martin Marchev reminded me of a quote: "For extreme outputs, extreme inputs are required." We all dream of making $1M a year, but most don't realise the sacrifice required or how hard it is. I'm working 40h web2, 30h auditing, 10h writing, 10h training for


I’ve been asked this so many times that I decided to turn it into an EthCC - Ethereum Community Conference talk See you there! ☀️






Smart contract bug-finding tools all have shortcomings. Fuzzing misses input-specific bugs. Formal verification is powerful but slow and complex. At EthCC - Ethereum Community Conference, I’ll introduce Bounded Model Checking, an approach that finds realistic bugs by systematically exploring execution paths.








SR-Boat Cannes edition A full day of touching water and finally getting some sun with Amy heavyw8t Martin Marchev matta ⚡🪷 n4nika Sharon Mario Poneder another anon BΞrnd P.M Gianfranco 💙 OpenZeppelin HickupHH3 kamensec Rotciv Vitali Gorgut 🥇 weiss.eth



