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
» 2019: JANUARY
2019: January
tearline
Securing Safety-Critical Machine Learning Algorithms - January 2019
Submitted by Jamie Presken on Mon, 12/17/2018 - 11:08am
Approved by NSA
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2019: January
tearline
Model-Based Explanation For Human-in-the-Loop Security - January 2019
Submitted by Jamie Presken on Mon, 12/17/2018 - 11:07am
Approved by NSA
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2019: January
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - January 2019
Submitted by Jamie Presken on Mon, 12/17/2018 - 11:06am
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2019: January
« first
‹ previous
1
2
3
4
