| 0 items selected.
Select all items:
|
| 2017 SoS Lablet Annual Report - CMU | FY14-18 | Scalability and Composability, Policy-Governed Secure Collaboration, Metrics, Resilient Architectures, Human Behavior | NSA Program Manager | Sep 28 2017 - 11:59am | Jun 9 2020 - 5:24pm | Yes |
| SoS Quarterly Summary Report - CMU - July 2017 | FY14-18, August'17 | Scalability and Composability, Policy-Governed Secure Collaboration, Metrics, Resilient Architectures, Human Behavior | NSA Program Manager | Jun 12 2017 - 9:23am | Jun 9 2020 - 8:12pm | Yes |
| Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - July 2017 | FY14-18, August'17 | Scalability and Composability | NSA Program Manager | Jun 12 2017 - 9:22am | Jun 9 2020 - 7:47pm | Yes |
| Highly Configurable Systems - July 2017 | FY14-18 | Scalability and Composability | Approved by NSA | Jun 12 2017 - 9:21am | Jun 9 2020 - 6:14pm | Yes |
| Secure Composition of Systems and Policies - July 2017 | FY14-18 | Scalability and Composability | Approved by NSA | Jun 12 2017 - 9:18am | Jun 9 2020 - 7:21pm | Yes |
| USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) - July 2017 | August'17 | Scalability and Composability, Policy-Governed Secure Collaboration, Metrics, Resilient Architectures, Human Behavior | NSA Program Manager | Jun 12 2017 - 9:17am | Jun 10 2020 - 1:18pm | Yes |
| Usable Formal Methods for the Design and Composition of Security and Privacy Policies (CMU/UTSA Collaborative Proposal) - July 2017 | FY14-18 | | Approved by NSA | Jun 12 2017 - 9:15am | Jun 9 2020 - 8:36pm | Yes |
| A Language and Framework for Development of Secure Mobile Applications - July 2017 | FY14-18 | Scalability and Composability, Human Behavior | Approved by NSA | Jun 12 2017 - 9:14am | Jun 9 2020 - 5:37pm | Yes |
| Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - July 2017 | FY14-18 | Scalability and Composability, Metrics | Approved by NSA | Jun 12 2017 - 9:13am | Jun 9 2020 - 6:39pm | Yes |
| Real-time Privacy Risk Evaluation and Enforcement - July 2017 | FY14-18 | Metrics, Human Behavior | Approved by NSA | Jun 12 2017 - 9:12am | Jun 9 2020 - 6:54pm | Yes |
| Real-time Privacy Risk Evaluation and Enforcement - April 2017 | FY14-18 | Metrics, Human Behavior | Approved by NSA | Mar 13 2017 - 11:17am | Jun 9 2020 - 6:47pm | Yes |
| Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - April 2017 | FY14-18 | Scalability and Composability, Metrics | Approved by NSA | Mar 13 2017 - 11:16am | Jun 9 2020 - 6:25pm | Yes |
| A Language and Framework for Development of Secure Mobile Applications - April 2017 | FY14-18 | Scalability and Composability, Human Behavior | Approved by NSA | Mar 13 2017 - 11:15am | Jun 9 2020 - 5:42pm | Yes |
| Usable Formal Methods for the Design and Composition of Security and Privacy Policies (CMU/UTSA Collaborative Proposal) - April 2017 | FY14-18 | | Approved by NSA | Mar 13 2017 - 11:14am | Jun 9 2020 - 8:21pm | Yes |
| USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) - April 2017 | Apr'17 | Scalability and Composability, Policy-Governed Secure Collaboration, Metrics, Resilient Architectures, Human Behavior | Approved by NSA | Mar 13 2017 - 11:12am | Jun 10 2020 - 1:23pm | Yes |
| Secure Composition of Systems and Policies - April 2017 | FY14-18 | Scalability and Composability | Approved by NSA | Mar 13 2017 - 11:11am | Jun 9 2020 - 7:04pm | Yes |
| Highly Configurable Systems - April 2017 | FY14-18 | Scalability and Composability | Approved by NSA | Mar 13 2017 - 11:07am | Jun 9 2020 - 6:02pm | Yes |
| Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - April 2017 | FY14-18 | Scalability and Composability, Resilient Architectures | Approved by NSA | Mar 13 2017 - 11:06am | Jun 9 2020 - 7:33pm | Yes |
| SoS Quarterly Summary Report - CMU - April 2017 | Apr'17 | Scalability and Composability, Policy-Governed Secure Collaboration, Metrics, Resilient Architectures, Human Behavior | Approved by NSA | Mar 13 2017 - 10:57am | Jun 10 2020 - 1:21pm | Yes |
| SoS Quarterly Summary Report - CMU - January 2017 | FY14-18, Jan'17 | Scalability and Composability, Policy-Governed Secure Collaboration, Metrics, Resilient Architectures, Human Behavior | NSA Program Manager | Dec 14 2016 - 12:53pm | Jun 9 2020 - 8:07pm | Yes |
