Cyber-Physical Systems Virtual Organization: Virtual Resources (NSF 1521617) lead by Vanderbilt and in collaboration with U. Arizona and UPenn.
CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems (NSF 1239085) lead by UMich and in collaboration with CMU and Texas A&M.
SPARCS: Synthesis of Platform-aware Attack-Resilient Control Systems, a DARPA HACMS project led by UPenn.
ExCAPE: Expeditions in Computer Augmented Program Engineering lead by UPenn and in collaboration with Berkeley, Cornell, UIUC, Maryland, Michigan, MIT, and Rice.
Foundations of secure Cyber-Physical Systems (NSF 1136174) with Suhas Diggavi, Rafail Ostrovsky, Mani Srivastava, and Amit Sahai at UCLA.