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 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
biblio
A General Framework for Adversarial Examples with Objectives
Submitted by Jamie Presken on Mon, 07/08/2019 - 10:33am
2019: July
adversarial examples
CMU
face recognition
machine learning
Metrics
Neural networks
Resilient Architectures
Safety Critical ML
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2019: July
biblio
Interactive Explanation for Planning-Based Systems
Submitted by Jamie Presken on Mon, 07/08/2019 - 10:24am
2019: July
CMU
Explainable Planning
Interactive Explanation
Markov Decision Process Planning
Metrics
Model-Based Explanation For Human-in-the-Loop Security
Resilient Architectures
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2019: July
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
Securing Safety-Critical Machine Learning Algorithms - July 2019
Submitted by Jamie Presken on Wed, 06/05/2019 - 8:17am
Approved by NSA
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2019: July
tearline
Model-Based Explanation For Human-in-the-Loop Security - July 2019
Submitted by Jamie Presken on Wed, 06/05/2019 - 8:16am
Approved by NSA
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
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
tearline
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - July 2019
Submitted by Jamie Presken on Wed, 06/05/2019 - 8:15am
Approved by NSA
Human Behavior
CMU
Security Behavior Observatory
2019: July
tearline
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - April 2019
Submitted by Lorrie Cranor on Mon, 03/11/2019 - 3:24pm
Approved by NSA
Human Behavior
CMU
Security Behavior Observatory
2019: April
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - April 2019
Submitted by Jamie Presken on Mon, 03/11/2019 - 12:27pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2019: April
« first
‹ previous
…
7
8
9
10
11
12
13
14
15
next ›
last »
