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
∙
08/30/2022
System Resilience through Health Monitoring and Reconfiguration
We demonstrate an end-to-end framework to improve the resilience of man-...
research
∙
07/09/2021
