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
» 2021: JANUARY
2021: January
biblio
Obsidian: Typestate and Assets for Safer Blockchain Programming
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:37pm
alias control
blockchain
linearity
ownership
permissions
smart contracts
type systems
typestate
CMU
Obsidian Language for Blockchain
2021: January
biblio
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:29pm
assets
blockchain
empirical studies of programming languages
linear types
ownership
permissions
smart contracts
typestate
CMU
Obsidian Language for Blockchain
2021: January
tearline
Scalable Privacy Analysis - January 2021
Submitted by Serge Egelman on Wed, 02/10/2021 - 6:32pm
Approved by NSA
Metrics
Policy-Governed Secure Collaboration
Scalability and Composability
ICSI
Scalable Privacy Analysis
2021: January
tearline
Operationalizing Contextual Integrity - January 2021
Submitted by Serge Egelman on Wed, 02/10/2021 - 6:27pm
Approved by NSA
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Scalability and Composability
ICSI
Operationalizing Contextual Data
2021: January
tearline
Governance for Big Data - January 2021
Submitted by Serge Egelman on Wed, 02/10/2021 - 6:22pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
ICSI
Governance for Big Data
2021: January
tearline
Designing for Privacy - January 2021
Submitted by Serge Egelman on Wed, 02/10/2021 - 6:18pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
ICSI
Designing for Privacy
2021: January
tearline
VU SoS Lablet Quarterly Executive Summary - Jan 2021
Submitted by Xenofon Koutsoukos on Thu, 01/21/2021 - 11:55am
Architectures
Modeling
Resilient Systems
Simulation
Approved by NSA
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
VU
Analytics for Cyber-Physical System Cybersecurity
Foundations of a CPS Resilience
Mixed Initiative and Collaborative Learning in Adversarial Environments
Multi-model Test Bed for the Simulation-based Evaluation of Resilience
2021: January
tearline
VU SoS Lablet Quarterly Executive Summary - Jan 2021
Submitted by Xenofon Koutsoukos on Thu, 01/21/2021 - 11:51am
Architectures
Modeling
Resilient Systems
Simulation
Approved by NSA
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
VU
Analytics for Cyber-Physical System Cybersecurity
Foundations of a CPS Resilience
Mixed Initiative and Collaborative Learning in Adversarial Environments
Multi-model Test Bed for the Simulation-based Evaluation of Resilience
2021: January
tearline
Policy Analytics for Cybersecurity of Cyber-Physical Systems: January 2021 (Y3, Q3)
Submitted by Nazli Choucri on Wed, 01/13/2021 - 4:58pm
Defense
Critical Infrastructure
Vanderbilt
Approved by NSA
Policy-Governed Secure Collaboration
VU
Analytics for Cyber-Physical System Cybersecurity
2021: January
tearline
UIUC SoS Lablet Quarterly Executive Summary - January 2021
Submitted by mikeprosise on Mon, 01/11/2021 - 12:03pm
Approved by NSA
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
UIUC
Automated Synthesis Framework for Network Security and Resilience
Monitoring, Fusion, and Response for Cyber Resilience
Uncertainty in Security Analysis
2021: January
1
2
3
4
next ›
last »
