@inproceedings{paper-netlifter,
  title = {{Lifting Network Protocol Implementation to Precise Format Specification with Security Applications}},
  author = {{Qingkai Shi} and {Junyang Shao} and {Yapeng Ye} and {Mingwei Zheng} and {Xiangyu Zhang}},
  year = {2023},
  url = {https://dl.acm.org/doi/10.1145/3576915.3616614},
  booktitle = {Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security},
  pages = {1287--1301},
  publisher = {ACM},
  doi = {10.1145/3576915.3616614},
  eprint = {2305.11781},
  archivePrefix = {arXiv},
  month = nov
}