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
A Language and Framework for Development of Secure Mobile Applications - January 2016
Submitted by Jamie Presken on Thu, 12/10/2015 - 9:27am
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) - January 2016
Submitted by Jamie Presken on Thu, 12/10/2015 - 9:26am
Approved by NSA
Human Behavior
CMU
USE: User Security Behavior
FY14-18
Jan'16
tearline
Secure Composition of Systems and Policies - January 2016
Submitted by Jamie Presken on Thu, 12/10/2015 - 9:24am
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) - January 2016
Submitted by Jamie Presken on Thu, 12/10/2015 - 9:22am
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) - January 2016
Submitted by Jamie Presken on Thu, 12/10/2015 - 9:21am
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 - January 2016
Submitted by Jamie Presken on Thu, 12/10/2015 - 9:20am
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Human Behavior
CMU
Geo-Temporal Characterization of Security Threats
FY14-18
Jan'16
tearline
Highly Configurable Systems - January 2016
Submitted by Jamie Presken on Thu, 12/10/2015 - 9:19am
Approved by NSA
Scalability and Composability
CMU
Highly Configurable Systems
FY14-18
tearline
NCSU SoS Lablet Evaluation - January 2016
Submitted by drwright on Tue, 12/01/2015 - 2:21pm
Approved by NSA
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
NCSU
NCSU PROJECTS:(select all that apply)
FY14-18
Jan'16
tearline
NCSU SoS Lablet Research Methods, Community Development and Support - January 2016
Submitted by drwright on Tue, 12/01/2015 - 2:18pm
Approved by NSA
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
NCSU
NCSU PROJECTS:(select all that apply)
FY14-18
Jan'16
tearline
Automated Synthesis of Resilient Architectures - January 2016
Submitted by drwright on Tue, 12/01/2015 - 2:16pm
Automated Synthesis of Resilient Architectures
Approved by NSA
Resilient Architectures
NCSU
Automated Synthesis of Resilient Architectures
FY14-18
Jan'16
« first
‹ previous
…
24
25
26
27
28
29
30
31
32
…
next ›
last »
