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
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - January 2021
Submitted by Jamie Presken on Wed, 01/06/2021 - 2:21pm
Approved by NSA
Human Behavior
CMU
Security Behavior Observatory
2021: January
tearline
Security Science Research Experience for Undergraduates - October 2020
Submitted by Jamie Presken on Tue, 10/06/2020 - 3:42pm
Approved by NSA
CMU
CMU PROJECTS (select all that apply)
2020: October
tearline
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - October 2020
Submitted by Jamie Presken on Sun, 09/13/2020 - 6:48pm
Approved by NSA
Human Behavior
CMU
Security Behavior Observatory
2020: October
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - October 2020
Submitted by Jamie Presken on Sun, 09/13/2020 - 6:48pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2020: October
tearline
Model-Based Explanation For Human-in-the-Loop Security - October 2020
Submitted by Jamie Presken on Sun, 09/13/2020 - 6:47pm
Approved by NSA
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2020: October
tearline
Securing Safety-Critical Machine Learning Algorithms - October 2020
Submitted by Jamie Presken on Sun, 09/13/2020 - 6:47pm
Approved by NSA
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2020: October
tearline
CMU SoS Lablet Quarterly Executive Summary - October 2020
Submitted by Jamie Presken on Sun, 09/13/2020 - 6:46pm
Approved by NSA
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
CMU PROJECTS (select all that apply)
2020: October
biblio
(How) Do people change their passwords after a breach?
Submitted by Jamie Presken on Mon, 07/13/2020 - 1:42pm
data breaches
passwords
security behavior
CMU
2020: July
biblio
Explanations for Human-on-the-loop: A Probabilistic Model Checking Approach
Submitted by Jamie Presken on Wed, 07/08/2020 - 10:24am
explainable software
model checking
Self-adaptation.
CMU
2020: July
tearline
CMU SoS Lablet Quarterly Executive Summary - July 2020
Submitted by Jamie Presken on Mon, 07/06/2020 - 10:44am
Approved by NSA
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Security Behavior Observatory
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2020: July
« first
‹ previous
…
5
6
7
8
9
10
11
12
13
…
next ›
last »
