Viktor Radchenko

According to our database, Viktor Radchenko authored at least 6 papers in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

Algebraic Approach to Verification and Testing of Distributed Applications.

Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maxim Orlovsky, Andrey Sobol

Proceedings of the 2019 International Electronics Communication Conference, 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

Proceedings of the 15th International Conference on ICT in Education, 2019

Formalization and Algebraic Modeling of Tokenomics Projects.

Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskiy, Yulia Tarasich

Proceedings of the 15th International Conference on ICT in Education, 2019

Formal Verification of Token Economy Models.

O. Letychevsky, Volodymyr Peschanenko, Viktor Radchenko, M. Poltoratzkyi, P. Kovalenko, S. Mogylko

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2019

Algebraic Patterns of Vulnerabilities in Binary Code.

Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Yaroslav Hryniuk, Viktor Yakovlev

Proceedings of the 10th International Conference on Dependable Systems, 2019