Petrenko Alexey Sergeevich

Publications in 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
   
   Computing, Telecommunication and Control, 18:2 (2025),  56–73
2. Invasive approach to verification of functional and structural specifications implemented in custom integrated circuits
   
   Informatics and Automation, 24:2 (2025),  526–555