Yeqi Fu, Yongzhi Liu, Qian Zhang, Zhou Yang, Xiarun Chen, Chenglin Xie, Weiping Wen. Finding Missing Security Operation Bugs via Program Slicing and Differential Check. In Ding Wang 0002, Moti Yung, Zheli Liu, Xiaofeng Chen 0001, editors, Information and Communications Security - 25th International Conference, ICICS 2023, Tianjin, China, November 18-20, 2023, Proceedings. Volume 14252 of Lecture Notes in Computer Science, pages 702-718, Springer, 2023. [doi]
Abstract is missing.