research
∙
08/01/2023
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
We introduce a novel approach to automatically synthesize a mathematical...
share
research
∙
03/16/2019
