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
» AUGUST'17
August'17
biblio
An automated framework to support testing for process-level race conditions
Submitted by Jamie Presken on Tue, 07/11/2017 - 1:18pm
August'17
CMU
Kernel
Metrics
processes
race conditions
Race Vulnerability Study and Hybrid Race Detection
Scalability and Composability
Software Testing
virtual platforms
Scalability and Composability
Metrics
CMU
Race Vulnerability Study and Hybrid Race Detection
August'17
biblio
Energy-efficient I/O Thread Schedulers for NVMe SSDs on NUMA
Submitted by Jamie Presken on Tue, 07/11/2017 - 12:14pm
August'17
CMU
Metrics
Race Vulnerability Study and Hybrid Race Detection
Scalability and Composability
Scalability and Composability
Metrics
CMU
Race Vulnerability Study and Hybrid Race Detection
August'17
biblio
An Efficient, Robust, and Scalable Approach for Analyzing Interacting Android Apps
Submitted by Jamie Presken on Tue, 07/11/2017 - 12:04pm
August'17
CMU
Race Vulnerability Study and Hybrid Race Detection
CMU
Race Vulnerability Study and Hybrid Race Detection
August'17
biblio
Glacier: Transitive Class Immutability for Java
Submitted by Jamie Presken on Tue, 07/11/2017 - 11:58am
August'17
CMU
Empirical studies of programmers
Immutability
Programming language usability
Race Vulnerability Study and Hybrid Race Detection
CMU
Race Vulnerability Study and Hybrid Race Detection
August'17
biblio
Toward Semantic Foundations for Program Editors
Submitted by Jamie Presken on Tue, 07/11/2017 - 11:51am
A Language and Framework for Development of Secure Mobile Applications
August'17
CMU
program editors; type systems; live programming; program prediction
Scalability and Composability
Scalability and Composability
CMU
A Language and Framework for Development of Secure Mobile Applications
August'17
biblio
A Capability-Based Module System for Authority Control
Submitted by Jamie Presken on Tue, 07/11/2017 - 11:43am
A Language and Framework for Development of Secure Mobile Applications
August'17
authority
capabilities
CMU
language-based security
modules
Scalability and Composability
Scalability and Composability
CMU
A Language and Framework for Development of Secure Mobile Applications
August'17
tearline
SoS Quarterly Summary Report - July 2017
Submitted by awhitesell on Fri, 07/07/2017 - 2:24pm
NSA Program Manager
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UIUC
A Hypothesis Testing Framework for Network Security
A Monitoring, Fusion and Response Framework to Provide Cyber Resiliency
Anonymous Messaging
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
August'17
tearline
A Monitoring Fusion and Response Framework to Provide Cyber Resiliency - July 2017
Submitted by awhitesell on Fri, 07/07/2017 - 2:10pm
NSA Program Manager
Policy-Governed Secure Collaboration
Resilient Architectures
UIUC
A Monitoring, Fusion and Response Framework to Provide Cyber Resiliency
FY14-18
August'17
tearline
Anonymous Messaging - July 2017
Submitted by awhitesell on Fri, 07/07/2017 - 12:47pm
NSA Program Manager
Scalability and Composability
UIUC
Anonymous Messaging
FY14-18
August'17
tearline
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems - July 2017
Submitted by awhitesell on Fri, 07/07/2017 - 12:23pm
Approved by NSA
Scalability and Composability
Metrics
UIUC
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
August'17
« first
‹ previous
1
2
3
4
5
next ›
last »
