activity
20132024
most citedSecure Two-Party Feature Selection

6 citations · 14 across the 9 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2023

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

Ali Shokri, Alexandre Perez, Souma Chowdhury +6

We introduce a novel approach to automatically synthesize a mathematical representation of the control algorithms implemented in industrial cyber-physical systems (CPS), given the…