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
» RESILIENT ARCHITECTURES
Resilient Architectures
tearline
Data Driven Security Models and Analysis - January 2017
Submitted by awhitesell on Tue, 01/10/2017 - 5:56pm
NSA Program Manager
Metrics
Resilient Architectures
Human Behavior
UIUC
Data Driven Security Models and Analysis
FY14-18
Jan'17
tearline
A Hypothesis Testing Framework for Network Security - January 2017
Submitted by awhitesell on Tue, 01/10/2017 - 4:43pm
NSA Program Manager
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
UIUC
A Hypothesis Testing Framework for Network Security
FY14-18
Jan'17
biblio
A Study of Security Vulnerabilities on Docker Hub
Submitted by enck on Tue, 01/03/2017 - 11:08am
NCSU
Resilient Architectures
Smart Isolation in Large-Scale Production Computing Infrastructures
Resilient Architectures
NCSU
Smart Isolation in Large-Scale Production Computing Infrastructures
tearline
SoS Quarterly Summary Report - CMU - January 2017
Submitted by Jamie Presken on Wed, 12/14/2016 - 12:53pm
NSA Program Manager
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'17
tearline
Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - January 2017
Submitted by Jamie Presken on Wed, 12/14/2016 - 12:52pm
Approved by NSA
Scalability and Composability
Resilient Architectures
CMU
Security Reasoning for Distributed Systems with Uncertainty
FY14-18
tearline
Multi-model run-time security analysis - January 2017
Submitted by Jamie Presken on Wed, 12/14/2016 - 12:49pm
Approved by NSA
Scalability and Composability
Metrics
Resilient Architectures
Multi-Model Run-Time Security Analysis
tearline
Science of Secure Frameworks (CMU/Wayne State University/George Mason University Collaborative Proposal) - January 2017
Submitted by Jamie Presken on Wed, 12/14/2016 - 12:48pm
Approved by NSA
Scalability and Composability
Resilient Architectures
Science of Secure Frameworks
tearline
USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) - January 2017
Submitted by Jamie Presken on Wed, 12/14/2016 - 12:46pm
NSA Program Manager
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'17
tearline
Other Projects - January 2017
Submitted by drwright on Mon, 12/12/2016 - 4:10pm
NSA Program Manager
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
NCSU
Support, and Other Projects
FY14-18
Jan'17
tearline
Smart Isolation in Large-Scale Production Computing Infrastructures - January 2017
Submitted by drwright on Mon, 12/12/2016 - 3:40pm
Smart Isolation in Large-Scale Production Computing Infrastructures
NSA Program Manager
Resilient Architectures
NCSU
Smart Isolation in Large-Scale Production Computing Infrastructures
FY14-18
Jan'17
« first
‹ previous
…
2
3
4
5
6
7
8
9
10
…
next ›
last »
