# program synthesis

Sep 15, 2021 #program synthesis #security #embedded systems #reverse engineering

CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems