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
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 - 8: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 - 8: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 - 8: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 - 8:12am
Approved by NSA
Metrics
Human Behavior
CMU
Real-time Privacy Risk Evaluation and Enforcement
FY14-18
biblio
Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software
Submitted by Jamie Presken on Mon, 04/10/2017 - 7:30am
Apr'17
CMU
CMU
Apr'17
biblio
Running Incomplete Programs
Submitted by Jamie Presken on Mon, 04/10/2017 - 7:11am
Apr'17
CMU
CMU
Apr'17
biblio
Hazelnut: a bidirectionally typed structure editor calculus
Submitted by Jamie Presken on Mon, 04/10/2017 - 7:06am
Apr'17
bidirectional type systems
CMU
gradual typing
mechanized metatheory
structure editors
CMU
Apr'17
biblio
Discipline Matters: Refactoring of Preprocessor Directives in the #ifdef Hell
Submitted by Jamie Presken on Mon, 04/10/2017 - 6:50am
Apr'17
CMU
Configurable Systems
preprocessors
Refactoring
CMU
Apr'17
tearline
Real-time Privacy Risk Evaluation and Enforcement - April 2017
Submitted by Jamie Presken on Mon, 03/13/2017 - 10:17am
Approved by NSA
Metrics
Human Behavior
CMU
Real-time Privacy Risk Evaluation and Enforcement
FY14-18
tearline
Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - April 2017
Submitted by Jamie Presken on Mon, 03/13/2017 - 10:16am
Approved by NSA
Scalability and Composability
Metrics
CMU
Race Vulnerability Study and Hybrid Race Detection
FY14-18
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
