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
» FY14-18
FY14-18
tearline
Human Behavior and Cyber Vulnerabilities - July 2014
Submitted by jkatz on Fri, 06/27/2014 - 5:16pm
Approved by NSA
Metrics
Human Behavior
UMD
Human Behavior and Cyber Vulnerabilities
FY14-18
July'14
tearline
Empirical Models for Vulnerability Exploits - July 2014
Submitted by jkatz on Fri, 06/27/2014 - 5:16pm
Approved by NSA
Metrics
UMD
Empirical Models for Vulnerability Exploits
FY14-18
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
Usable Formal Methods for the Design and Composition of Security and Privacy Policies (CMU/UTSA Collaborative Proposal) - July 2014
Submitted by mdereno on Tue, 06/24/2014 - 11:52am
Approved by NSA
CMU
Usable Formal Methods for the Design and Composition of Security and Privacy Policies
FY14-18
tearline
Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - July 2014
Submitted by mdereno on Tue, 06/24/2014 - 11:35am
Approved by NSA
Scalability and Composability
Resilient Architectures
CMU
Security Reasoning for Distributed Systems with Uncertainty
FY14-18
tearline
Secure Composition of Systems and Policies - July 2014
Submitted by mdereno on Tue, 06/24/2014 - 11:20am
Approved by NSA
Scalability and Composability
CMU
Secure Composition of Systems and Policies
FY14-18
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
A Language and Framework for Development of Secure Mobile Applications – July 2014
Submitted by mdereno on Mon, 06/23/2014 - 5:04pm
Approved by NSA
Scalability and Composability
Human Behavior
CMU
A Language and Framework for Development of Secure Mobile Applications
FY14-18
tearline
Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - July 2014
Submitted by mdereno on Mon, 06/23/2014 - 4:48pm
Approved by NSA
Scalability and Composability
Metrics
CMU
Race Vulnerability Study and Hybrid Race Detection
FY14-18
« first
‹ previous
…
47
48
49
50
51
52
53
54
55
next ›
last »
