Петренко Алексей Сергеевич

Публикации в базе данных Math-Net.Ru

1. Concept of ensuring the resilience of operation of national digital platforms and blockchain ecosystems under the new quantum threat to security
   
   Информатика, телекоммуникации и управление, 18:2 (2025),  56–73
2. Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах
   
   Информатика и автоматизация, 24:2 (2025),  526–555