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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.