Evgeniy’s expertise and interest lie in software security and building highly reliable software systems in the blockchain space.
Evgeniy has experience in smart-contract code auditing (both manual and computer-aided analysis), and formal verification of protocols and algorithms.
His previous experience also include system architecture audits with respect to ISO security standards, and conducting safety-focused software specifications for software projects.
Previously, Evgeniy also has experience in Web3 software development, mostly for TON, Everscale and Venom blockchain.
At Veridise, Evgeniy area of focus is smart contract audits.
Previous work
Academic work
- Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm, Evgeniy Shishkin , ACM ICFP 2017 Erlang Workshop, Oxford, UK, 2017
- Debugging Smart-Contract’s Business Logic Using Symbolic Model-Checking, Evgeniy Shishkin Programming and Computer Software Journal (2019): 590-599