Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. - Qingkai Shi; Junyang Shao; Yapeng Ye; Mingwei Zheng; Xiangyu Zhang 001 (CCS, 2023)