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
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
Lablet Lead PI
Policy-Governed Secure Collaboration
Scalability and Composability
KU
Scalable Trust Semantics & Infrastructure
2020: April
tearline
Secure Native Binary Executions--July 2020 Q2
Submitted by
prasadk
on Wed, 07/08/2020 - 6:18am
Project PI
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
Business Manager
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2020: July
tearline
UIUC SoS Lablet Quarterly Executive Summary - April 2020
Submitted by
mikeprosise
on Sat, 04/11/2020 - 8:54am
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: April
tearline
Automated Synthesis Framework for Network Security and Resilience - April 2020
Submitted by
mikeprosise
on Sat, 04/11/2020 - 8:51am
Approved by NSA
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
UIUC
Automated Synthesis Framework for Network Security and Resilience
2020: April
tearline
Scalable Trust Semantics & Infrastructure — 2020 Q1
Submitted by
Warren Alexander
on Fri, 04/10/2020 - 3:26pm
Approved by NSA
Policy-Governed Secure Collaboration
Scalability and Composability
KU
Scalable Trust Semantics & Infrastructure
2020: April
tearline
Secure Native Binary Executions--April 2020 Q1
Submitted by
prasadk
on Tue, 04/07/2020 - 7:12pm
Approved by NSA
Metrics
Scalability and Composability
KU
Secure Native Binary Execution
2020: April
biblio
Investigating Users’ Preferences and Expectations for Always-Listening Voice Assistants
Submitted by
Heather Lucas
on Tue, 03/31/2020 - 11:54am
always listening
Human behavior
ICSI
Metrics
Operationalizing Contextual Data
Policy-Governed Secure Collaboration
Scalability and Composability
survey
voice assistants
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Scalability and Composability
ICSI
Operationalizing Contextual Data
1
2
3
4
5
6
7
8
next ›
last »
