Exposing Broken Device-Cloud Access Control By Modeling Message Construction Semantics

This document outlines the core concepts and preliminary implementation of FirmRES (due to additional considerations, we are unable to open-source the final version), which mainly includes the conceptual implementation of cloud program identification and message reconstruction. We hope that by sharing our basic framework and core algorithms, we can provide some ideas and inspiration.