Michal Převrátil
Michal is a contributor to the Ethereum Yellow Paper and a graduate of Computer Security at CTU Prague. He works on open-source security tooling for Solidity development, including fuzzing and static analysis. Michal is an auditor with a track record of critical on-chain vulnerabilities detected.
Session
Manually Guided Fuzzing represents a paradigm shift in smart contract security testing, combining the precision of white-box approaches with the efficiency of targeted test flows. Unlike traditional fuzzing techniques that rely on randomness or predefined properties, this innovative approach empowers developers and auditors to direct the fuzzing process toward potential vulnerabilities with surgical precision, drastically improving both testing efficiency and vulnerability detection in complex DeFi systems.