Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
SoS Lablet Reports
CPS-VO
»
SoS Archives
»
SoS Lablet Reports
» JULY'14
July'14
tearline
Trustworthy and Composable Software Systems with Contracts - July 2014
Submitted by jkatz on Fri, 06/27/2014 - 5:16pm
Approved by NSA
Scalability and Composability
Metrics
UMD
Trustworthy and Composable Software Systems with Contracts
FY14-18
July'14
tearline
Verifcation of Hyperproperties (Apr-Jun '14) - July 2014
Submitted by jkatz on Fri, 06/27/2014 - 5:15pm
Approved by NSA
Scalability and Composability
UMD
Verification of Hyperproperties
FY14-18
July'14
tearline
USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) July 2014
Submitted by mdereno on Mon, 06/23/2014 - 6:10pm
Approved by NSA
Human Behavior
CMU
USE: User Security Behavior
FY14-18
July'14
tearline
SoS Quarterly Project Report - UMD (Template)
Submitted by jkatz on Sun, 06/19/1983 - 3:45pm
Business Manager
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UMD
July'14
« first
‹ previous
1
2
3
4
5
6
