Stephen E McLaughlin Stephen E McLaughlin
Penn State University
344 IST Building
University Park, PA 16802



Graduating Spring 2014!

Patrick McDaniel ⊢ Me = PhD CandidateCSEPSU

My research takes a systems security approach to reasoning about the behavior of Cyber-Physical Systems (CPSs) that are under attack. My work goes beyond the traditional approaches in CPS security that are based on either control theory or hands-on penetration testing. Instead, I connect these two domains using novel model checking and symbolic execution techniques that enable us to reason about CPS behavior in new ways.


Our paper "Covert Channel Communication Through Physical Interdependencies in Cyber-Physical Infrastructures" has been accepted to IEEE SmartGridComm 2014.
Our paper "Scopol: Controller-Aware False Data Injection Against Programmable Logic Controllers" has been accepted to IEEE SmartGridComm 2014.
Our article "Automated PLC Code Analytics for Detection of Industrial Control Malware" has been accepted for publication in IEEE Security & Privacy Magazine.
I am on the ACSAC 2014 PC.
I have accepted a position on the CTO Team at Narus!
I have defended my dissertation!
Our paper "A Trusted Safety Verifier for Process Controller Code" has been accepted to the ISOC Network and Distributed Systems Security Symposium (NDSS 2014).
Our paper "Stateful Policy Enforcement for Control System Device Usage" has been accepted to the 29th Annual Computer Security Applications Conference (ACSAC 2013).
I received one of three Outstanding Research Assistant awards from the CSE Department.