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
CMU SoS Lablet Quarterly Executive Summary - October 2018
Submitted by Jamie Presken on Thu, 09/13/2018 - 2:34pm
Approved by NSA
CMU
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2018: October
tearline
Securing Safety-Critical Machine Learning Algorithms - October 2018
Submitted by Jamie Presken on Thu, 09/13/2018 - 2:34pm
Approved by NSA
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2018: October
tearline
Model-Based Explanation For Human-in-the-Loop Security - October 2018
Submitted by Jamie Presken on Thu, 09/13/2018 - 2:33pm
Approved by NSA
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2018: October
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - October 2018
Submitted by Jamie Presken on Thu, 09/13/2018 - 2:32pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2018: October
biblio
Quantitative underpinnings of secure, graceful degradation (Poster)
Submitted by Jamie Presken on Tue, 07/03/2018 - 11:49am
advanced persistent threat
security
self-adaptive systems
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2018: July
biblio
Towards Explainable Multi-Objective Probabilistic Planning
Submitted by Jamie Presken on Tue, 07/03/2018 - 11:42am
explainable software
probabilistic planning
Self-Adaptation
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2018: July
biblio
On the Suitability of Lp-norms for Creating and Preventing Adversarial Examples
Submitted by Jamie Presken on Tue, 07/03/2018 - 11:08am
2018: July
CMU
Metrics
Resilient Architectures
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2018: July
tearline
CMU SoS Lablet Quarterly Executive Summary_July 2018
Submitted by scherlis on Mon, 03/19/2018 - 10:19pm
Approved by NSA
CMU
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2018: July
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - July 2018
Submitted by scherlis on Sun, 03/11/2018 - 2:17pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2018: July
tearline
Model-Based Explanation For Human-in-the-Loop Security - July 2018
Submitted by scherlis on Sun, 03/11/2018 - 2:16pm
Approved by NSA
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 »
