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
» FY14-18
FY14-18
tearline
SoS Quarterly Summary Report - NCSU - January 2016
Submitted by drwright on Tue, 12/01/2015 - 1:10pm
Round 2 Projects
Approved by NSA
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
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
Jan'16
tearline
Smart Isolation in Large-Scale Production Computing Infrastructures - January 2016
Submitted by drwright on Tue, 12/01/2015 - 1:08pm
Smart Isolation in Large-Scale Production Computing Infrastructures
Approved by NSA
Resilient Architectures
NCSU
Smart Isolation in Large-Scale Production Computing Infrastructures
FY14-18
Jan'16
tearline
SoS Quarterly Summary Report - UMD - October 2015
Submitted by jkatz on Mon, 10/26/2015 - 11:13am
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UMD
UMD PROJECTS:
FY14-18
Oct'15
tearline
SoS Quarterly Summary Report - CMU - October 2015
Submitted by Jamie Presken on Wed, 10/14/2015 - 5:36am
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
FY14-18
Oct'15
tearline
Measuring and Improving Management of Today's PKI - UMD - October 2015
Submitted by jkatz on Mon, 10/12/2015 - 10:23pm
Approved by NSA
Metrics
Human Behavior
UMD
Measuring and Improving Management of Today's PKI
FY14-18
Oct'15
tearline
Trust, Recommendation Systems, and Collaboration - UMD - October 2015
Submitted by jkatz on Mon, 10/12/2015 - 10:22pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Human Behavior
UMD
Trust, Recommendation Systems, and Collaboration
FY14-18
Oct'15
tearline
Trustworthy and Composable Software Systems with Contracts - UMD - October 2015
Submitted by jkatz on Mon, 10/12/2015 - 10:22pm
Approved by NSA
Scalability and Composability
UMD
Trustworthy and Composable Software Systems with Contracts
FY14-18
Oct'15
tearline
User-Centered Design for Security - UMD - October 2015
Submitted by jkatz on Mon, 10/12/2015 - 10:21pm
Approved by NSA
Metrics
Human Behavior
UMD
User-Centered Design for Security
FY14-18
Oct'15
tearline
Reasoning about Protocols with Human Participants - UMD - October 2015
Submitted by jkatz on Mon, 10/12/2015 - 10:20pm
Approved by NSA
Human Behavior
UMD
Reasoning about Protocols with Human Participants
FY14-18
Oct'15
tearline
Understanding Developers' Reasoning about Privacy and Security - UMD - October 2015
Submitted by jkatz on Mon, 10/12/2015 - 10:20pm
Approved by NSA
Human Behavior
UMD
Understanding Developers' Reasoning about Privacy and Security
FY14-18
Oct'15
« first
‹ previous
…
26
27
28
29
30
31
32
33
34
…
next ›
last »
