DSD Special Session

Scope

This session focuses on tools, techniques and architectures for security and privacy-aware design of Cyber-Physical Systems (CPS). Such systems are characterized by periodic/event-driven communication between physical processes and control law computation. Such computations mostly happen on resource constrained embedded platforms, e.g. automotive ECUs, industrial PLCs etc. Given the nature of such implementation platforms along with communication bandwidth constraints, the aspect of security and privacy is often an afterthought in standard CPS design techniques. However, most CPS applications are safety critical in nature thus mandating primitives for securing possible attack surfaces against leakage of system related information as well as private data of system users. Leakage of system dynamics can help an attacker craft suitable stealthy attacks while leakage of user data may lead to user identification. Also, such leakages may lead to more damaging higher order attacks.

Topics

The topics of interest for this session include, but does not limit itself to the following research aspects:

 

Design and Validation Strategies:

  • Formalizing CPS threat models and attack scenarios
  • Formal verification of CPS security primitives (Transportation/Medical/Industrial-control, Power system and other domains)
  • AI/ML based and formal techniques for attack detection in CPS
  • Security aware controller design for CPS, Secure state estimation for CPS
  • Design exploration of secure CPS (area, power, performance, security)

Applications:

  • Securing automotive control loops with control theoretic techniques
  • Security aspects of safety-critical CPS and automotive networks (intra and inter vehicle)
  • Protection against sensor attacks in CPS (e.g., autonomous driving, process control)
  • Securing industrial control systems, automotive ECUs, etc
  • Privacy-aware metering schemes and control design for Smart Grids

 

Special Session Chairs

Technical Program Committee

  • Elif Bilge Kavun, University of Passau, Germany
  • Anupam Chattopadhyay, Nanyang Technological University, Singapore
  • Nicolas Sklavos, University of Patras, Greece
  • Fabiano Hessel, PUCRS, Brazil
  • Urbi Chatterjee, IIT Kanpur, India
  • Mainack Mondal, Indian Institute of Technology, Kharagpur, India
  • Kuan-Hsun Chen, University of Twente, Netherlands
  • Francesco Regazzoni, University of Amsterdam and Università della Svizzera italiana, Netherlands and Switzerland