Vasilyev Anton Aleksandrovich

Publications in Math-Net.Ru

1. Coloring symbolic memory graphs to detect DRM-specific errors in Linux drivers
   
   Proceedings of ISP RAS, 37:5 (2025),  67–80
2. Predicate extension of symbolic memory graphs for analysis of memory safety correctness
   
   Proceedings of ISP RAS, 31:6 (2019),  7–20
3. Static verification for memory safety of Linux kernel drivers
   
   Proceedings of ISP RAS, 30:6 (2018),  143–160