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
A Course-Based Usability Analysis of Cilk Plus and OpenMP
Submitted by Jamie Presken on Wed, 02/10/2016 - 3:05pm
CMU
July'15
CMU
July'15
biblio
Composable and Hygienic Typed Syntax Macros
Submitted by Jamie Presken on Wed, 02/10/2016 - 2:49pm
Apr'15
CMU
extensible syntax; macros; hygiene; type inference
CMU
Apr'15
biblio
Searching the State Space: A Qualitative Study of API Protocol Usability
Submitted by Jamie Presken on Wed, 02/10/2016 - 2:44pm
CMU
July'15
CMU
July'15
biblio
A Theory of Tagged Objects.
Submitted by Jamie Presken on Wed, 02/10/2016 - 2:39pm
classes
CMU
July'15
nominal and structural types
objects
tags
CMU
July'15
biblio
Delegation vs Inheritance for Typestate Analysis
Submitted by Jamie Presken on Wed, 02/10/2016 - 2:32pm
CMU
July'15
CMU
July'15
biblio
Evaluating the Flexibility of the Java Sandbox
Submitted by Jamie Presken on Wed, 02/10/2016 - 2:27pm
CMU
Jan'16
CMU
Jan'16
tearline
SoS Quarterly Summary Report - CMU - January 2016
Submitted by Jamie Presken on Thu, 01/14/2016 - 11:28am
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
FY14-18
Jan'16
tearline
Epistemic models for security - January 2016
Submitted by Jamie Presken on Thu, 12/10/2015 - 9:29am
Approved by NSA
Scalability and Composability
CMU
Epistemic Models for Security
FY14-18
Jan'16
tearline
Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - January 2016
Submitted by Jamie Presken on Thu, 12/10/2015 - 9:28am
Approved by NSA
Scalability and Composability
Metrics
CMU
Race Vulnerability Study and Hybrid Race Detection
FY14-18
tearline
A Language and Framework for Development of Secure Mobile Applications - January 2016
Submitted by Jamie Presken on Thu, 12/10/2015 - 9:27am
Approved by NSA
Scalability and Composability
Human Behavior
CMU
A Language and Framework for Development of Secure Mobile Applications
FY14-18
« first
‹ previous
…
18
19
20
21
22
23
24
25
26
…
next ›
last »