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
A Language and Framework for Development of Secure Mobile Applications - January 2017
Submitted by
Jamie Presken
on Wed, 12/14/2016 - 11:43am
Approved by NSA
Scalability and Composability
Human Behavior
CMU
A Language and Framework for Development of Secure Mobile Applications
Jan'17
tearline
Real-time Privacy Risk Evaluation and Enforcement - October 2016
Submitted by
Jamie Presken
on Thu, 09/22/2016 - 8:08am
Approved by NSA
Metrics
Human Behavior
CMU
Real-time Privacy Risk Evaluation and Enforcement
Oct'16
tearline
Real-time Privacy Risk Evaluation and Enforcement - July 2016
Submitted by
Jamie Presken
on Mon, 09/19/2016 - 6:23am
Approved by NSA
Metrics
Human Behavior
CMU
Real-time Privacy Risk Evaluation and Enforcement
July'16
tearline
SoS Quarterly Summary Report - CMU - October 2016
Submitted by
Jamie Presken
on Thu, 09/15/2016 - 7:12am
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
Oct'16
tearline
Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - October 2016
Submitted by
Jamie Presken
on Thu, 09/15/2016 - 7:11am
Approved by NSA
Scalability and Composability
Metrics
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
Oct'16
tearline
A Language and Framework for Development of Secure Mobile Applications - October 2016
Submitted by
Jamie Presken
on Thu, 09/15/2016 - 7:10am
Approved by NSA
Scalability and Composability
Human Behavior
CMU
A Language and Framework for Development of Secure Mobile Applications
Oct'16
tearline
Usable Formal Methods for the Design and Composition of Security and Privacy Policies (CMU/UTSA Collaborative Proposal) - October 2016
Submitted by
Jamie Presken
on Thu, 09/15/2016 - 7:09am
Approved by NSA
Metrics
Human Behavior
CMU
Usable Formal Methods for the Design and Composition of Security and Privacy Policies
Oct'16
tearline
USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) - October 2016
Submitted by
Jamie Presken
on Thu, 09/15/2016 - 7:08am
Approved by NSA
Human Behavior
CMU
USE: User Security Behavior
Oct'16
tearline
Secure Composition of Systems and Policies - October 2016
Submitted by
Jamie Presken
on Thu, 09/15/2016 - 7:06am
Approved by NSA
Scalability and Composability
CMU
Secure Composition of Systems and Policies
Oct'16
tearline
Science of Secure Frameworks (CMU/Wayne State University/George Mason University Collaborative Proposal) - October 2016
Submitted by
Jamie Presken
on Thu, 09/15/2016 - 7:05am
Approved by NSA
Scalability and Composability
Resilient Architectures
CMU
Science of Secure Frameworks
Oct'16
1
2
3
4
5
6
7
8
9
…
next ›
last »
