Biblio

Filters: Author is Swarat Chaudhuri, Rice University  [Clear All Filters]
2016-12-13
Sayan Mitra, University of Illinois at Urbana-Champaign, Geir Dullerud, University of Illinois at Urbana-Champaign, Swarat Chaudhuri, Rice University.  2015.  Model-based Analysis and Synthesis for Security of Control Systems.

Presented at the NSA Science of Security Quarterly Lablet Meeting, October 2015.

Geir Dullerud, University of Illinois at Urbana-Champaign, Sayan Mitra, University of Illinois at Urbana-Champaign, Swarat Chaudhuri, Rice University.  2015.  Static Dynamic Analysis of Security Metrics for Cyber Physical Systems.

Presented at the Illinois Lablet Science of Security Bi-weekly Meeting, March 2015.

Sayan Mitra, University of Illinois at Urbana-Champaign, Geir Dullerud, University of Illinois at Urbana-Champaign, Swarat Chaudhuri, Rice University.  2014.  Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems.

Presented at the NSA Science of Security Quarterly Meeting, October 2014.