Lifting Network Protocol Implementation to Precise Format Specification with Security Applications.

Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang

Browse the full CCS paper archive.