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
Energy-efficient I/O Thread Schedulers for NVMe SSDs on NUMA
Submitted by Jamie Presken on Tue, 07/11/2017 - 11:14am
August'17
CMU
Metrics
Race Vulnerability Study and Hybrid Race Detection
Scalability and Composability
Scalability and Composability
Metrics
CMU
Race Vulnerability Study and Hybrid Race Detection
August'17
biblio
An Efficient, Robust, and Scalable Approach for Analyzing Interacting Android Apps
Submitted by Jamie Presken on Tue, 07/11/2017 - 11:04am
August'17
CMU
Race Vulnerability Study and Hybrid Race Detection
CMU
Race Vulnerability Study and Hybrid Race Detection
August'17
biblio
Glacier: Transitive Class Immutability for Java
Submitted by Jamie Presken on Tue, 07/11/2017 - 10:58am
August'17
CMU
Empirical studies of programmers
Immutability
Programming language usability
Race Vulnerability Study and Hybrid Race Detection
CMU
Race Vulnerability Study and Hybrid Race Detection
August'17
biblio
Toward Semantic Foundations for Program Editors
Submitted by Jamie Presken on Tue, 07/11/2017 - 10:51am
A Language and Framework for Development of Secure Mobile Applications
August'17
CMU
program editors; type systems; live programming; program prediction
Scalability and Composability
Scalability and Composability
CMU
A Language and Framework for Development of Secure Mobile Applications
August'17
biblio
A Capability-Based Module System for Authority Control
Submitted by Jamie Presken on Tue, 07/11/2017 - 10:43am
A Language and Framework for Development of Secure Mobile Applications
August'17
authority
capabilities
CMU
language-based security
modules
Scalability and Composability
Scalability and Composability
CMU
A Language and Framework for Development of Secure Mobile Applications
August'17
tearline
SoS Quarterly Summary Report - CMU - July 2017
Submitted by Jamie Presken on Mon, 06/12/2017 - 8:23am
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
August'17
tearline
Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - July 2017
Submitted by Jamie Presken on Mon, 06/12/2017 - 8:22am
NSA Program Manager
Scalability and Composability
CMU
Security Reasoning for Distributed Systems with Uncertainty
FY14-18
August'17
tearline
Highly Configurable Systems - July 2017
Submitted by Jamie Presken on Mon, 06/12/2017 - 8:21am
Approved by NSA
Scalability and Composability
CMU
Highly Configurable Systems
FY14-18
tearline
Secure Composition of Systems and Policies - July 2017
Submitted by Jamie Presken on Mon, 06/12/2017 - 8:18am
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) - July 2017
Submitted by Jamie Presken on Mon, 06/12/2017 - 8:17am
Approved by NSA
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
Real-time Privacy Risk Evaluation and Enforcement
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
August'17
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
