A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
forum
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
Submitted by Anonymous on Tue, 07/07/2015 - 10: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 - 3: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 - 10: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.
event
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
Submitted by Anonymous on Thu, 01/09/2020 - 3:54pm
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
Submitted by Anonymous on Thu, 01/09/2020 - 2:47pm
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
Submitted by Anonymous on Thu, 01/09/2020 - 2:40pm
The Fourth International Workshop on Smart Edge Computing and Networking (SmartEdge'20)
In Conjunction with IEEE PerCom 2020
Overview
event
Submitted by Anonymous on Thu, 01/09/2020 - 2:28pm
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.
