TY  - RPRT
TI  - CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
AU  - Ali Shokri
AU  - Alexandre Perez
AU  - Souma Chowdhury
AU  - Chen Zeng
AU  - Gerald Kaloor
AU  - Ion Matei
AU  - Peter-Patel Schneider
AU  - Akshith Gunasekaran
AU  - Shantanu Rane
PY  - 2023
UR  - https://arxiv.org/abs/2308.00250
ID  - 2308.00250
ER  -