userpic

Contacts

Office:
UAE, Dubai, Al Qusais 2, Mansoori Business Centre
Mezanine floor, office M8-060

Telegram: @UnboxedType

Email:
evgeniy.shishkin@gmail.com

Evgeniy Shishkin

Software Security expert with the focus on building highly reliable software systems in Web3/Blockchain space.

I provide the following services for Web3-focused companies:

  • Web3 software development, mostly for TON, Everscale and Venom blockchain networks
  • Smart-Contracts code audit, both manual and computer-aided analysis of program code
  • Formal Verification of distributed protocols, algorithms, smart-contract system models, and program code
  • System architecture audit, optionally with respect to ISO-* security standards
  • Conducting safety-focused Software Specifications for software projects
  • Software Requirements recovery
  • Bug hunting; participating in Bug Bounty programs
  • Giving talks on specific security-related topics

I am also open for project collaboration with open-minded experts in the same field.

Feel free to contact me on any of those topics.

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]

Other