EBugDec: Detecting Inconsistency Bugs caused by RFC Evolution in Protocol Implementations

Jingting Chen, Feng Li, Qingfang Chen, Ping Li, Lili Xu, Wei Huo. EBugDec: Detecting Inconsistency Bugs caused by RFC Evolution in Protocol Implementations. In Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2023, Hong Kong, China, October 16-18, 2023. pages 412-425, ACM, 2023. [doi]

@inproceedings{ChenLCLXH23,
  title = {EBugDec: Detecting Inconsistency Bugs caused by RFC Evolution in Protocol Implementations},
  author = {Jingting Chen and Feng Li and Qingfang Chen and Ping Li and Lili Xu and Wei Huo},
  year = {2023},
  doi = {10.1145/3607199.3607222},
  url = {https://doi.org/10.1145/3607199.3607222},
  researchr = {https://researchr.org/publication/ChenLCLXH23},
  cites = {0},
  citedby = {0},
  pages = {412-425},
  booktitle = {Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2023, Hong Kong, China, October 16-18, 2023},
  publisher = {ACM},
}