Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang 0001. Extracting Protocol Format as State Machine via Controlled Static Loop Analysis. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 7019-7036, USENIX Association, 2023. [doi]
Abstract is missing.