Program Synthesis for Embedded Systems Binaries

Created: September 15, 2021
Updated: June 12, 2023
Tags: research

I interned at the Intelligent Systems Laboratory at PARC during the Summer of 2021. The problem, at the high level was:

How would you go about removing backdoors from a control binary?

I primarily contributed to the binary de-compilation and program analysis work. Dabbed in a bit of program re-synthesis.

More details in the paper CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems.