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
SoS Quarterly Summary Report Jan to Mar 2015 - April 2015
Submitted by awhitesell on Fri, 04/10/2015 - 3:41pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UIUC
A Hypothesis Testing Framework for Network Security
Data Driven Security Models and Analysis
Data-Driven Model-Based Decision-Making
Science of Human Circumvention of Security
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
FY14-18
Apr'15
tearline
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems - April 2015
Submitted by awhitesell on Fri, 04/10/2015 - 3:30pm
Approved by NSA
Scalability and Composability
Metrics
UIUC
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
FY14-18
Apr'15
tearline
Data Driven Security Models and Analysis - April 2015
Submitted by awhitesell on Fri, 04/10/2015 - 3:11pm
Approved by NSA
Metrics
Resilient Architectures
Human Behavior
UIUC
Data Driven Security Models and Analysis
FY14-18
Apr'15
tearline
A Hypothesis Testing Framework for Network Security - April 2015
Submitted by awhitesell on Fri, 04/10/2015 - 1:44pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
UIUC
A Hypothesis Testing Framework for Network Security
FY14-18
Apr'15
tearline
Science of Human Cirumvention of Science - April 2015
Submitted by awhitesell on Fri, 04/10/2015 - 12:59pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
UIUC
Science of Human Circumvention of Security
FY14-18
Apr'15
tearline
Data-Driven Model-Based Decision-Making - April 2015
Submitted by awhitesell on Fri, 04/10/2015 - 11:43am
Approved by NSA
Metrics
Human Behavior
UIUC
Data-Driven Model-Based Decision-Making
FY14-18
Apr'15
tearline
Verification of Hyperproperties - UMD - April 2015
Submitted by jkatz on Thu, 03/26/2015 - 10:44am
Approved by NSA
Scalability and Composability
UMD
Verification of Hyperproperties
FY14-18
Apr'15
tearline
Reasoning about Protocols with Human Participants - UMD - April 2015
Submitted by jkatz on Thu, 03/26/2015 - 10:43am
Approved by NSA
Human Behavior
UMD
Reasoning about Protocols with Human Participants
FY14-18
Apr'15
tearline
Does the Presence of Honest Users Affect Intruders' Behavior? - UMD - April 2015
Submitted by jkatz on Thu, 03/26/2015 - 10:43am
Approved by NSA
Human Behavior
UMD
Does the Presence of Honest Users Affect Intruders' Behavior
FY14-18
Apr'15
tearline
Trustworthy and Composable Software Systems with Contracts - UMD - April 2015
Submitted by jkatz on Thu, 03/26/2015 - 10:42am
Approved by NSA
Scalability and Composability
UMD
Trustworthy and Composable Software Systems with Contracts
FY14-18
Apr'15
« first
‹ previous
…
35
36
37
38
39
40
41
42
43
…
next ›
last »
