About Igor Konnov

Changing the way of how people specify and verify distributed protocols in blockchains. Independent security and formal methods researcher.

Lists

Timeline

konnov has no activity yet