This is a brief for the research paper “Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks”, published in the technical track of the International Conference on Automated Software Engineering (ASE 2023). This work was led by Paschal Amusuo. The full pap...