Overview

Our research group Systems and Network Security (SyNSec) at Penn State focuses on improving the security and privacy postures of emerging networks and complex systems, including cellular networks, Internet-of-Things (IoT), operating systems, software-defined networking, and cloud infrastructures. We take a holistic approach to fundamentally enhance the security and privacy investigation of a system from the ground up, i.e., starting from analyzing designs, evaluating implementations, monitoring the runtime, and building verified/high-assurance defenses. As part of this process, we combine theory and practice by drawing inspiration from formal methods, program analysis, software testing, binary analysis, and cryptography.