CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems.
Ali ShokriAlexandre PerezSouma ChowdhuryChen ZengGerald KaloorIon MateiPeter-Patel SchneiderAkshith GunasekaranShantanu RanePublished in: CoRR (2023)