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
Uncertainty in Security Analysis - October 2022
Submitted by mikeprosise on Tue, 10/11/2022 - 10:27am
NSA Program Manager
Metrics
Resilient Architectures
UIUC
Uncertainty in Security Analysis
2022: October
tearline
An Automated Synthesis Framework for Network Security and Resilience - October 2022
Submitted by mikeprosise on Tue, 10/11/2022 - 10:22am
NSA Program Manager
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
UIUC
Automated Synthesis Framework for Network Security and Resilience
2022: October
tearline
Side-Channel Attack Resistance—2022Q3
Submitted by heechul on Sun, 10/09/2022 - 3:26pm
Architectures
Embedded Software
NSA Program Manager
Resilient Architectures
KU
Side-Channel Attack Resistance
2022: October
tearline
NCSU SoS Lablet Quarterly Executive Summary
Submitted by gargvaibhav on Sun, 09/25/2022 - 1:03pm
NSA Program Manager
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
NCSU
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
Development of Methodology Guidelines for Security Research
Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities
Reasoning about Accidental and Malicious Misuse via Formal Methods
2022: October
tearline
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
Submitted by gargvaibhav on Fri, 09/23/2022 - 9:53pm
NSA Program Manager
Resilient Architectures
NCSU
Cloud-Assisted IoT Systems Privacy
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
2022: October
tearline
Model-Based Explanation For Human-in-the-Loop Security - October 2022
Submitted by Jamie Presken on Tue, 09/13/2022 - 9:08am
NSA Program Manager
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2022: October
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - October 2022
Submitted by Jamie Presken on Tue, 09/13/2022 - 9:06am
NSA Program Manager
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2022: October
tearline
Securing Safety-Critical Machine Learning Algorithms - October 2022
Submitted by Jamie Presken on Tue, 09/13/2022 - 9:05am
NSA Program Manager
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2022: October
tearline
VU SoS Lablet Quarterly Executive Summary - JUL 2022
Submitted by Katie Dey on Wed, 08/03/2022 - 11:41am
Architectures
Modeling
Resilient Systems
Simulation
Education
Foundations
NSA Program Manager
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
VU
Analytics for Cyber-Physical System Cybersecurity
Cyber Makerspace
Foundations of a CPS Resilience
Mixed Initiative and Collaborative Learning in Adversarial Environments
Multi-model Test Bed for the Simulation-based Evaluation of Resilience
2022: July
tearline
KU SoS Lablet Quarterly Executive Summary - 2022 Q2
Submitted by Warren Alexander on Wed, 07/13/2022 - 12:02am
Research Program Overview
Approved by NSA
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
2022: July
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
