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
» APPROVED BY NSA
Approved by NSA
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - July 2018
Submitted by scherlis on Sun, 03/11/2018 - 1: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 - 1:16pm
Approved by NSA
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2018: July
tearline
Securing Safety-Critical Machine Learning Algorithms - July 2018
Submitted by scherlis on Sun, 03/11/2018 - 1:15pm
Approved by NSA
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2018: July
tearline
USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) - July 2017
Submitted by Jamie Presken on Mon, 06/12/2017 - 8:17am
Approved by NSA
NSA Program Manager
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
CMU
A Language and Framework for Development of Secure Mobile Applications
Epistemic Models for Security
Geo-Temporal Characterization of Security Threats
Highly Configurable Systems
Multi-Model Run-Time Security Analysis
Race Vulnerability Study and Hybrid Race Detection
Real-time Privacy Risk Evaluation and Enforcement
Science of Secure Frameworks
Secure Composition of Systems and Policies
Security Reasoning for Distributed Systems with Uncertainty
Usable Formal Methods for the Design and Composition of Security and Privacy Policies
USE: User Security Behavior
August'17
« first
‹ previous
…
36
37
38
39
40
41
42
43
44
