RUS
ENG
Full version
PEOPLE
Orlova Ekaterina Mikhaylovna
Publications in Math-Net.Ru
Coloring symbolic memory graphs to detect DRM-specific errors in Linux drivers
Proceedings of ISP RAS
,
37
:5 (2025),
67–80
©
Steklov Math. Inst. of RAS
, 2025
