CPSRC Seminar: Designing State Estimators for Safety-Critical Aerospace Positioning, Navigation and Timing Systems
The integration of digital connectivity with physical processes in IoT environments has enabled sensors and actuators to interact with each other over the physical space. However, IoT environments have complex physical interactions between actuators and sensors that create new classes of vulnerabilities. Unfortunately, traditional IoT security measures ignore such complex physical interactions and fail to achieve sufficient breadth and fidelity to uncover these vulnerabilities, causing poor accuracy and false alarms.
This talk will discuss our efforts in safety and security reasoning in IoT deployments through physical modeling and formal analysis. Demoz will introduce the approach to discovering physical interaction vulnerabilities in IoT deployments. This approach builds the joint physical behavior of interacting IoT apps through code and dynamic analysis. It next validates a set of new metric temporal logic policies through falsification. Second, Demoz will demonstrate how attackers can evade existing IoT defenses by exploiting complex physical relations between actuators and sensors. Demoz will next introduce software patching and sensor placement to make the existing defenses robust against evasion attacks. Through these efforts, his team create holistic physical models toward achieving the compositional safety and security of an IoT system.
Demoz Gebre-Egziabher is a professor in the Department of Aerospace Engineering and Mechanics at the University of Minnesota, Twin Cities. At the University of Minnesota, he teaches courses in aerospace systems and directs a research lab focusing on the design of multi-sensor navigation and attitude determination systems for aerospace vehicles. He is the current director of the NASA/Minnesota Space Grant Consortium. He is a Fellow of the Institute of Navigation (ION) and an associate fellow of the American Institute of Aeronautics and Astronautics (AIAA). From 1990 to 1996 he was an officer in the United States Navy where he served as a system engineer on the staff of the Naval Sea Systems Command division of naval reactors in Washington D.C. Dr. Gebre-Egziabher holds a B.S in Aerospace Engineering from the University of Arizona, a M.S in Mechanical Engineering from the George Washington University and a Ph.D. in aeronautics and astronautics from Stanford University. He is a registered professional engineer (mechanical engineering).
Join us in-person or on Zoom: https://ucsc.zoom.us/j/91001965009?pwd=RzJQMWppaTZ1MDdNTy93MUhIaFZpZz09
Thursday, February 16, 2023 at 2:00pm to 3:00pm
Engineering 2, 506
Engineering 2 1156 High Street, Santa Cruz, California 95064