Ahmad Al Zuraiqi, Des Greer. Static Analysis of IoT Firmware: Identifying Systemic Vulnerabilities with RMMIDL. In 6th IEEE/ACM International Workshop on Engineering and Cybersecurity of Critical Systems, EnCyCriS@ICSE 2025, Ottawa, ON, Canada, May 3, 2025. pages 7-14, IEEE, 2025. [doi]
Abstract is missing.