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
» 2023: JANUARY
2023: January
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - January 2023
Submitted by Jamie Presken on Tue, 12/13/2022 - 3:23pm
NSA Program Manager
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2023: January
tearline
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - January 2023
Submitted by Jamie Presken on Tue, 12/13/2022 - 3:23pm
NSA Program Manager
Human Behavior
CMU
Security Behavior Observatory
2023: January
tearline
CMU SoS Lablet Quarterly Executive Summary - January 2023
Submitted by Jamie Presken on Tue, 12/13/2022 - 3:22pm
NSA Program Manager
CMU
Security Behavior Observatory
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2023: January
tearline
Model-Based Explanation For Human-in-the-Loop Security - January 2023
Submitted by Jamie Presken on Tue, 12/13/2022 - 3:21pm
NSA Program Manager
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2023: January
« first
‹ previous
1
2
3
