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
» 2020: OCTOBER
2020: October
tearline
Principles of Secure BootStrapping for IoT
Submitted by najmeri on Tue, 09/15/2020 - 12:51pm
Approved by NSA
Policy-Governed Secure Collaboration
NCSU
Principles of Secure BootStrapping for IoT
2020: October
tearline
Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities
Submitted by najmeri on Tue, 09/15/2020 - 12:51pm
Approved by NSA
Metrics
NCSU
Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities
2020: October
tearline
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
Submitted by najmeri on Tue, 09/15/2020 - 12:51pm
Approved by NSA
Resilient Architectures
NCSU
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
2020: October
tearline
NCSU SoS Lablet Quarterly Executive Summary
Submitted by najmeri on Tue, 09/15/2020 - 12:50pm
Approved by NSA
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
Principles of Secure BootStrapping for IoT
Reasoning about Accidental and Malicious Misuse via Formal Methods
2020: October
tearline
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - October 2020
Submitted by Jamie Presken on Sun, 09/13/2020 - 6:48pm
Approved by NSA
Human Behavior
CMU
Security Behavior Observatory
2020: October
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - October 2020
Submitted by Jamie Presken on Sun, 09/13/2020 - 6:48pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2020: October
tearline
Model-Based Explanation For Human-in-the-Loop Security - October 2020
Submitted by Jamie Presken on Sun, 09/13/2020 - 6:47pm
Approved by NSA
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2020: October
tearline
Securing Safety-Critical Machine Learning Algorithms - October 2020
Submitted by Jamie Presken on Sun, 09/13/2020 - 6:47pm
Approved by NSA
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2020: October
tearline
CMU SoS Lablet Quarterly Executive Summary - October 2020
Submitted by Jamie Presken on Sun, 09/13/2020 - 6:46pm
Approved by NSA
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
CMU PROJECTS (select all that apply)
2020: October
« first
‹ previous
1
2
3
4
