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
» CMU
CMU
biblio
Escaping AutoHell: a vision for automated analysis and migration of autotools build systems
Submitted by Jamie Presken on Mon, 01/09/2017 - 7:19am
Build system; Autotools; Autoconf; Build analysis
CMU
Jan'17
CMU
Jan'17
biblio
A Choice of Variational Stacks: Exploring Variational Data Structures
Submitted by Jamie Presken on Mon, 01/09/2017 - 7:15am
Apr'17
CMU
Variability-Aware Execution
Variational data structures
CMU
Apr'17
biblio
A Theory of Vagueness and Privacy Risk Perception
Submitted by Jamie Presken on Thu, 01/05/2017 - 1:26pm
CMU
hedging
natural language processing
Oct'16
privacy
risk perception.
vagueness
CMU
Oct'16
tearline
SoS Quarterly Summary Report - CMU - January 2017
Submitted by Jamie Presken on Wed, 12/14/2016 - 11:53am
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 - 11:52am
Approved by NSA
Scalability and Composability
Resilient Architectures
CMU
Security Reasoning for Distributed Systems with Uncertainty
FY14-18
tearline
Highly Configurable Systems - January 2017
Submitted by Jamie Presken on Wed, 12/14/2016 - 11:50am
Approved by NSA
Scalability and Composability
CMU
Highly Configurable Systems
FY14-18
tearline
Secure Composition of Systems and Policies - January 2017
Submitted by Jamie Presken on Wed, 12/14/2016 - 11:47am
Approved by NSA
Scalability and Composability
CMU
Secure Composition of Systems and Policies
FY14-18
tearline
USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) - January 2017
Submitted by Jamie Presken on Wed, 12/14/2016 - 11:46am
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
Usable Formal Methods for the Design and Composition of Security and Privacy Policies (CMU/UTSA Collaborative Proposal) - January 2017
Submitted by Jamie Presken on Wed, 12/14/2016 - 11:44am
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 - 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
FY14-18
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
