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
Declarative Access Policies based on Objects, Relationships, and States
Submitted by Jamie Presken on Mon, 01/12/2015 - 2:24pm
access policies
CMU
protocol
relationship
state
CMU
biblio
How Does Your Password Measure Up? The Effect of Strength Meters on Password Creation
Submitted by Jamie Presken on Mon, 01/12/2015 - 2:21pm
Scalability and Composability
CMU
CMU PROJECTS: (select all that apply)
July'14
biblio
Wyvern: Impacting Software Security via Programming Language Design.
Submitted by Jamie Presken on Mon, 01/12/2015 - 12:04pm
CMU
Jan'15
Scalability and Composability
Scalability and Composability
CMU
CMU PROJECTS: (select all that apply)
Jan'15
biblio
Statically Typed String Sanitation Inside a Python
Submitted by Jamie Presken on Mon, 01/12/2015 - 12:02pm
Scalability and Composability
CMU
CMU PROJECTS: (select all that apply)
Jan'15
biblio
SimRT: An Automated Framework to Support Regression Testing for Data Races
Submitted by Jamie Presken on Mon, 01/12/2015 - 11:50am
and empirical study
concurrency faults
multithreading
regression testing
Software dependability
Scalability and Composability
CMU
CMU PROJECTS: (select all that apply)
Jan'15
tearline
Epistemic models for security - January 2015
Submitted by Jamie Presken on Tue, 12/02/2014 - 10:34am
Approved by NSA
Scalability and Composability
CMU
Epistemic Models for Security
FY14-18
Jan'15
tearline
Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - January 2015
Submitted by Jamie Presken on Tue, 12/02/2014 - 10:30am
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 2015
Submitted by Jamie Presken on Tue, 12/02/2014 - 10:26am
Approved by NSA
Scalability and Composability
Human Behavior
CMU
A Language and Framework for Development of Secure Mobile Applications
FY14-18
tearline
USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) - January 2015
Submitted by Jamie Presken on Tue, 12/02/2014 - 10:23am
Approved by NSA
Human Behavior
CMU
USE: User Security Behavior
FY14-18
Jan'15
tearline
Secure Composition of Systems and Policies - January 2015
Submitted by Jamie Presken on Tue, 12/02/2014 - 10:19am
Approved by NSA
Scalability and Composability
CMU
Secure Composition of Systems and Policies
FY14-18
« first
‹ previous
…
22
23
24
25
26
27
28
29
30
next ›
last »
