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
» JULY'15
July'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
tearline
SoS Quarterly Summary Report - CMU - July 2015
Submitted by Jamie Presken on Mon, 07/20/2015 - 12:46pm
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
July'15
tearline
Measuring and Improving Management of Today's PKI - UMD - July 2015
Submitted by jkatz on Mon, 07/13/2015 - 11:34am
Approved by NSA
Metrics
Human Behavior
UMD
Measuring and Improving Management of Today's PKI
FY14-18
July'15
tearline
SoS Quarterly Summary Report - UMD - July 2015
Submitted by jkatz on Mon, 07/13/2015 - 9:21am
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UMD
UMD PROJECTS:
FY14-18
July'15
tearline
Trust, Recommendation Systems, and Collaboration - UMD - July 2015
Submitted by jkatz on Mon, 07/13/2015 - 9:18am
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Human Behavior
UMD
Trust, Recommendation Systems, and Collaboration
FY14-18
July'15
tearline
Trustworthy and Composable Software Systems with Contracts - UMD - July 2015
Submitted by dvanhorn on Fri, 07/10/2015 - 3:26pm
Approved by NSA
Scalability and Composability
UMD
Trustworthy and Composable Software Systems with Contracts
FY14-18
July'15
tearline
Measuring and Improving the Management of Today's PKI
Submitted by dml on Wed, 07/08/2015 - 11:17pm
Lead PI
Metrics
UMD
Human Behavior and Cyber Vulnerabilities
July'15
tearline
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems - July 2015
Submitted by amyclay on Wed, 07/08/2015 - 4:46pm
Approved by NSA
Scalability and Composability
Metrics
UIUC
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
FY14-18
July'15
« first
‹ previous
1
2
3
4
5
next ›
last »
