Viktor Radchenko

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 6

Top Topics

Affine Invariant

Formal Verification

Top Venues

ICTERI Workshops

ISC Int. J. Inf. Secur.

Publications

Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Yaroslav Hryniuk, Viktor Yakovlev
Algebraic Patterns of Vulnerabilities in Binary Code. DESSERT (2019)
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maxim Orlovsky, Andrey Sobol
Algebraic Approach to Verification and Testing of Distributed Applications. IECC (2019)
Andrey Sobol, Volodymyr G. Skobelev, Julian Konchunas, Viktor Radchenko, Sabina Sachtachtinskagia, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maxim Orlovsky
Random Re-Ordering of the Parties in the Consensus Protocol. ICTERI Workshops (2019)
O. Letychevsky, Volodymyr Peschanenko, Viktor Radchenko, M. Poltoratzkyi, P. Kovalenko, S. Mogylko
Formal Verification of Token Economy Models. IEEE ICBC (2019)
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskiy, Yulia Tarasich
Formalization and Algebraic Modeling of Tokenomics Projects. ICTERI Workshops (2019)
Oleksandr A. Letychevskyi, Yaroslav Hryniuk, Viktor Yakovlev, Volodymyr Peschanenko, Viktor Radchenko
Algebraic Matching of Vulnerabilities in a Low-Level Code. ISC Int. J. Inf. Secur. 11 (3) (2019)