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.