Efimov Vasiliy Yur'evich

Publications in Math-Net.Ru

1. A software complex for revealing malicious behavior in untrusted binary code
   
   Proceedings of ISP RAS, 31:6 (2019),  33–64
2. Automated testing of a TCG frontend for Qemu
   
   Proceedings of ISP RAS, 31:5 (2019),  7–24
3. Automation of device and machine development for QEMU
   
   Proceedings of ISP RAS, 29:6 (2017),  77–104
4. Deterministic replay specifics in case of minimal device set
   
   Proceedings of ISP RAS, 27:2 (2015),  65–92