A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
CPS Rising Stars Workshop 2022 aims to identify and mentor outstanding PhD students and postdocs who are interested in pursuing academic careers in Cyber-Physical Systems (CPS) related areas. CPS are engineered systems that are built from, and depend upon, the seamless integration of computation and physical components. CPS technologies are transforming the way people interact with engineered systems, just as the Internet has transformed the way people interact with information.
Frankie King Submitted by Frankie King on January 17th, 2022
Event
NIST CPS PWG
NIST Cyber-Physical Systems Public Working Group What are Cyber-Physical Systems or CPS? Is a CPS any engineered system with a microprocessor? Do all CPS need to be connected to the internet? Are there a set of basic functions and architectural elements common to all CPS? You are invited to join us in answering these questions and charting the path to the future.
Submitted by Anonymous on June 12th, 2014
The CPSWeek brings together five leading conferences - HSCC, ICCPS, IPSN, HiCoNS, RTAS - as well as several workshops and tutorials on various aspects on the research and development of cyber-physical systems: Embedded Systems, Hybrid Systems, Real-Time and Sensor Networks.
Submitted by Anonymous on September 5th, 2013
11th International Conference on Cyber-Physical Systems Contemporary Cyber-Physical Systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The modern smart collaborating CPS, that started to form the Cyber-Physical Systems of Systems (CPSoS) and Internet of Things (IoT), have important applications in virtually all economic and social segments, and their huge economic and societal impact rapidly increases. The CPS and IoT area undergoes a revolutionary development.
Submitted by Anonymous on December 8th, 2022
Event
HSCC 2023
26th ACM International Conference on Hybrid Systems: Computation and Control 9-12 May 2023  |  San Antonio, TX, USA
Submitted by Anonymous on September 21st, 2022
Event
HiPEAC 2023
The HiPEAC conference is the premier European forum for experts in computer architecture, programming models, compilers and operating systems for general-purpose, embedded and cyber-physical systems. Areas of focus and integration include safety-critical dependencies, cybersecurity, energy efficiency and machine learning. The HiPEAC 2023 conference will take place in Toulouse, France. Associated workshops, tutorials, special sessions, several large poster session and an industrial exhibition will run in parallel with the conference.
Submitted by Anonymous on June 1st, 2022
The supervisory control and data acquisition (SCADA) network in a smart grid must be reliable and efficient to transmit real-time data to the controller, especially when the system is under contingencies or cyberattacks. Introducing the features of software-defined networks (SDN) into a SCADA network helps in better management of communication and deployment of novel grid control operations.
Mohammad Rahman Submitted by Mohammad Rahman on May 1st, 2021
Cyber-physical systems (CPSs) and the Internet of Things (IoT) are converging towards a hybrid platform that is becoming ubiquitous in all modern infrastructures. The massive deployment of  CPS requires comprehensive, secure, and reliable communication. The integration of complex and heterogeneous systems makes enormous space for the adversaries to get into the network and inject malicious data. To obfuscate and mislead the attackers, we propose DDAF, a deception defense-based data acquisition framework for a hierarchical communication network of CPSs.
Mohammad Rahman Submitted by Mohammad Rahman on May 1st, 2021
This paper studies the synthesis of control policies for an agent that has to satisfy a temporal logic specification in a partially observable environment, in the presence of an adversary. The interaction of the agent (defender) with the adversary is modeled as a partially observable stochastic game. The goal is to generate a defender policy to maximize satisfaction of a given temporal logic specification under any adversary policy. The search for policies is limited to the space of finite
Submitted by Andrew Clark on April 26th, 2021
This paper studies the synthesis of controllers for cyber-physical systems (CPSs) that are required to carry out complex tasks that are time-sensitive, in the presence of an adversary. The task is specified as a formula in metric interval temporal logic (MITL). The adversary is assumed to have the ability to tamper with the control input to the CPS and also manipulate timing information perceived by the CPS. In order to model the interaction between the CPS and the adversary, and
Submitted by Andrew Clark on April 26th, 2021
Subscribe to Science of Security