Muhammad Abdul Basit Ur Rahim, Qi Duan, Ehab Al-Shaer. A formal verification of mutation-based moving target defense. In Xenofon D. Koutsoukos, Alvaro A. Cárdenas, Ehab Al-Shaer, editors, Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2019, Nashville, TN, USA, April 1-3, 2019. ACM, 2019. [doi]
Abstract is missing.