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
Understanding how Users Process Security Advice - UMD - January 2016
Submitted by jkatz on Tue, 02/02/2016 - 9:10am
NSA Program Manager
Human Behavior
UMD
Understanding How Users Process Security Advice
FY14-18
Jan'16
tearline
SoS Quarterly Summary Report - CMU - January 2016
Submitted by Jamie Presken on Thu, 01/14/2016 - 11:28am
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
CMU
A Language and Framework for Development of Secure Mobile Applications
Epistemic Models for Security
Geo-Temporal Characterization of Security Threats
Highly Configurable Systems
Multi-Model Run-Time Security Analysis
Race Vulnerability Study and Hybrid Race Detection
Science of Secure Frameworks
Secure Composition of Systems and Policies
Security Reasoning for Distributed Systems with Uncertainty
Usable Formal Methods for the Design and Composition of Security and Privacy Policies
USE: User Security Behavior
FY14-18
Jan'16
tearline
SoS Quarterly Summary Report - January 2016
Submitted by awhitesell on Fri, 01/08/2016 - 4:11pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UIUC
FY14-18
Jan'16
tearline
Data-Driven Model-Based Decision-Making - January 2016
Submitted by awhitesell on Fri, 01/08/2016 - 3:11pm
Approved by NSA
Metrics
Human Behavior
UIUC
Data-Driven Model-Based Decision-Making
FY14-18
Jan'16
tearline
A Hypothesis Testing Framework for Network Security - January 2016
Submitted by awhitesell on Thu, 01/07/2016 - 11:36am
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
UIUC
A Hypothesis Testing Framework for Network Security
FY14-18
Jan'16
tearline
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems - January 2016
Submitted by awhitesell on Wed, 01/06/2016 - 2:41pm
Approved by NSA
Scalability and Composability
Metrics
UIUC
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
FY14-18
Jan'16
tearline
Data Driven Security Models and Analysis - January 2016
Submitted by awhitesell on Wed, 01/06/2016 - 2:23pm
Approved by NSA
Metrics
Resilient Architectures
Human Behavior
UIUC
Data Driven Security Models and Analysis
FY14-18
Jan'16
tearline
Science of Human Cirumvention of Security - January 2016
Submitted by awhitesell on Wed, 01/06/2016 - 12:39pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
UIUC
Science of Human Circumvention of Security
FY14-18
Jan'16
tearline
Epistemic models for security - January 2016
Submitted by Jamie Presken on Thu, 12/10/2015 - 9:29am
Approved by NSA
Scalability and Composability
CMU
Epistemic Models for Security
FY14-18
Jan'16
tearline
Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - January 2016
Submitted by Jamie Presken on Thu, 12/10/2015 - 9:28am
Approved by NSA
Scalability and Composability
Metrics
CMU
Race Vulnerability Study and Hybrid Race Detection
FY14-18
« first
‹ previous
…
23
24
25
26
27
28
29
30
31
…
next ›
last »
