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
Contextual Integrity for Computer Systems - July 2019
Submitted by
Michael Tschantz
on Wed, 07/10/2019 - 11:58pm
NSA Program Manager
Policy-Governed Secure Collaboration
Scalability and Composability
ICSI
Contextual Integrity for Computer Systems
2019: July
tearline
Contextual Integrity for Computer Systems - April 2019
Submitted by
Michael Tschantz
on Wed, 07/10/2019 - 11:54pm
NSA Program Manager
Policy-Governed Secure Collaboration
Scalability and Composability
ICSI
Contextual Integrity for Computer Systems
2019: April
tearline
UIUC SoS Lablet Quarterly Executive Summary - July 2019
Submitted by
awhitesell
on Wed, 07/10/2019 - 12:15pm
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
2019: July
tearline
Automated Synthesis Framework for Network Security and Resilience - July 2019
Submitted by
awhitesell
on Tue, 07/09/2019 - 5:03pm
NSA Program Manager
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
UIUC
Automated Synthesis Framework for Network Security and Resilience
2019: July
tearline
CMU SoS Lablet Quarterly Executive Summary - July 2019
Submitted by
Jamie Presken
on Wed, 06/05/2019 - 8:18am
NSA Program 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
Safety Critical ML
2019: July
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - July 2019
Submitted by
Jamie Presken
on Wed, 06/05/2019 - 8:15am
NSA Program Manager
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2019: July
tearline
UIUC SoS Lablet Quarterly Executive Summary - April 2019
Submitted by
awhitesell
on Thu, 04/18/2019 - 8:58pm
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
2019: April
biblio
Orchestrating Layered Attestations
Submitted by
Warren Alexander
on Mon, 04/15/2019 - 3:01pm
Policy-Governed Secure Collaboration
Scalability and Composability
KU
Scalable Trust Semantics & Infrastructure
2019: April
biblio
A Copland Attestation Manager
Submitted by
Warren Alexander
on Mon, 04/15/2019 - 2:56pm
#H98230-18-D-0009
Scalability and Composability
KU
Scalable Trust Semantics & Infrastructure
2019: April
tearline
Automated Synthesis Framework for Network Security and Resilience - April 2019
Submitted by
awhitesell
on Fri, 04/05/2019 - 6:34pm
NSA Program Manager
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
UIUC
Automated Synthesis Framework for Network Security and Resilience
2019: April
1
2
3
4
next ›
last »
