Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
CPS-VO
»
Science of Security VO
»
Science of Security and Privacy: Lablet Program Management
» RESILIENT ARCHITECTURES
Resilient Architectures
tearline
Model-Based Explanation For Human-in-the-Loop Security - April 2023
Submitted by Jamie Presken on Thu, 02/16/2023 - 11:43am
Business Manager
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2023: April
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - April 2023
Submitted by Jamie Presken on Thu, 02/16/2023 - 11:38am
Business Manager
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2023: April
tearline
Securing Safety-Critical Machine Learning Algorithms - April 2023
Submitted by Jamie Presken on Thu, 02/16/2023 - 11:37am
Business Manager
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2023: April
tearline
Foundations of a CPS Resilience - January 2023
Submitted by Xenofon Koutsoukos on Thu, 01/26/2023 - 3:26pm
CPS Domains
CPS Technologies
Project PI
Resilient Architectures
VU
Foundations of a CPS Resilience
2023: January
tearline
KU SoS Lablet Quarterly Executive Summary - 2022 Q4
Submitted by Warren Alexander on Wed, 01/18/2023 - 12:59pm
Research Program Overview
NSA Program Manager
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
KU
Cloud-Assisted IoT Systems Privacy
Formal Approaches to the Ontology & Epistemology of Resilience
Scalable Trust Semantics & Infrastructure
Side-Channel Attack Resistance
Secure Native Binary Execution
2023: January
tearline
Multi-model Testbed for the Simulation-based Evaluation of Resilience (Jan '23)
Submitted by himanshu on Fri, 01/13/2023 - 5:24pm
Automotive
Architectures
Multi-models
Modeling
Resilient Systems
Simulation
NSA Program Manager
Metrics
Resilient Architectures
VU
Multi-model Test Bed for the Simulation-based Evaluation of Resilience
2022: July
tearline
UIUC SoS Lablet Quarterly Executive Summary - January 2023
Submitted by mikeprosise on Thu, 01/12/2023 - 1:55pm
NSA Program Manager
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
UIUC
Automated Synthesis Framework for Network Security and Resilience
Monitoring, Fusion, and Response for Cyber Resilience
Uncertainty in Security Analysis
2023: January
tearline
An Automated Synthesis Framework for Network Security and Resilience - January 2023
Submitted by mikeprosise on Thu, 01/12/2023 - 1:43pm
NSA Program Manager
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
UIUC
Automated Synthesis Framework for Network Security and Resilience
2023: January
tearline
Resilient Control of Cyber-Physical Systems with Distributed Learning - January 2023
Submitted by mikeprosise on Thu, 01/12/2023 - 1:34pm
NSA Program Manager
Metrics
Resilient Architectures
UIUC
Resilient Control of Cyber-Physical Systems with Distributed Learning
2023: January
tearline
Side-Channel Attack Resistance—2022Q4
Submitted by heechul on Mon, 01/09/2023 - 5:35pm
Architectures
Embedded Software
NSA Program Manager
Resilient Architectures
KU
Side-Channel Attack Resistance
2023: January
1
2
3
4
5
6
7
8
9
…
next ›
last »
