Science of Security

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

Visible to the public Upcoming Cognizant Autonomous Systems for Safety Critical Applications (CASSCA) Conference

Cognizant Autonomous Systems for Safety Critical Applications (CASSCA)

September 16 & 17, 2019

Hyatt Regency, Miami, Florida

The Institute of Navigation (ION) is holding the Cognizant Autonomous Systems for Safety Critical Applications (CASSCA) Conference on Monday, September 16 and Tuesday, September 17, 2019 at the Hyatt Regency, Miami, Florida.

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  Summer 2020 SoS Lablet Quarterly at CMU
Jul 15, 2020 9:00 am - Jul 16, 2020 5:45 pm EDT

2020 Summer Science of Security and Privacy Quarterly Lablet Meeting

The Summer 2020 Science of Security and Privacy Quarterly Meeting will be hosted by the CMU Lablet in Pittsburgh, PA. Please save the dates of July 15 and 16. Stay tuned for more details!

Registration

Register to Attend (Register by TBD)

Program:

forthcoming, n/a

event

Visible to the public  HoTSoS 2020
Apr 07, 2020 7:00 am - Apr 08, 2020 6:00 pm MST

7th Annual Symposium and Bootcamp on the Science of Security (HotSoS 2020)

HoTSoS is a research event centered on the Science of Security, which aims to address the fundamental problems of security in a principled manner.

The seventh annual HoTSoS event will be held April 7-8, 2020 in Lawrence, Kansas. HotSoS brings together researchers from diverse disciplines to promote advancement of work related to the science of security. The conference will feature a mix of invited talks, panels, tutorials, and refereed papers to be published by ACM.

event

Visible to the public  HCSS 2020
May 05, 2020 7:00 am - May 07, 2020 6:00 pm EDT

The Twentieth Annual High Confidence Software and Systems Conference (HCSS 2020)

A world class community of researchers gather each year for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life-, safety-, security-, and mission-critical systems.

event

Visible to the public  SmartEdge'20
Mar 23, 2020 7:00 am - Mar 27, 2020 6:00 pm CDT

The Fourth International Workshop on Smart Edge Computing and Networking (SmartEdge'20)

In Conjunction with IEEE PerCom 2020

Overview

event

Visible to the public  ASPLOS 2020
Mar 16, 2020 3:30 pm - Mar 20, 2020 4:30 pm CET

25th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2020)

ASPLOS is the premier forum for interdisciplinary systems research, intersecting computer architecture, hardware and emerging technologies, programming languages and compilers, operating systems, and networking. The 25th ASPLOS will be held on March 16-20, 2020 in Lausanne, Switzerland, a beautiful town on the shores of Lake Geneva, conveniently located in the center of Europe, and at EPFL.