Volume: Vol-3860 iFM-Phd 2024 | Year: 2024

Paper: | paper_5 |


Towards Logical Specification and Checking of Evasive Malware

30-37 PDF