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
» RESILIENT ARCHITECTURES
Resilient Architectures
tearline
Multi-model run-time security analysis - October 2017
Submitted by Jamie Presken on Mon, 10/02/2017 - 12:11pm
Approved by NSA
Scalability and Composability
Metrics
Resilient Architectures
Multi-Model Run-Time Security Analysis
tearline
2017 SoS Lablet Annual Report - CMU
Submitted by Jamie Presken on Thu, 09/28/2017 - 10:59am
NSA Program Manager
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 - UMD
Submitted by jkatz on Mon, 09/25/2017 - 9:05am
NSA Program Manager
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UMD
Does the Presence of Honest Users Affect Intruders' Behavior
Empirical Models for Vulnerability Exploits
Human Behavior and Cyber Vulnerabilities
Measuring and Improving Management of Today's PKI
Reasoning about Protocols with Human Participants
Trust, Recommendation Systems, and Collaboration
Trustworthy and Composable Software Systems with Contracts
Understanding Developers' Reasoning about Privacy and Security
Understanding How Users Process Security Advice
User-Centered Design for Security
Verification of Hyperproperties
FY14-18
August'17
tearline
SoS Lablet Annual Report - NCSU
Submitted by drwright on Wed, 09/06/2017 - 8:24am
NSA Program Manager
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
NCSU
A Human Information-Processing Analysis of Online Deception Detection
Attack Surface and Defense-in-Depth Metrics
Automated Synthesis of Resilient Architectures
Formal Specification and Analysis of Security-Critical Norms and Policies
Leveraging the Effects of Cognitive Function on Input Device Analytics to Improve Security
Privacy Incidents Database
Redundancy for Network Intrusion Prevention Systems (NIPS)
Resilience Requirements, Design, and Testing
Scientific Understanding of Policy Complexity
Smart Isolation in Large-Scale Production Computing Infrastructures
Systematization of Knowledge from Intrusion Detection Models
Understanding the Effects of Norms and Policies on the Robustness, Liveness, and Resilience of Systems
Vulnerability and Resilience Prediction Models
Warning of Phishing Attacks: Supporting Human Information Processing, Identifying Phishing Deception Indicators & Reducing Vuln.
FY14-18
August'17
tearline
SoS Lablet Annual Report - UIUC
Submitted by awhitesell on Wed, 08/30/2017 - 4:08pm
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
tearline
SoS Quarterly Summary Report - July 2017
Submitted by awhitesell on Fri, 07/07/2017 - 1: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 - 1: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
Data Driven Security Models and Analysis - July 2017
Submitted by awhitesell on Fri, 07/07/2017 - 11:10am
NSA Program Manager
Metrics
Resilient Architectures
Human Behavior
UIUC
Data Driven Security Models and Analysis
FY14-18
August'17
tearline
A Hypothesis Testing Framework for Network Security - July 2017
Submitted by awhitesell on Fri, 07/07/2017 - 10:43am
NSA Program Manager
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
UIUC
A Hypothesis Testing Framework for Network Security
FY14-18
August'17
tearline
SoS Quarterly Summary Report - CMU - July 2017
Submitted by Jamie Presken on Mon, 06/12/2017 - 8:23am
NSA Program Manager
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
August'17
1
2
3
4
5
6
7
8
9
…
next ›
last »
