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 - April 2019
Submitted by Jamie Presken on Mon, 03/11/2019 - 11:27am
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2019: April
tearline
Model-Based Explanation For Human-in-the-Loop Security - April 2019
Submitted by Jamie Presken on Mon, 03/11/2019 - 11:27am
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 - 11:26am
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 - 11:25am
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
tearline
Formal Approaches to the Ontology & Epistemology of Resilience Update 2018 Q4
Submitted by RCJBob on Tue, 02/19/2019 - 10:20am
Resilient Systems
Approved by NSA
Resilient Architectures
KU
Formal Approaches to the Ontology & Epistemology of Resilience
2019: January
tearline
Cloud-Assisted IoT Systems Privacy--2018Q4
Submitted by FengjunLi on Mon, 02/18/2019 - 5:28pm
Approved by NSA
Resilient Architectures
KU
Cloud-Assisted IoT Systems Privacy
2019: January
tearline
ICSI SoS Lablet Quarterly Executive Summary - January 2019
Submitted by Serge Egelman on Sat, 01/26/2019 - 12:07am
Approved by NSA
Human Behavior
Metrics
ICSI
Contextual Integrity for Computer Systems
Designing for Privacy
Governance for Big Data
Operationalizing Contextual Data
2019: January
tearline
Operationalizing Contextual Integrity - January 2019
Submitted by Serge Egelman on Sat, 01/26/2019 - 12:04am
Approved by NSA
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Scalability and Composability
ICSI
Operationalizing Contextual Data
2019: January
tearline
Governance for Big Data - January 2019
Submitted by Serge Egelman on Sat, 01/26/2019 - 12:00am
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
ICSI
Governance for Big Data
2019: January
tearline
Designing for Privacy - January 2019
Submitted by Serge Egelman on Fri, 01/25/2019 - 11:57pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
ICSI
Designing for Privacy
2019: January
« first
‹ previous
…
32
33
34
35
36
37
38
39
40
…
next ›
last »
