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 - April 2021
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:38pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2021: April
tearline
Model-Based Explanation For Human-in-the-Loop Security - April 2021
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:37pm
Approved by NSA
Human Behavior
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2021: April
tearline
Securing Safety-Critical Machine Learning Algorithms - April 2021
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:36pm
Approved by NSA
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2021: April
tearline
CMU SoS Lablet Quarterly Executive Summary - April 2021
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:35pm
Approved by NSA
Human Behavior
Metrics
Resilient Architectures
CMU
Security Behavior Observatory
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2021: April
tearline
Security Science Research Experience for Undergraduates - April 2021
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:35pm
Approved by NSA
CMU
CMU PROJECTS (select all that apply)
2021: April
tearline
Security Science Research Experience for Undergraduates - January 2021
Submitted by Jamie Presken on Thu, 01/07/2021 - 8:52am
Approved by NSA
CMU
CMU PROJECTS (select all that apply)
2021: January
tearline
CMU SoS Lablet Quarterly Executive Summary - January 2021
Submitted by Jamie Presken on Wed, 01/06/2021 - 2:26pm
Approved by NSA
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2021: January
tearline
Securing Safety-Critical Machine Learning Algorithms - January 2021
Submitted by Jamie Presken on Wed, 01/06/2021 - 2:25pm
Approved by NSA
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2021: January
tearline
Model-Based Explanation For Human-in-the-Loop Security - January 2021
Submitted by Jamie Presken on Wed, 01/06/2021 - 2:24pm
Approved by NSA
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2021: January
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - January 2021
Submitted by Jamie Presken on Wed, 01/06/2021 - 2:23pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2021: January
« first
‹ previous
…
4
5
6
7
8
9
10
11
12
…
next ›
last »
