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
» METRICS
Metrics
tearline
Trustworthy and Composable Software Systems with Contracts - July 2014
Submitted by jkatz on Fri, 06/27/2014 - 5:16pm
Approved by NSA
Scalability and Composability
Metrics
UMD
Trustworthy and Composable Software Systems with Contracts
FY14-18
July'14
tearline
Multi-model run-time security analysis - July 2014
Submitted by mdereno on Tue, 06/24/2014 - 11:14am
Approved by NSA
Scalability and Composability
Metrics
Resilient Architectures
Multi-Model Run-Time Security Analysis
tearline
Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - July 2014
Submitted by mdereno on Mon, 06/23/2014 - 4:48pm
Approved by NSA
Scalability and Composability
Metrics
CMU
Race Vulnerability Study and Hybrid Race Detection
FY14-18
tearline
SoS Quarterly Summary Report - CMU
Submitted by mdereno on Sun, 06/19/1983 - 3:45pm
Business Manager
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
CMU
FY14-18
tearline
SoS Quarterly Summary Report - NCSU (Template)
Submitted by aehunt on Sun, 06/19/1983 - 3:45pm
Business Manager
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
NCSU
FY14-18
tearline
SoS Quarterly Summary Report Template - UIUC
Submitted by awhitesell on Sun, 06/19/1983 - 3:45pm
Business Manager
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UIUC
FY14-18
tearline
SoS Quarterly Summary Report - UMD (Template)
Submitted by jkatz on Sun, 06/19/1983 - 3:45pm
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UMD
FY14-18
tearline
SoS Quarterly Project Report - UMD (Template)
Submitted by jkatz on Sun, 06/19/1983 - 3:45pm
Business Manager
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UMD
July'14
tearline
SoS Lablet Annual Report TEMPLATE - CMU
Submitted by Heather Lucas on Sun, 06/19/1983 - 2:55pm
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
tearline
SoS Lablet Annual Report TEMPLATE - UIUC
Submitted by Heather Lucas on Sun, 06/19/1983 - 2:48pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UIUC
A Hypothesis Testing Framework for Network Security
Data Driven Security Models and Analysis
Data-Driven Model-Based Decision-Making
Science of Human Circumvention of Security
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
FY14-18
« first
‹ previous
…
24
25
26
27
28
29
30
31
32
next ›
last »
