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
» SCALABILITY AND COMPOSABILITY
Scalability and Composability
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - July 2018
Submitted by scherlis on Sun, 03/11/2018 - 2:17pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2018: July
« first
‹ previous
…
10
11
12
13
14
15
16
17
18
