A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
event
Submitted by Anonymous on Fri, 07/24/2020 - 12:46pm
ACM Conference on Computer and Communications Security (ACM CCS 2020)
The ACM Conference on Computer and Communications Security (CCS) is the flagship annual conference of the Special Interest Group on Security, Audit and Control (SIGSAC) of the Association for Computing Machinery (ACM). The conference brings together information security researchers, practitioners, developers, and users from all over the world to explore cutting-edge ideas and results. It provides an environment to conduct intellectual discussions.
event
Submitted by Anonymous on Thu, 07/23/2020 - 4:46pm
11th Conference on Decision and Game Theory for Security (GameSec 2020)
Modern societies are becoming dependent on information, automation, and communication technologies more than ever. Managing the security of the emerging systems, many of them safety critical, poses significant challenges.
event
Submitted by Anonymous on Mon, 03/16/2020 - 2:00pm
7th Annual Hot Topics in the Science of Security (HoTSoS) Symposium
September 22-24, 2020 | Virtually hosted by the University of Kansas | https://cps-vo.org/group/hotsos
event
Submitted by Anonymous on Tue, 07/07/2015 - 11:49am
Quarterly SoS Meeting at Carnegie Mellon University
The Science of Security Quarterly Meeting at Carnegie Mellon University will be held on Tuesday, July 14 and Wednesday, July 15, 2015. The meeting for both days will take place on the CMU Campus in Gates Hillman Center Room 6115.
event
Submitted by Anonymous on Thu, 06/12/2014 - 4:59pm
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.
event
Submitted by Anonymous on Thu, 09/05/2013 - 11:11am
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.
forum
Submitted by yusufsarwar on Mon, 08/16/2021 - 2: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
