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 2019
Submitted by Jamie Presken on Mon, 03/11/2019 - 12:27pm
Approved by NSA
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2019: April
tearline
Securing Safety-Critical Machine Learning Algorithms - April 2019
Submitted by Jamie Presken on Mon, 03/11/2019 - 12:26pm
Approved by NSA
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2019: April
tearline
CMU SoS Lablet Quarterly Executive Summary - April 2019
Submitted by Jamie Presken on Mon, 03/11/2019 - 12:25pm
Approved by NSA
CMU
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2019: April
biblio
Obsidian in the Rough: A Case Study Evaluation of a New Blockchain Programming Language
Submitted by Jamie Presken on Thu, 01/24/2019 - 12:58pm
2019: January
CMU
Human behavior
Obsidian Language for Blockchain
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2019: January
biblio
Interdisciplinary programming language design
Submitted by Jamie Presken on Thu, 01/24/2019 - 12:45pm
2019: January
CMU
Human behavior
Obsidian Language for Blockchain
Policy-Governed Secure Collaboration
Programming language design
programming language evaluation
Resilient Architectures
Scalability and Composability
User-Centered Design
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2019: January
tearline
CMU SoS Lablet Quarterly Executive Summary - January 2019
Submitted by Jamie Presken on Mon, 12/17/2018 - 12:09pm
Approved by NSA
CMU
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2019: January
tearline
Securing Safety-Critical Machine Learning Algorithms - January 2019
Submitted by Jamie Presken on Mon, 12/17/2018 - 12:08pm
Approved by NSA
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2019: January
tearline
Model-Based Explanation For Human-in-the-Loop Security - January 2019
Submitted by Jamie Presken on Mon, 12/17/2018 - 12:07pm
Approved by NSA
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2019: January
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - January 2019
Submitted by Jamie Presken on Mon, 12/17/2018 - 12:06pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2019: January
biblio
Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation
Submitted by Jamie Presken on Tue, 10/16/2018 - 10:06am
Adaptive system; Uncertainty; Uncertainty awareness; Uncertainty reduction; Decision making
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2018: July
« first
‹ previous
…
7
8
9
10
11
12
13
14
15
next ›
last »
