FIRMWARE 2023 Forming Faster Firmware Fuzzers https://www.usenix.org/conference/usenixsecurity23/presentation/seidel FirmSolo: Enabling dynamic analysis of binary Linux-based IoT kernel modules https://www.usenix.org/conference/usenixsecurity23/presentation/angelakopoulos 2024 Firmware update vulnerabilities https://www.usenix.org/conference/usenixsecurity24/presentation/wu-yuhao Problem: Firmware updating verification procedures may spawn new vulnerabilities Solution: ChkUp