Profile photo of Saurabh Amin
Saurabh Amin, Ph.D.
PRECISE Seminar: Resilient Monitoring and Control of Distribution Networks
September 21, 2016

This talk will focus on the attacker-defender interactions on electricity distribution networks (DNs) that typically have a tree-like topology. Two attack models will be introduced: (i) manipulation of distributed energy resources by a strategic adversary; and (ii) energy diversion by fraudulent customers. In the first model, the DN operator (defender) responds to the adversary’s action by imposing voltage control and partial load shedding.  This model is used to assess the vulnerability of electricity distribution networks under disruptions of distributed energy resources. In the second…

Profile photo of Qi Zhu
Qi Zhu, Ph.D.
PRECISE Seminar: Design Automation for Cyber-Physical Systems
September 14, 2016

Cyber-physical systems (CPS) such as autonomous and semi-autonomous vehicles, smart buildings, and industrial automation systems, are poised to bring immense economic and societal benefits. However, the design of these systems faces tremendous challenges from the rapid increase of system scale and heterogeneity, the close interaction with dynamic environment and human activities, the employment of multicore and distributed architectural platforms, and the stringent (and often conflicting) requirements on various design metrics. To address these challenges, it is critical to have a new set…

Profile photo of Megan S. Ryerson
Megan S. Ryerson, Ph.D.
PRECISE Seminar: Modeling New and Resilient Airspace Operations by Harnessing Open Data in Air Transportation
September 7, 2016

High-fidelity models of airport and airspace capacity enable researchers to study modernization strategies that optimize capacity yet require volumes of detailed aircraft movement data. These datasets exist in the public and private realms but are highly challenging and cumbersome to collect in large quantities. In this talk I will present my real-time data scraping and mathematical modeling methodology to collect and augment real-time trajectory data. Using this data, I present an airport planning study and a study of airspace resiliency. I study the change in terminal area flows due to…

Jeroen Keiren Profile Photo
Jeroen Keiren, Ph.D.
PRECISE Seminar: Using model checking to improve the quality of complex industrial software
July 29, 2016

Developing correct parallel and distributed software is a daunting task. The parallelism causes the state-spaced explosion problem: the number of states in the system grows exponentially with the number of parallel components. One of the ways to verify that such a system satisfies its requirements is model checking.

In this talk, I will describe the application of model checking to two real-world systems, and describe the errors that were uncovered using this approach.

The first system is the session setup protocol that is part of the IEEE 11073-20601:2008 standard for…

Profile photo of Siddharth Garg
Siddharth Garg, Ph.D.
PRECISE Seminar: Who Stole my (Semiconductor) Chip?
March 16, 2016

For economic reasons, the design and fabrication of semiconductor ICs is increasingly outsourced. This comes at the expense of trust. An untrusted entity, for instance a malicious designer or semiconductor foundry could pirate the design, or worse, maliciously modify it to leak secret information from the chip or sabotage its functionality. In addition, several companies now provide IC reverse engineering services that can reconstruct a manufactured chip's internal design details, thus compromising the designer's IP. Reverse engineering attack's on embedded devices and smart-cards have…