2018

file

Visible to the public Semi-Automated Emergency Response System

Explanation of Demonstration: We will present our recent progress on how the coordination of behaviors of automated vehicles can help to improve the safety and efficiency of transportations systems. First, we will demonstrate how to leverage real-time scheduling theory to improve traffic flow and reduce congestion at intersections. Second, we will show how to achieve collision avoidance when a malicious party is present.

file

Visible to the public Security vs Privacy in Cyber-Physical Systems

This CPS proposal focuses on developing scientific foundations for the research area of CPS Security and Privacy. Our novelty is that while security and privacy are two properties we want these systems to provide, they have not been addressed jointly before.

file

Visible to the public Security Certification of Autonomous Cyber-Physical Systems

Significant progress has been made in the avenues of both software and hardware for fulfilling the objective of trustworthy autonomous cyber-physical systems (CPS). However, technological challenges still exist and particularly in terms of decision making under uncertainty.

file

Visible to the public Security of Distributed Cyber-Physical Systems with Connected Vehicle Applications

This project aims at accelerating the deployment of security measures for cyber-physical systems (CPSs) by proposing a framework that combines anomaly identification approaches, which emphasizes on the development of decentralized cyber-attack monitoring and diagnostic-like components, with robust control countermeasure to improve reliability and maintain system functionality. One of the main challenges for cyber-physical systems is the security of transmitted data over the communication network.

file

Visible to the public Securing the Timing of Cyber-Physical Systems

This project aims to build a framework for identifying, analyzing and defending against timing attacks in cyber-physical systems. Timing attacks, where attackers attempt to compromise the timing of computation or communication operations, can be particularly destructive in a CPS because the correctness of system functionality is affected not only by the data values of operations but also by the time those operations are conducted.

file

Visible to the public Secure Cyber-Physical DNA Manufacturing for Life Science Applications and Ultra-Long-Term Data Storage

This first-year project will develop a cyber-physical co-design process and apply it to the manufacturing of large-scale libraries of synthetic DNA oligonucleotides. Synthetic DNA plays an essential role in genomics research, and is poised for widespread consumption if its costs can be lowered dramatically, as large libraries of different DNA sequences are particularly useful in genetic analysis. DNA is also being investigated as a high-density medium for archival storage of digital data.