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
» SCALABILITY AND COMPOSABILITY
Scalability and Composability
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - October 2020
Submitted by
Jamie Presken
on Sun, 09/13/2020 - 6:48pm
Business Manager
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2020: October
tearline
CMU SoS Lablet Quarterly Executive Summary - October 2020
Submitted by
Jamie Presken
on Sun, 09/13/2020 - 6:46pm
Business Manager
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2020: October
tearline
Mixed Initiative and Collaborative Learning in Adversarial Environments (July 2020)
Submitted by
willirn1
on Tue, 08/11/2020 - 12:22pm
Architectures
Critical Infrastructure
Approved by NSA
Human Behavior
Resilient Architectures
Scalability and Composability
VU
Mixed Initiative and Collaborative Learning in Adversarial Environments
2020: July
tearline
UIUC SoS Lablet Quarterly Executive Summary - July 2020
Submitted by
mikeprosise
on Tue, 07/14/2020 - 5:31pm
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
2020: July
tearline
Automated Synthesis Framework for Network Security and Resilience - July 2020
Submitted by
mikeprosise
on Fri, 07/10/2020 - 7:46pm
NSA Program Manager
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
UIUC
Automated Synthesis Framework for Network Security and Resilience
2020: July
tearline
Scalable Trust Semantics & Infrastructure — 2020 Q2
Submitted by
Warren Alexander
on Fri, 07/10/2020 - 6:31pm
NSA Program Manager
Policy-Governed Secure Collaboration
Scalability and Composability
KU
Scalable Trust Semantics & Infrastructure
2020: July
tearline
Secure Native Binary Executions--July 2020 Q2
Submitted by
prasadk
on Wed, 07/08/2020 - 6:18am
NSA Program Manager
Metrics
Scalability and Composability
KU
Secure Native Binary Execution
2020: July
tearline
CMU SoS Lablet Quarterly Executive Summary - July 2020
Submitted by
Jamie Presken
on Mon, 07/06/2020 - 10:44am
Business Manager
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2020: July
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - July 2020
Submitted by
Jamie Presken
on Mon, 07/06/2020 - 10:42am
NSA Program Manager
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2020: July
tearline
Mixed Initiative and Collaborative Learning in Adversarial Environments (Apr 2020)
Submitted by
Claire Tomlin
on Wed, 04/29/2020 - 3:00pm
Architectures
Critical Infrastructure
Approved by NSA
Human Behavior
Resilient Architectures
Scalability and Composability
VU
Mixed Initiative and Collaborative Learning in Adversarial Environments
2020: April
1
2
3
4
5
6
7
8
9
next ›
last »
