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.
