| Discriminative Pattern Mining for Runtime Security Enforcement of Cyber-Physical Point-of-Care Medical Technology | 0 | 0.34 | 2021 |
| Cyber-Physical Security of an Electric Microgrid | 0 | 0.34 | 2018 |
| Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains | 1 | 0.40 | 2018 |
| Physical Attestation in the Smart Grid for Distributed State Verification. | 1 | 0.35 | 2018 |
| An Approach for Formal Analysis of the Security of a Water Treatment Testbed | 0 | 0.34 | 2018 |
| Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems | 0 | 0.34 | 2017 |
| Cyber-Physical Security of a Chemical Plant | 0 | 0.34 | 2017 |
| Multiple Security Domain Model of a Vehicle in an Automated Platoon. | 0 | 0.34 | 2017 |
| Breaking Implicit Trust in Point-of-Care Medical Technology: A Cyber-Physical Attestation Approach | 0 | 0.34 | 2017 |
| Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems. | 4 | 0.83 | 2017 |
| Application of Congestion Notifications in a Cyber-Physical System | 0 | 0.34 | 2017 |
| Fog Computing for Smart Living. | 2 | 0.38 | 2017 |
| Secure Fog Computing For Smart Living | 1 | 0.36 | 2017 |
| WiP Abstract: Multiple Security Domain Nondeducibility for Point-of-Care Diagnostic Technology | 0 | 0.34 | 2016 |
| Messge from the ECPE Organizing Committee | 0 | 0.34 | 2016 |
| A Novel Flow Invariants-Based Approach to Microgrid Management | 3 | 0.45 | 2015 |
| Message from ECpE Symposium Organizing Committee | 0 | 0.34 | 2015 |
| Incremental Cost Consensus(ICC) and leaderless ICC implementations in FREEDM | 0 | 0.34 | 2015 |
| Information Flow Quantification Framework for Cyber Physical System with Constrained Resources | 0 | 0.34 | 2015 |
| Distributed Intelligence in the Electric Smart Grid | 0 | 0.34 | 2015 |
| Unified Invariants for Cyber-Physical Switched System Stability | 6 | 0.45 | 2014 |
| A Modal Model of Stuxnet Attacks on Cyber-physical Systems: A Matter of Trust | 6 | 0.87 | 2014 |
| Quantification of Information Flow in a Smart Grid | 1 | 0.36 | 2014 |
| Secure and threshold-based power usage control in smart grid environments | 4 | 0.43 | 2014 |
| A Survey on Zero-Knowledge Proofs. | 0 | 0.34 | 2014 |
| A Multiple Security Domain Model of a Drive-by-Wire System | 6 | 0.66 | 2013 |
| Stability of a cyber-physical smart grid system using cooperating invariants | 7 | 0.50 | 2013 |
| Physical Attestation Of Cyber Processes In The Smart Grid | 4 | 0.50 | 2013 |
| Mitigating Event Confidentiality Violations In Smart Grids: An Information Flow Security-Based Approach | 1 | 0.36 | 2013 |
| Modeling and verification of security properties for critical infrastructure protection | 0 | 0.34 | 2013 |
| Verification and Protection of Confidentiality in an Advanced Smart Grid | 1 | 0.39 | 2012 |
| The Effects of Network Link Unreliability for Leader Election Algorithm in a Smart Grid System. | 0 | 0.34 | 2012 |
| CPS-CSH Cyber-Physical Analysis and Design. | 0 | 0.34 | 2012 |
| Privacy-Preserving Power Usage Control In The Smart Grid | 2 | 0.36 | 2012 |
| A One-Dimensional Sparse Space-Time Specification Of The Generalized Railroad Crossing | 0 | 0.34 | 2012 |
| Breaking Nondeducible Attacks on the Smart Grid. | 5 | 0.82 | 2012 |
| Information flow security in cyber-physical systems | 0 | 0.34 | 2011 |
| Invariants as a unified knowledge model for Cyber-Physical Systems | 5 | 0.48 | 2011 |
| Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation | 16 | 1.05 | 2010 |
| Integrated cyber-physical fault injection for reliability analysis of the smart grid | 16 | 1.10 | 2010 |
| Environmental Obfuscation of a Cyber Physical System - Vehicle Example | 4 | 0.66 | 2010 |
| Information flow analysis of energy management in a smart grid | 7 | 0.78 | 2010 |
| Analysis of information flow security in cyber-physical systems. | 31 | 2.06 | 2010 |
| Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research | 1 | 0.36 | 2009 |
| Dihomotopic Reduction Used in Deadlock Detection | 0 | 0.34 | 2009 |
| Model-Checking BNDC Properties in Cyber-Physical Systems | 13 | 1.04 | 2009 |
| Nondeducibility-Based Analysis Of Cyber-Physical Systems | 4 | 0.54 | 2009 |
| Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure | 11 | 0.75 | 2009 |
| Recursive Decomposition of Progress Graphs | 0 | 0.34 | 2009 |
| A Systematic Framework for Structured Object-Oriented Security Requirements Analysis in Embedded Systems | 4 | 0.53 | 2008 |
