Igor Konnov

Igor Konnov develops formal verification tools for distributed protocols.

4 talks by Igor Konnov

• Formal Verification in the Ethereum Protocol: Current Status and Future Directions | Devcon SEA
• How model checking can help build trust in the design of distributed protocols
• DeFi Security Summit 2024: Day 2, 9 November
• Specification and Model-checking of the ZKsync Governance Protocol