
This is the source code and Docker environment for paper 'FirmCred: Detecting Authentication Bypass Vulnerabilities in Firmware from Credential Initialization Perspective', accepted in CCS 26' cycle 1. The description for this project is in 'README.md'. If you want to get a deep understanding of the artifact, please read this. The reproduction procedure is located in 'ae-instructions.md'. You may refer to this for running the code.
