If you are a scammer, Send email using this address.

Independent security and formal methods researcher

HOME
PROTOCOLS MADE FUN
RESEARCH
TALKS AND LECTURES
CURRICULUM VITAE
TAGS
CATEGORIES

Home Tags security

Tag

security 2

Specification and Formal Verification of the Aztec Governance Protocol Dec 9, 2025
Talk at DeFi Security Summit 2024 Nov 9, 2024

Recently Updated

Research & development as a service
Specification and Formal Verification of the Aztec Governance Protocol
New developments in Solarkraft - Stellar Community Fund 29
ChonkyBFT: Consensus Protocol of ZKsync (paper)
Exploring Automatic Model-Checking of the Ethereum specification (tech. report)

Trending Tags

verification specification TLA+ quint research model checking apalache simulation conference consensus

© 2025 Igor Konnov. Some rights reserved. | Privacy Policy – Datenschutz | Impressum

Using the Chirpy theme for Jekyll.

Trending Tags

verification specification TLA+ quint research model checking apalache simulation conference consensus

A new version of content is available.