IEEE Security & Privacy · 2014 · 81 citations · 7 references
ComputingComputer ScienceCybersecurityAutomationComputer SecuritySafety EngineeringControl AnalysisControl-flow AnalysisIndustrial AutomationIndustrial Control Systems SecurityMalware Reverse EngineeringProgrammable Logic ControllersAutomated Malware AnalysisHybrid Dynamical SystemsIndustrial CybersecurityMalware Analysis For Industrial SystemsMalware DetectionPlc SecurityProgrammable Logic Controller SecuritySafety Properties
The authors discuss their research on programmable logic controller (PLC) code analytics, which leverages safety engineering to detect and characterize PLC infections that target physical destruction of power plants. Their approach also draws on control theory, namely the field of engineering and mathematics that deals with the behavior of dynamical systems, to reverse-engineer safety-critical code to identify complex and highly dynamic safety properties for use in the hybrid code analytics approach.
7
A Trusted Safety Verifier for Process Controller Code
Stephen McLaughlin, Saman Zonouz, Devin J. Pohly et al. · 2014 · 122 citations
RRE: A game-theoretic intrusion Response and Recovery Engine
Saman Zonouz, Himanshu Khurana, William H. Sanders et al. · 2009 · 113 citations
Using symbolic execution for verifying safety-critical systems
Alberto Coen‐Porisini, Giovanni Denaro, Carlo Ghezzi et al. · 2001 · 99 citations