| 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 - 10:59am | Jun 9 2020 - 4: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 - 8:23am | Jun 9 2020 - 7: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 - 8:22am | Jun 9 2020 - 6:47pm | Yes |
| Highly Configurable Systems - July 2017 | FY14-18 | Scalability and Composability | Approved by NSA | Jun 12 2017 - 8:21am | Jun 9 2020 - 5:14pm | Yes |
| Secure Composition of Systems and Policies - July 2017 | FY14-18 | Scalability and Composability | Approved by NSA | Jun 12 2017 - 8:18am | Jun 9 2020 - 6: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 - 8:17am | Jun 10 2020 - 12: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 - 8:15am | Jun 9 2020 - 7: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 - 8:14am | Jun 9 2020 - 4: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 - 8:13am | Jun 9 2020 - 5:39pm | Yes |
| Real-time Privacy Risk Evaluation and Enforcement - July 2017 | FY14-18 | Metrics, Human Behavior | Approved by NSA | Jun 12 2017 - 8:12am | Jun 9 2020 - 5:54pm | Yes |
| Real-time Privacy Risk Evaluation and Enforcement - April 2017 | FY14-18 | Metrics, Human Behavior | Approved by NSA | Mar 13 2017 - 10:17am | Jun 9 2020 - 5: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 - 10:16am | Jun 9 2020 - 5: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 - 10:15am | Jun 9 2020 - 4: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 - 10:14am | Jun 9 2020 - 7: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 - 10:12am | Jun 10 2020 - 12:23pm | Yes |
| Secure Composition of Systems and Policies - April 2017 | FY14-18 | Scalability and Composability | Approved by NSA | Mar 13 2017 - 10:11am | Jun 9 2020 - 6:04pm | Yes |
| Highly Configurable Systems - April 2017 | FY14-18 | Scalability and Composability | Approved by NSA | Mar 13 2017 - 10:07am | Jun 9 2020 - 5: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 - 10:06am | Jun 9 2020 - 6: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 - 9:57am | Jun 10 2020 - 12: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 - 11:53am | Jun 9 2020 - 7:07pm | Yes |
