Zhongjie Wang, Shitong Zhu, Keyu Man, Pengxiong Zhu, Yu Hao, Zhiyun Qian, Srikanth V. Krishnamurthy, Tom La Porta, Michael J. De Lucia: Themis: Ambiguity-Aware Network Intrusion Detection based on Symbolic Model Comparison. MTD@CCS 2021: 31-32