TY  - RPRT
TI  - Lifting Network Protocol Implementation to Precise Format Specification with Security Applications
AU  - Qingkai Shi
AU  - Junyang Shao
AU  - Yapeng Ye
AU  - Mingwei Zheng
AU  - Xiangyu Zhang
PY  - 2023
UR  - https://arxiv.org/abs/2305.11781
ID  - 2305.11781
ER  -