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
» CMU
CMU
tearline
Model-Based Explanation For Human-in-the-Loop Security - April 2023
Submitted by Jamie Presken on Thu, 02/16/2023 - 11:43am
NSA Program Manager
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2023: April
tearline
CMU SoS Lablet Quarterly Executive Summary - April 2023
Submitted by Jamie Presken on Thu, 02/16/2023 - 11:40am
NSA Program Manager
CMU
Security Behavior Observatory
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2023: April
tearline
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - April 2023
Submitted by Jamie Presken on Thu, 02/16/2023 - 11:38am
NSA Program Manager
Human Behavior
CMU
Security Behavior Observatory
2023: April
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - April 2023
Submitted by Jamie Presken on Thu, 02/16/2023 - 11:38am
NSA Program Manager
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2023: April
tearline
Securing Safety-Critical Machine Learning Algorithms - April 2023
Submitted by Jamie Presken on Thu, 02/16/2023 - 11:37am
NSA Program Manager
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2023: April
tearline
Security Science Research Experience for Undergraduates - April 2023
Submitted by Jamie Presken on Thu, 02/16/2023 - 11:36am
NSA Program Manager
CMU
CMU PROJECTS (select all that apply)
2023: April
tearline
Security Science Research Experience for Undergraduates - January 2023
Submitted by Jamie Presken on Tue, 12/13/2022 - 3:25pm
NSA Program Manager
CMU
CMU PROJECTS (select all that apply)
2023: January
tearline
Securing Safety-Critical Machine Learning Algorithms - January 2023
Submitted by Jamie Presken on Tue, 12/13/2022 - 3:24pm
NSA Program Manager
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2023: January
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - January 2023
Submitted by Jamie Presken on Tue, 12/13/2022 - 3:23pm
NSA Program Manager
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2023: January
tearline
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - January 2023
Submitted by Jamie Presken on Tue, 12/13/2022 - 3:23pm
NSA Program Manager
Human Behavior
CMU
Security Behavior Observatory
2023: January
1
2
3
4
5
6
7
8
9
…
next ›
last »
