Scholar
Igor Konnov
Google Scholar ID: K6OSiNYAAAAJ
Independent Security and Formal Methods Researcher
Citations & Impact
Citations
792
H-index
15
i10-index
21
Publications
20
Co-authors
23
list available
Publications
Resume
Academic Achievements
- ChonkyBFT: Consensus Protocol of ZKsync (paper)
- Exploring Automatic Model-Checking of the Ethereum specification (tech. report)
- New developments in Solarkraft - Stellar Community Fund 29
- Talks at DevCon 2024
- Talk at DeFi Security Summit 2024
- Invited talk at VSTTE 2024: Pragmatic bounded model checking for TLA+ with Apalache
- Specification and Model-checking of the ZKsync Governance Protocol
Research Experience
- ChonkyBFT: Consensus Protocol of ZKsync (paper)
- Exploring Automatic Model-Checking of the Ethereum specification (tech. report)
- New developments in Solarkraft - Stellar Community Fund 29
- Talks at DevCon 2024
- Talk at DeFi Security Summit 2024
- Invited talk at VSTTE 2024: Pragmatic bounded model checking for TLA+ with Apalache
- Specification and Model-checking of the ZKsync Governance Protocol
- Tutorial at TLA+ Community Meeting 2024
Background
- Independent security and formal methods researcher. After 20+ years in academic and industrial research, I went independent in 2024. I now take on R&D projects as a contractor and secure Web3 grants with partners.
