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: APRIL
2022: April
tearline
Multi-model Testbed for the Simulation-based Evaluation of Resilience (Apr '22)
Submitted by himanshu on Thu, 04/07/2022 - 5:59pm
Automotive
Architectures
Multi-models
Modeling
Resilient Systems
Simulation
NSA Program Manager
Metrics
Resilient Architectures
VU
Multi-model Test Bed for the Simulation-based Evaluation of Resilience
2022: April
tearline
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - April 2022
Submitted by Jamie Presken on Thu, 03/17/2022 - 9:08am
Approved by NSA
Human Behavior
CMU
Security Behavior Observatory
2022: April
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - April 2022
Submitted by Jamie Presken on Thu, 03/17/2022 - 9:07am
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2022: April
tearline
Model-Based Explanation For Human-in-the-Loop Security - April 2022
Submitted by Jamie Presken on Thu, 03/17/2022 - 9:06am
Approved by NSA
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2022: April
tearline
Securing Safety-Critical Machine Learning Algorithms - April 2022
Submitted by Jamie Presken on Thu, 03/17/2022 - 9:05am
Approved by NSA
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2022: April
tearline
Security Science Research Experience for Undergraduates - April 2022
Submitted by Jamie Presken on Thu, 03/17/2022 - 9:05am
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: April
tearline
NCSU SoS Lablet Quarterly Executive Summary
Submitted by Saikath on Tue, 03/15/2022 - 5:15pm
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
2022: April
tearline
Development of Methodology Guidelines for Security Research
Submitted by Saikath on Tue, 03/15/2022 - 5:14pm
Approved by NSA
NCSU
Development of Methodology Guidelines for Security Research
2022: April
tearline
Reasoning about Accidental and Malicious Misuse via Formal Methods
Submitted by Saikath on Tue, 03/15/2022 - 5:12pm
Approved by NSA
Policy-Governed Secure Collaboration
NCSU
Reasoning about Accidental and Malicious Misuse via Formal Methods
2022: April
tearline
Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities
Submitted by Saikath on Tue, 03/15/2022 - 5:08pm
Approved by NSA
Metrics
NCSU
Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities
2022: April
« first
‹ previous
1
2
3
