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
» 2020: OCTOBER
2020: October
biblio
Defense through diverse directions
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:32pm
CMU
Securing Safety-Critical Machine Learning Algorithms
2020: October
biblio
Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:27pm
CMU
Model-Based Explanation For Human-in-the-Loop Security
2020: October
biblio
Tradeoff-Focused Contrastive Explanation for MDP Planning
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:22pm
2020: October
CMU
Model-Based Explanation For Human-in-the-Loop Security
CMU
Model-Based Explanation For Human-in-the-Loop Security
2020: October
biblio
Psamathe: a DSL for safe blockchain assets
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:15pm
CMU
Obsidian Language for Blockchain
2020: October
biblio
User-Centered Design of Principled Programming Languages
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:41pm
2020: October
blockchain
CMU
Empirical studies of programmers
Immutability
Obsidian Language for Blockchain
smart contract languages
usability of programming languages
user-centered programming language design
CMU
Obsidian Language for Blockchain
2020: October
tearline
Mixed Initiative and Collaborative Learning in Adversarial Environments (October 2020 and January 2021)
Submitted by willirn1 on Mon, 01/11/2021 - 11:23am
Architectures
Critical Infrastructure
Approved by NSA
Human Behavior
Resilient Architectures
Scalability and Composability
VU
Mixed Initiative and Collaborative Learning in Adversarial Environments
2020: October
tearline
Scalable Trust Semantics & Infrastructure — 2020 Q4
Submitted by Warren Alexander on Mon, 01/11/2021 - 10:49am
Approved by NSA
Policy-Governed Secure Collaboration
Scalability and Composability
KU
Scalable Trust Semantics & Infrastructure
2020: October
tearline
KU SoS Lablet Quarterly Executive Summary - 2020 Q4
Submitted by Warren Alexander on Mon, 01/11/2021 - 10:45am
Research Program Overview
Approved by NSA
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
KU
Cloud-Assisted IoT Systems Privacy
Formal Approaches to the Ontology & Epistemology of Resilience
Scalable Trust Semantics & Infrastructure
Side-Channel Attack Resistance
Secure Native Binary Execution
2020: October
tearline
Designing for Privacy - October 2020
Submitted by Serge Egelman on Tue, 12/15/2020 - 5:12pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
ICSI
Designing for Privacy
2020: October
tearline
Contextual Integrity for Computer Systems - October 2020
Submitted by Serge Egelman on Tue, 12/15/2020 - 5:12pm
Approved by NSA
Policy-Governed Secure Collaboration
Scalability and Composability
ICSI
Contextual Integrity for Computer Systems
2020: October
1
2
3
4
next ›
last »
