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
» UMD
UMD
tearline
Understanding Developers' Reasoning about Privacy and Security - UMD - January 2015
Submitted by kshilton on Mon, 01/05/2015 - 8:51pm
Approved by NSA
Human Behavior
UMD
Understanding Developers' Reasoning about Privacy and Security
FY14-18
Jan'15
tearline
Trustworthy and Composable Software Systems with Contracts - UMD - January 2015
Submitted by dvanhorn on Mon, 01/05/2015 - 3:22pm
Approved by NSA
Scalability and Composability
UMD
Trustworthy and Composable Software Systems with Contracts
FY14-18
Jan'15
tearline
Does the Presence of Honest Users Affect Intruders' Behavior? - UMD - January 2015
Submitted by Michel Cukier on Mon, 01/05/2015 - 12:45pm
Approved by NSA
Human Behavior
UMD
Does the Presence of Honest Users Affect Intruders' Behavior
FY14-18
Jan'15
tearline
Reasoning about Protocols with Human Participants - UMD - January 2015
Submitted by poorvi on Sun, 01/04/2015 - 2:02pm
Approved by NSA
Human Behavior
UMD
Reasoning about Protocols with Human Participants
FY14-18
Jan'15
tearline
Verification of Hyperproperties - UMD - January 2015
Submitted by clarksmr on Sat, 01/03/2015 - 7:20pm
Approved by NSA
Scalability and Composability
UMD
Verification of Hyperproperties
FY14-18
Jan'15
tearline
SoS Quarterly Summary Report - UMD - October 2014
Submitted by jkatz on Wed, 10/15/2014 - 3:16pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UMD
UMD PROJECTS:
FY14-18
Oct'14
tearline
Verification of Hyperproperties - UMD - October 2014
Submitted by cflowers on Fri, 10/10/2014 - 2:26pm
Approved by NSA
Scalability and Composability
UMD
Verification of Hyperproperties
FY14-18
Oct'14
tearline
Trustworthy and Composable Software Systems with Contracts - UMD - October 2014
Submitted by cflowers on Fri, 10/10/2014 - 2:25pm
Approved by NSA
Scalability and Composability
UMD
Trustworthy and Composable Software Systems with Contracts
FY14-18
Oct'14
tearline
Empirical Models for Vulnerability Exploits - UMD - October 2014
Submitted by cflowers on Fri, 10/10/2014 - 2:25pm
Approved by NSA
Metrics
UMD
Empirical Models for Vulnerability Exploits
FY14-18
Oct'14
tearline
Human Behavior and Cyber Vulnerabilities - UMD - October 2014
Submitted by cflowers on Fri, 10/10/2014 - 2:24pm
Approved by NSA
Metrics
Human Behavior
UMD
Human Behavior and Cyber Vulnerabilities
FY14-18
Oct'14
« first
‹ previous
…
6
7
8
9
10
11
12
13
14
next ›
last »
