Events Calendar

Automated IoT Safety and Security Analysis

Join us as Berkay Celik, PhD Candidate at Pennsylvania State University, presents "Automated IoT Safety and Security Analysis."

The introduction of Internet of Things (IoT) devices that integrate online processes and services with the physical world has had profound effects on society. Yet, while IoT systems have been widely embraced by consumers and industry alike, safety and security failures have raised questions about the risks of embracing IoT-augmented lives. These failures range from compromised baby monitors to vehicle crashes and monetary theft. In this talk, we will examine new classes of failures: Interactions within the physical domain that lead to unsafe or insecure environments. Celik will then demonstrate how to model the interactions between devices within physical spaces through source code analysis and formally verify via model checking not only the correct operation of one device, but the joint behavior of all of the devices in an environment. 

Read more.

Refreshments at 10:00am

Thursday, January 31 at 10:30 a.m. to 11:30 a.m.

Sennott Square, 5317
210 South Bouquet Street, Pittsburgh, PA 15260

Automated IoT Safety and Security Analysis

Join us as Berkay Celik, PhD Candidate at Pennsylvania State University, presents "Automated IoT Safety and Security Analysis."

The introduction of Internet of Things (IoT) devices that integrate online processes and services with the physical world has had profound effects on society. Yet, while IoT systems have been widely embraced by consumers and industry alike, safety and security failures have raised questions about the risks of embracing IoT-augmented lives. These failures range from compromised baby monitors to vehicle crashes and monetary theft. In this talk, we will examine new classes of failures: Interactions within the physical domain that lead to unsafe or insecure environments. Celik will then demonstrate how to model the interactions between devices within physical spaces through source code analysis and formally verify via model checking not only the correct operation of one device, but the joint behavior of all of the devices in an environment. 

Read more.

Refreshments at 10:00am

Thursday, January 31 at 10:30 a.m. to 11:30 a.m.

Sennott Square, 5317
210 South Bouquet Street, Pittsburgh, PA 15260

Topic

Technology