Cyber-Resilient SCADA Systems via Secure State Restoration. - Zachary Birnbaum; Matthew Davis; Salman Salman; James Schaffter; Lanier A. Watkins; Saikiran Yamajala; Shruti Paul (Critical Infrastructure Protection, 2020)