Petrykin Anton Alekseevich

Publications in Math-Net.Ru

1. Standalone verification of IOMMU with virtualization supporting
   
   Proceedings of ISP RAS, 31:3 (2019),  77–84