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
Home
All
CMU
NCSU
UIUC
UMD
Publications
HSR Guidance
Logo Directory
Members
Files
CPS-VO
»
SoS Archives
»
SoS Lablet Reports
» APPROVED BY NSA
Approved by NSA
The report has been accepted by the NSA.
tearline
Multi-model run-time security analysis - October 2017
Submitted by
Jamie Presken
on Mon, 10/02/2017 - 1:11pm
Approved by NSA
Scalability and Composability
Metrics
Resilient Architectures
Multi-Model Run-Time Security Analysis
tearline
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems - July 2017
Submitted by
awhitesell
on Fri, 07/07/2017 - 12:23pm
Approved by NSA
Scalability and Composability
Metrics
UIUC
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
August'17
tearline
Highly Configurable Systems - July 2017
Submitted by
Jamie Presken
on Mon, 06/12/2017 - 9:21am
Approved by NSA
Scalability and Composability
CMU
Highly Configurable Systems
FY14-18
tearline
Multi-model run-time security analysis - July 2017
Submitted by
Jamie Presken
on Mon, 06/12/2017 - 9:20am
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) - July 2017
Submitted by
Jamie Presken
on Mon, 06/12/2017 - 9:19am
Approved by NSA
Scalability and Composability
Resilient Architectures
Science of Secure Frameworks
tearline
Secure Composition of Systems and Policies - July 2017
Submitted by
Jamie Presken
on Mon, 06/12/2017 - 9:18am
Approved by NSA
Scalability and Composability
CMU
Secure Composition of Systems and Policies
FY14-18
tearline
Usable Formal Methods for the Design and Composition of Security and Privacy Policies (CMU/UTSA Collaborative Proposal) - July 2017
Submitted by
Jamie Presken
on Mon, 06/12/2017 - 9:15am
Approved by NSA
CMU
Usable Formal Methods for the Design and Composition of Security and Privacy Policies
FY14-18
tearline
A Language and Framework for Development of Secure Mobile Applications - July 2017
Submitted by
Jamie Presken
on Mon, 06/12/2017 - 9:14am
Approved by NSA
Scalability and Composability
Human Behavior
CMU
A Language and Framework for Development of Secure Mobile Applications
FY14-18
tearline
Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - July 2017
Submitted by
Jamie Presken
on Mon, 06/12/2017 - 9:13am
Approved by NSA
Scalability and Composability
Metrics
CMU
Race Vulnerability Study and Hybrid Race Detection
FY14-18
tearline
Real-time Privacy Risk Evaluation and Enforcement - July 2017
Submitted by
Jamie Presken
on Mon, 06/12/2017 - 9:12am
Approved by NSA
Metrics
Human Behavior
CMU
Real-time Privacy Risk Evaluation and Enforcement
FY14-18
1
2
3
4
5
6
7
8
9
…
next ›
last »
