Alaa Oqaily, Sudershan L. T, Yosr Jarraya, Suryadipta Majumdar, Mengyuan Zhang, Makan Pourzandi, Lingyu Wang 0001, Mourad Debbabi. NFVGuard: Verifying the Security of Multilevel Network Functions Virtualization (NFV) Stack. In 12th IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2020, Bangkok, Thailand, December 14-17, 2020. pages 33-40, IEEE, 2020. [doi]
Abstract is missing.