Alaa Oqaily, Yosr Jarraya, Lingyu Wang 0001, Makan Pourzandi, Suryadipta Majumdar. MLFM: Machine Learning Meets Formal Method for Faster Identification of Security Breaches in Network Functions Virtualization (NFV). In Vijayalakshmi Atluri, Roberto Di Pietro, Christian Damsgaard Jensen, Weizhi Meng 0001, editors, Computer Security - ESORICS 2022 - 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, Proceedings, Part III. Volume 13556 of Lecture Notes in Computer Science, pages 466-489, Springer, 2022. [doi]
Abstract is missing.