A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
forum
Submitted by Anonymous on Wed, 09/14/2022 - 8:52am
CALL FOR PAPERS
May 9-12, 2023 | San Antonio, Texas, USA | https://iccps.acm.org/2023/
Important dates (AoE):
Abstract registration: October 24, 2022
Paper submission: October 31, 2022
Decision notification: January 20, 2023
Camera-ready: March 10, 2023
event
Submitted by Anonymous on Wed, 06/01/2022 - 3:58pm
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.
forum
Submitted by nicopao on Tue, 02/15/2022 - 6:33am
- Application deadline: Midnight, 25 March 2022 (GMT)
- Starting date: 1 July 2022
- Salary: starting from PS36,438 p.a. (inclusive of London allowance)
- Duration: until June 2025
- Where: Royal Holloway, University of London
We have a post-doc opportunity on the EPSRC project "MCPS-VeriSec: Model-based Security of Medical Cyber-Physical Systems", led by Nicola Paoletti.
forum
Submitted by yusufsarwar on Mon, 08/16/2021 - 1:53am
IEEE SMARTCOMP 2021 .::. Call for Participation .::.
*********************************************************************************************************************
The 7th IEEE International Conference on Smart Computing (SMARTCOMP 2021), August 23-27, 2021.
Due to uncertainties associated with the pandemic, IEEE SMARTCOMP 2021 will be held as a virtual conference.
https://www.smart-comp.info
file
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.
file
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.
file
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
file
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
event
Submitted by Anonymous on Thu, 04/01/2021 - 9:59am
The U.S. is confronted with unprecedented cybersecurity challenges. President Biden has declared that tackling these challenges is a top priority for the Biden-Harris administration. Join us for this special event with US Secretary of Homeland Security, Alejandro N. Mayorkas, who will outline his vision and roadmap for the Department's cybersecurity efforts. The Secretary will be joined by the Girl Scouts' Interim CEO, Judith Batty for a fireside chat. Dr.
