CS Colloquium - Achieving Compositional Safety and Security in IoT Environments

CS Colloquium - Achieving Compositional Safety and Security in IoT Environments promotional image


M. Ozgur Ozmen


The Internet of Things (IoT) systems include sensors that measure the physical world, actuators that influence it, and IoT apps that automate these sensors and actuators. While IoT environments have revolutionized our lives by integrating digital connectivity into physical processes, they have also become attractive targets for adversaries. In this talk, I will explore emerging safety and security issues arising from the complex physical interactions in IoT environments. I will then demonstrate how to identify and mitigate these issues through systems design, formal methods, and applied cryptography. In particular, I will present three systems for compositional (system-wide) IoT safety and security: (1) a system that discovers physical app interaction vulnerabilities through hybrid modeling and falsification, (2) evasion attacks against physical event verification systems and preventing such attacks through patching and sensor placement, (3) and a secure group pairing method for devices with heterogeneous sensing modalities. Through these efforts, we develop formal techniques and tools that enable developers to build safe and secure IoT environments.


Muslum Ozgur Ozmen is a PhD candidate in the Department of Computer Science at Purdue University, where he is advised by Professor Z. Berkay Celik. Prior to joining Purdue, Ozgur earned his Master of Science degree in computer science from Oregon State University. He has researched a variety of topics, including IoT security and privacy, mobile robot and self-driving car security, and lightweight cryptography. His dissertation focuses on developing tools and algorithms that ensure compositional safety and security in IoT systems through formal methods. He served at the student advisory council of NSF AI Institute for Agent-based Cyber Threat Intelligence and Operation (ACTION) as the Purdue representative in 2023. He also interned with the cyber-physical systems research team at the Toyota Research Institute North America. He anticipates completing his PhD in the Spring of 2024.

More information can be obtained at ozgurozmen.github.io.

Monday, March 18, 2024 3:30pm to 4:30pm
MacLean Hall
2 West Washington Street, Iowa City, IA 52240
View on Event Calendar
Individuals with disabilities are encouraged to attend all University of Iowa–sponsored events. If you are a person with a disability who requires a reasonable accommodation in order to participate in this program, please contact Computer Science Dept. in advance at 319-335-0713 or matthieu-biger@uiowa.edu.