|Stephen E McLaughlin
|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.