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
» OBSIDIAN LANGUAGE FOR BLOCKCHAIN
Obsidian Language for Blockchain
tearline
CMU SoS Lablet Quarterly Executive Summary - July 2020
Submitted by
Jamie Presken
on Mon, 07/06/2020 - 10:44am
Business Manager
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
2020: July
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - July 2020
Submitted by
Jamie Presken
on Mon, 07/06/2020 - 10:42am
Business Manager
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2020: July
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - April 2020
Submitted by
Jamie Presken
on Sun, 03/15/2020 - 6:16pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2020: April
tearline
CMU SoS Lablet Quarterly Executive Summary - April 2020
Submitted by
Jamie Presken
on Sun, 03/15/2020 - 6:13pm
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
2020: April
tearline
CMU SoS Lablet Quarterly Executive Summary - January 2020
Submitted by
Jamie Presken
on Mon, 12/09/2019 - 2:10pm
NSA Program Manager
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
2020: January
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - January 2020
Submitted by
Jamie Presken
on Mon, 12/09/2019 - 2:06pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2020: January
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - October 2019
Submitted by
Jamie Presken
on Mon, 09/23/2019 - 8:52am
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2019: October
tearline
CMU SoS Lablet Quarterly Executive Summary - October 2019
Submitted by
Jamie Presken
on Mon, 09/23/2019 - 8:47am
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
2019: October
tearline
CMU SoS Lablet Quarterly Executive Summary - July 2019
Submitted by
Jamie Presken
on Wed, 06/05/2019 - 8:18am
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
2019: July
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - July 2019
Submitted by
Jamie Presken
on Wed, 06/05/2019 - 8:15am
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2019: July
1
2
3
next ›
last »
