Lev Livnev

Lev Livnev has worked as a formal verification researcher at dapp.org and as a founding partner at Symbolic Capital Partners.

2 talks by Lev Livnev

• How 2 DeFi Attacks Made Almost $1 Million in Profit - Ep.113
• Formally Verified EVM Golf and Reverse Bug Bounties by Martin Lundfall, Lev Livnev (Devcon5)