RIBDetector: an RFC-guided Inconsistency Bug Detecting Approach for Protocol Implementations-Reference-Cited by-同舟云学术

RIBDetector: an RFC-guided Inconsistency Bug Detecting Approach for Protocol Implementations

Published:2022-03 Issue: Volume: Page:
ISSN:
Container-title:2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
language:
Short-container-title:

Author:

Chen Jingting¹,Li Feng¹,Xu Mingjie¹,Zhou Jianhua¹,Huo Wei¹

Affiliation:

1. Institute of Information Engineering, Chinese Academy of Sciences,China

Funder

Chinese Academy of Sciences

Publisher

IEEE

Link

Reference43 articles.

1. Protocol state fuzzing of TLS implementations;de ruiter;24th USENIX Security Symposium (USENIX Security 15),0

4. Analysis of DTLS implementations using protocol state fuzzing;fiterau-brostean;29th USENIX Security Symposium (USENIX Security 20),0

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automatic Extraction of Petri Nets from RFC Protocol Texts;2024 27th International Conference on Computer Supported Cooperative Work in Design (CSCWD);2024-05-08

3. EBugDec: Detecting Inconsistency Bugs caused by RFC Evolution in Protocol Implementations;Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses;2023-10-16