Science of Security

A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
event

Visible to the public  CPS Rising Stars Workshop 2022
May 26, 2022 7:00 am - 6:00 pm EDT

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.

event

Visible to the public  ACM CCS 2020 - Virtual
Nov 09, 2020 7:00 am - Nov 13, 2020 6:00 pm EST

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

Visible to the public  GameSec 2020 (Online)
Oct 28, 2020 7:00 am - Oct 30, 2020 6:00 pm EDT

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

Visible to the public  HoTSoS 2020 - Virtual
Sep 22, 2020 7:00 am - Sep 23, 2020 6:00 pm CDT

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

Visible to the public  Science of Security Lablet Quarterly Meeting (CMU)
Jul 14, 2015 8:00 am - Jul 15, 2015 3:00 pm EDT

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

Visible to the public  NIST CPS PWG
Jun 30, 2014 1:00 pm - 2:30 pm EDT

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

Visible to the public  CPS Week 2014
Apr 14, 2014 8:00 am - Apr 17, 2014 6:00 pm EDT

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.

event

Visible to the public  NDSS Symposium 2024
Feb 26, 2024 7:00 am - Mar 01, 2024 7:00 pm PST

The Network and Distributed System Security Symposium (NDSS 2024)

The Network and Distributed System Security Symposium (NDSS) is a top venue that fosters information exchange among researchers and practitioners of computer, network and distributed system security. The target audience includes those interested in practical aspects of network and distributed system security, with a focus on actual system design and implementation. A major goal is to encourage and enable the Internet community to apply, deploy, and advance the state of practical security technologies.

event

Visible to the public  CREST 2023
Apr 23, 2023 7:00 am - 6:00 pm IST

CREST 2023 6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology

The CREST workshop series center around the development of formal approaches to reasoning about causation in software and systems. The topics of formally identifying the cause(s) of specific events - usually some form of failures -, explaining why they occurred, and predicting certain outcomes are increasing in the focus of several, disjoint communities.