posted by user: lrohrbough || 6091 views || tracked by 14 users: [display]

FDSCPS 2011 : Workshop on Foundations of Dependable and Secure Cyber-Physical Systems


When Apr 11, 2011 - Apr 11, 2011
Where Chicago, IL
Submission Deadline Feb 14, 2011
Notification Due Feb 21, 2011
Final Version Due Mar 14, 2011
Categories    security   control   cyber-physical systems   systems

Call For Papers

The Workshop on Foundations of Dependable and Secure Cyber-Physical Systems will be held April 11, 2011 in Chicago, Illinois as part of CPSWeek 2011.

The workshop will focus on system theoretic approaches to address fundamental challenges to make cyber-physical systems (CPS) secure, dependable, and trustworthy. A particular emphasis will be given on the control and verification challenges arising as a result of complex interdependencies between these networked systems. In doing so, the workshop will serve as a first step toward the development of a principled approach to high-confidence CPS.

The aim of this workshop is to bring together novel concepts and theories that can help in the development of the science of dependable and secure CPS. This workshop also aims to foster collaborations between researchers from the fields of control and systems theory, embedded systems, game theory, software verification and formal methods, and computer security. The scope of this workshop is to discuss theories and methodologies that encompass ideas from:
- Fault-tolerant and networked control systems
- Game theory for multi-agent dynamics in uncertain environments, and
- Learning and verification theory for secure and trustworthy systems.

Topics of interest will include, but are not restricted to, the following:
- Taxonomy of attacks and attack models for control systems
- Novel security challenges in control systems
- Testbeds for security of critical infrastructure systems
- Decision and game theoretic approaches to security analysis
- Design architectures for prevention and resilience against attacks
- Risk assessment and verification of security properties
- Detectability and diagnosis of attacks
- Economics based studies of security and reliability
- Resilience and robustness against attacks
- Response and reconfiguration methods
- Cyber awareness of human-centric systems
- Complexity and resilience in control systems

Approaches that can be applied to particular critical infrastructure systems in Transportation (surface and aviation), Energy (smart grid and building energy management), and Healthcare (medical systems and associated embedded devices) are particularly welcomed. Also welcomed is foundational work that cuts across multiple application areas or advances the scientific understanding of underlying principles for the development of secure and trustworthy systems, including ways to measure the security properties of a system and methods to conduct robust and repeatable experimentation.

Related Resources

CSITS 2018   International Workshop on Cyber Security for Intelligent Transportation Systems
DSN 2019   Dependable Systems and Networks
FAIM 2019   2019 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2019)
IJICS 2018   International Journal of Instrumentation and Control Systems
IEEE DSC 2018   The 2018 IEEE Conference on Dependable and Secure Computing
CDC 2019   58th Conference on Decision and Control
ECYPS 2019   The 7th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems
NECO 2018   7th International Conference of Networks and Communications
ICPS 2019   IEEE International Conference on Industrial Cyber-Physical Systems
IEEE S&P 2019   IEEE Symposium on Security and Privacy