Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu, Aravind Machiry, James C. Davis 0001. Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023. pages 926-938, IEEE, 2023. [doi]