• ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security

    standard
  • Formal Security Analysis of Smart Embedded Systems

    standard