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
» APPROVED BY NSA
Approved by NSA
tearline
Reasoning about Accidental and Malicious Misuse via Formal Methods
Submitted by najmeri on Tue, 03/24/2020 - 3:50pm
Approved by NSA
Policy-Governed Secure Collaboration
NCSU
Reasoning about Accidental and Malicious Misuse via Formal Methods
2020: April
tearline
Principles of Secure BootStrapping for IoT
Submitted by najmeri on Tue, 03/24/2020 - 3:50pm
Approved by NSA
Policy-Governed Secure Collaboration
NCSU
Principles of Secure BootStrapping for IoT
2020: April
tearline
Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities
Submitted by najmeri on Tue, 03/24/2020 - 3:50pm
Approved by NSA
Metrics
NCSU
Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities
2020: April
tearline
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
Submitted by najmeri on Tue, 03/24/2020 - 3:50pm
Approved by NSA
Resilient Architectures
NCSU
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
2020: April
tearline
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - April 2020
Submitted by Jamie Presken on Sun, 03/15/2020 - 5:17pm
Approved by NSA
Human Behavior
CMU
Security Behavior Observatory
2020: April
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - April 2020
Submitted by Jamie Presken on Sun, 03/15/2020 - 5:16pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2020: April
tearline
Model-Based Explanation For Human-in-the-Loop Security - April 2020
Submitted by Jamie Presken on Sun, 03/15/2020 - 5:15pm
Approved by NSA
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2020: April
tearline
Securing Safety-Critical Machine Learning Algorithms - April 2020
Submitted by Jamie Presken on Sun, 03/15/2020 - 5:14pm
Approved by NSA
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2020: April
tearline
CMU SoS Lablet Quarterly Executive Summary - April 2020
Submitted by Jamie Presken on Sun, 03/15/2020 - 5:13pm
Approved by NSA
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: April
tearline
Scalable Privacy Analysis - January 2020
Submitted by Serge Egelman on Wed, 02/05/2020 - 4:48pm
Approved by NSA
Metrics
Policy-Governed Secure Collaboration
Scalability and Composability
ICSI
Scalable Privacy Analysis
2020: January
« first
‹ previous
…
20
21
22
23
24
25
26
27
28
…
next ›
last »
