An Approach to Formal Verification of Programs in Learning C Programming. - Kirill Kulyukin; Dmitrii Litovkin (NiDS, 2024)

Evaluating Resource Efficiency and Economic Benefits of Blockchain Smart Contracts Compared to Cloud Platforms. - Denis Sinkevich; Anton Anikin 001; Alexey Chibrikov; Dmitrii Litovkin (NiDS, 2024)