|
Evgeniy Shishkin
Software Security expert with the focus on building highly reliable software systems in
Web3/Blockchain space.
Currently, I work as a Security Analyst at Veridise.
Latest Projects
-
Lighthouse: Modern Programming System for TON-inspired blockchains (2023)
Reinventing the way smart-contracts are designed and developed.
Venom Hackathon winner (2nd place in Tools section)
[Light compiler ]
[Whitepaper ]
-
Everscale Bug Bounty Program
Hunting for bugs in the EverScale blockchain node, 2022
[
Description ]
[
Bug #1 (Tuple print) ]
[Bug #2 (Stack serialization) ]
[Bug #3 (Infinite recursion) ]
-
Everscale Verification Framework
Dafny-based tool for proving TON smart-contracts correct.
Everscale ForMet Grant Program, 2022
[Repository]
-
Flex Trading System Functional Specification Update
Authors: Evgeniy Shishkin, Evgeniy Novikov
Everscale ForMet Grant Program, 2022
[Report]
-
Transaction Executor Technical Specification
Everscale ForMet SG Contest, 2022
[Specification]
-
Flex Trading System Formal Verification Report
Everscale ForMet SG Contest, 2021
[Report] [Presentation]
-
Dune Merger Bridge Code Audit Report
Everscale ForMet SG Contest, 2021
[Report]
-
Flex Trading System Functional Specification
Authors: Evgeniy Shishkin, Sergey Turin, Pavel Ivanov
Everscale ForMet SG Contest, 2021
[Report]
Publications
-
SafeComp: Protocol For Certifying Cloud Computations Integrity
Evgeniy Shishkin, Evgeniy Kislitsyn
Preprint article, 2020
[Preprint]
-
Protocol For Certifying Cloud Computations Integrity (in Russian)
Evgeniy Shishkin, Evgeniy Kislitsyn
Trudy ISP RAN/Proc. ISP RAS, vol. 32, issue 4, 2020
-
Debugging Smart-Contract's Business Logic Using Symbolic Model-Checking
Evgeniy Shishkin
Programming and Computer Software Journal (2019): 590-599.
[Preprint]
-
Verifying Functional Requirements of Smart Contracts Using Symbolic Model Checking
(in Russian)
Evgeniy Shishkin
Trudy ISP RAN/Proc. ISP RAS, vol. 30, issue 5, 2018, pp. 265-288
[Preprint]
-
Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm,
Evgeniy Shishkin
ACM ICFP 2017 Erlang Workshop, Oxford, UK, 2017
[
Preprint ]
[ Presentation]
Talks
-
Towards increasing reliability of smart-contracts using symbolic model-checking
Software Development and Analisys Seminar
Institute for System Programming of the RAS, Moscow, Russia, 2020
[Presentation]
[Video]
-
A formal specification language for smart-contracts (in Russian),
Mathematical Problems of Computer Science Seminar
Moscow State University, Moscow, Russia, 2019
[Presentation]
-
Automatic Certification of Smart-Contracts Business Logic (in Russian)
Evgeniy Shishkin
RusCrypto, Solnechnogorsk, Moscow region, Russia, 2019
[Presentation]
-
Verifying functional requirements of Solidity smart-contracts using symbolic model-checking (in Russian),
Mathematical Problems of Computer Science Seminar
Moscow State University, Moscow, Russia, 2018
[Presentation]
[Video
Part 1
Part 2
Part 3]
-
A technology for Smart Contracts Formal Verification (in Russian),
Masterchain Summer School
Higher School of Economics, Moscow, Russia, 2018
[Presentation]
-
Towards Constructing a Formal Verification Tool for Smart Contracts (in Russian),
Software Development and Analisys Seminar
Institute for System Programming of the RAS, Moscow, Russia, 2018
[Video]
[Presentation]
-
Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm
(in Russian)
Evgeniy Shishkin
OSDay 2018, Moscow, Russia, 2018
[Video]
[Presentation]
-
Towards building an environment for constructing reliable Smart Contracts (in Russian)
Evgeniy Shishkin
RusCrypto, Solnechnogorsk, Moscow region, Russia, 2018
[Presentation]
-
SafeScript - Domain specific language for cluster emergency shutdown logic (in Russian)
Evgeniy Shishkin
Parallel Computing Technologies Conference, Chelyabinsk, Russia, 2013
[Presentation]
|