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  HSCC 2020
Apr 21, 2020 7:00 am - Apr 24, 2020 6:00 pm AEST

23rd ACM International Conference on Hybrid Systems: Computation and Control

April 21-24, 2020 | Sydney Australia | https://berkeleylearnverify.github.io/HSCC_2020/

forum

Visible to the public Call for Papers: Artificial Intelligence for Humanitarian Assistance and Disaster Response Workshop

Call for Papers

Artificial Intelligence for Humanitarian Assistance and Disaster Response Workshop (AI + HADR 2019)

December 13 or 14, 2019

Part of the 2019 Conference on Neural Information Processing Systems

forum

Visible to the public Call for Papers: Artificial Intelligence for Humanitarian Assistance and Disaster Response Workshop

Call for Papers

Artificial Intelligence for Humanitarian Assistance and Disaster Response Workshop (AI + HADR 2019)

December 13 or 14, 2019

Part of the 2019 Conference on Neural Information Processing Systems