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
» 2022: JANUARY
2022: January
tearline
Model-Based Explanation For Human-in-the-Loop Security - January 2022
Submitted by Jamie Presken on Sun, 01/02/2022 - 1:57pm
Approved by NSA
Human Behavior
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2022: January
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - January 2022
Submitted by Jamie Presken on Sun, 01/02/2022 - 1:56pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2022: January
tearline
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - January 2022
Submitted by Jamie Presken on Sun, 01/02/2022 - 1:55pm
Approved by NSA
Human Behavior
CMU
Security Behavior Observatory
2022: January
tearline
CMU SoS Lablet Quarterly Executive Summary - January 2022
Submitted by Jamie Presken on Sun, 01/02/2022 - 1:55pm
Approved by NSA
CMU
Security Behavior Observatory
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2022: January
tearline
Policy Analytics for Cybersecurity of Cyber-Physical Systems: January 2022 (Y4, Q3)
Submitted by Nazli Choucri on Thu, 12/16/2021 - 5:28pm
Defense
Critical Infrastructure
Policy-Governed Secure Collaboration
Vanderbilt
Approved by NSA
Policy-Governed Secure Collaboration
VU
Analytics for Cyber-Physical System Cybersecurity
2022: January
tearline
NCSU SoS Lablet Quarterly Executive Summary
Submitted by Saikath on Tue, 12/07/2021 - 2:29am
NCSU
2022: January
tearline
Development of Methodology Guidelines for Security Research
Submitted by Saikath on Tue, 12/07/2021 - 2:26am
NCSU
2022: January
tearline
Reasoning about Accidental and Malicious Misuse via Formal Methods
Submitted by Saikath on Tue, 12/07/2021 - 2:24am
Approved by NSA
Policy-Governed Secure Collaboration
NCSU
Reasoning about Accidental and Malicious Misuse via Formal Methods
2022: January
tearline
Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities
Submitted by Saikath on Tue, 12/07/2021 - 2:22am
Approved by NSA
Metrics
NCSU
Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities
2022: January
tearline
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
Submitted by Saikath on Tue, 12/07/2021 - 2:19am
Approved by NSA
Resilient Architectures
NCSU
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
2022: January
« first
‹ previous
1
2
3
