Algebraic Patterns of Vulnerabilities in Binary Code. - Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Viktor Radchenko; Yaroslav Hryniuk; Viktor Yakovlev (DESSERT, 2019)

Formal Verification of Token Economy Models. - O. Letychevsky; Volodymyr Peschanenko; Viktor Radchenko; M. Poltoratzkyi; P. Kovalenko; S. Mogylko (IEEE ICBC, 2019)

Formalization and Algebraic Modeling of Tokenomics Projects. - Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Viktor Radchenko; Maksym Poltoratskiy; Yulia Tarasich (ICTERI Workshops, 2019)

Random Re-Ordering of the Parties in the Consensus Protocol. - Andrey Sobol; Volodymyr G. Skobelev; Julian Konchunas; Viktor Radchenko; Sabina Sachtachtinskagia; Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Maxim Orlovsky (ICTERI Workshops, 2019)

Algebraic Approach to Verification and Testing of Distributed Applications. - Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Viktor Radchenko; Maxim Orlovsky; Andrey Sobol (IECC, 2019)

Algebraic Matching of Vulnerabilities in a Low-Level Code. - Oleksandr A. Letychevskyi; Yaroslav Hryniuk; Viktor Yakovlev; Volodymyr Peschanenko; Viktor Radchenko (ISC Int. J. Inf. Secur., 2019)