FIRMWARE 2024 Firmware update vulnerabilities https://www.usenix.org/conference/usenixsecurity24/presentation/wu-yuhao Problem: Firmware updating verification procedures may spawn new vulnerabilities Solution: ChkUp Resolve the program execution path = cross-language inter-process control flow analysis + program slicing Microcontroller Unit-based IoT devices' security https://www.usenix.org/conference/usenixsecurity24/presentation/nino Problem: The security problem of MCU-bas