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
Automated Synthesis of Resilient Architectures - October 2014
Submitted by drwright on Wed, 09/24/2014 - 1:20pm
Approved by NSA
Resilient Architectures
NCSU
Automated Synthesis of Resilient Architectures
FY14-18
Oct'14
tearline
Epistemic Models for Security - October 2014
Submitted by Jamie Presken on Wed, 09/24/2014 - 7:55am
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
CMU
Epistemic Models for Security
FY14-18
Oct'14
tearline
Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - October 2014
Submitted by Jamie Presken on Wed, 09/24/2014 - 7:50am
Approved by NSA
Scalability and Composability
Metrics
CMU
Race Vulnerability Study and Hybrid Race Detection
FY14-18
tearline
A Language and Framework for Development of Secure Mobile Applications - October 2014
Submitted by Jamie Presken on Wed, 09/24/2014 - 7:45am
Approved by NSA
Scalability and Composability
Human Behavior
CMU
A Language and Framework for Development of Secure Mobile Applications
FY14-18
tearline
USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) - October 2014
Submitted by Jamie Presken on Wed, 09/24/2014 - 7:44am
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
CMU
USE: User Security Behavior
FY14-18
Oct'14
tearline
Secure Composition of Systems and Policies - October 2014
Submitted by Jamie Presken on Wed, 09/24/2014 - 7:40am
Approved by NSA
Scalability and Composability
CMU
Secure Composition of Systems and Policies
FY14-18
tearline
Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - October 2014
Submitted by Jamie Presken on Wed, 09/24/2014 - 7:36am
Approved by NSA
Scalability and Composability
Resilient Architectures
CMU
Security Reasoning for Distributed Systems with Uncertainty
FY14-18
tearline
Usable Formal Methods for the Design and Composition of Security and Privacy Policies (CMU/UTSA Collaborative Proposal) - October 2014
Submitted by Jamie Presken on Wed, 09/24/2014 - 7:35am
Approved by NSA
CMU
Usable Formal Methods for the Design and Composition of Security and Privacy Policies
FY14-18
tearline
Geo-Temporal Characterization of Security Threats - October 2014
Submitted by mdereno on Tue, 09/23/2014 - 11:45am
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
CMU
Geo-Temporal Characterization of Security Threats
FY14-18
Oct'14
tearline
Highly Configurable Systems - October 2014
Submitted by mdereno on Tue, 09/23/2014 - 11:33am
Approved by NSA
Scalability and Composability
CMU
Highly Configurable Systems
FY14-18
« first
‹ previous
…
46
47
48
49
50
51
52
53
54
next ›
last »
