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 - January 2022
Submitted by Jamie Presken on Sun, 01/02/2022 - 12:56pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2022: January
tearline
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - January 2022
Submitted by Jamie Presken on Sun, 01/02/2022 - 12:55pm
Approved by NSA
Human Behavior
CMU
Security Behavior Observatory
2022: January
tearline
CMU SoS Lablet Quarterly Executive Summary - January 2022
Submitted by Jamie Presken on Sun, 01/02/2022 - 12:55pm
Approved by NSA
CMU
Security Behavior Observatory
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2022: January
tearline
Policy Analytics for Cybersecurity of Cyber-Physical Systems: January 2022 (Y4, Q3)
Submitted by Nazli Choucri on Thu, 12/16/2021 - 4:28pm
Defense
Critical Infrastructure
Policy-Governed Secure Collaboration
Vanderbilt
Approved by NSA
Policy-Governed Secure Collaboration
VU
Analytics for Cyber-Physical System Cybersecurity
2022: January
tearline
Reasoning about Accidental and Malicious Misuse via Formal Methods
Submitted by Saikath on Tue, 12/07/2021 - 1:24am
Approved by NSA
Policy-Governed Secure Collaboration
NCSU
Reasoning about Accidental and Malicious Misuse via Formal Methods
2022: January
tearline
Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities
Submitted by Saikath on Tue, 12/07/2021 - 1:22am
Approved by NSA
Metrics
NCSU
Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities
2022: January
tearline
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
Submitted by Saikath on Tue, 12/07/2021 - 1:19am
Approved by NSA
Resilient Architectures
NCSU
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
2022: January
tearline
Operationalizing Contextual Integrity - October 2021
Submitted by Serge Egelman on Mon, 10/18/2021 - 1:11pm
Approved by NSA
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Scalability and Composability
ICSI
Operationalizing Contextual Data
2021: October
tearline
KU SoS Lablet Quarterly Executive Summary - 2021 Q3
Submitted by Warren Alexander on Mon, 10/18/2021 - 9:49am
Approved by NSA
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
2022: October
tearline
Scalable Trust Semantics & Infrastructure — 2021 Q3
Submitted by Warren Alexander on Mon, 10/18/2021 - 9:36am
Approved by NSA
Policy-Governed Secure Collaboration
Scalability and Composability
KU
Scalable Trust Semantics & Infrastructure
2022: October
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
