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
Obsidian: A Language for Secure-By-Construction Blockchain Programs - July 2022
Submitted by Jamie Presken on Thu, 07/07/2022 - 10:03am
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2022: July
tearline
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - July 2022
Submitted by Jamie Presken on Thu, 07/07/2022 - 10:02am
Approved by NSA
Human Behavior
CMU
Security Behavior Observatory
2022: July
tearline
CMU SoS Lablet Quarterly Executive Summary - July 2022
Submitted by Jamie Presken on Thu, 07/07/2022 - 9:59am
CMU
Security Behavior Observatory
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2022: July
tearline
Model-Based Explanation For Human-in-the-Loop Security - July 2022
Submitted by Jamie Presken on Thu, 07/07/2022 - 9:58am
NSA Program Manager
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2022: July
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
biblio
The Unknown Unknowns are not Totally Unknown
Submitted by Jamie Presken on Wed, 01/12/2022 - 6:25pm
CMU
2021: July
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
