SYNE Lab
SYNE stands for "SecuritY of Networked systEms"
Research Agenda
At SYNE lab, we focus on solving the security problem at the intersection of computer networks and systems. We are interested in several domains of computing, including network communication protocols, operating systems, distributed systems, Internet-of-Things (IoT) systems, and embedded devices. Software of computer networks and systems continues to have exploitable vulnerabilities, which are lucrative targets for adversaries. Within this broad domain, our particular emphasis is on automated detection of vulnerabilities as well as creating resilient protocols and systems. Our research primarily builds on and expands program analysis, software testing, and formal verification.
Key Topics
Network security, system security, software testing, IoT security
Contact
CST 4-122, Department of Electrical Engineering and Computer Science (EECS), Syracuse University, NY