Wireless Security: Dr. Sang Kim’s research focuses on wireless security, with a particular emphasis on physical-layer security and authentication, low probability of detection (LPD) communications, and the integration of physical-layer and cryptographic techniques. His current project involves ensuring the integrity of short packets, which are common traffics in emerging wireless applications, by leveraging the physical-layer properties of wireless channels. Additionally, he is working on mitigating spoofing attacks in Global Navigation Satellite System (GNSS) and body area networks. For more information visit: https://www.engineering.iastate.edu/people/profile/swkim/
Safety-Critical Wireless Systems: Dr. Hongwei Zhang’s research explores the modeling, algorithmic, and systems issues in safety-critical wireless sensing and control networks (e.g., those in 5G and beyond) as well as their applications in extended reality, connected and automated vehicles, precision agriculture, smart energy grid, industrial IoT, and cyber-physical-human systems in general. For more information visit: https://www.ece.iastate.edu/~hongwei/
Dr. Kristin Yvonne Rozier’s Laboratory for Temporal Logic in Aerospace (https://laboratory.temporallogic.org/) builds tools and algorithms to generate formal mathematical checks of security protocols, cloud security requirements, and other important system assurances needed for certification. Exemplary projects include developing a formal framework for safety, security, and availability of aircraft communication networks (http://research.temporallogic.org/papers/DR20_JAIS.pdf); and runtime monitoring and diagnosis of security threats for Unmanned Aerial Systems (http://research.temporallogic.org/papers/DR20_JAIS.pdf).