@misc{indiciaefec531fa5aa2,
  title = {CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems},
  author = {Ali Shokri and Alexandre Perez and Souma Chowdhury and Chen Zeng and Gerald Kaloor and Ion Matei and Peter-Patel Schneider and Akshith Gunasekaran and Shantanu Rane},
  year = {2023},
  url = {https://arxiv.org/abs/2308.00250},
  note = {Source identifier: 2308.00250}
}