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



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.