CMU

      

Bulk operations
Project TitleQuarterHard Problem(s)StatusCreatedsort iconUpdatedPublic
0 items selected. Select all items:
2017 SoS Lablet Annual Report - CMUFY14-18Scalability and Composability, Policy-Governed Secure Collaboration, Metrics, Resilient Architectures, Human BehaviorNSA Program ManagerSep 28 2017 - 11:59amJun 9 2020 - 5:24pmYes
SoS Quarterly Summary Report - CMU - July 2017FY14-18, August'17Scalability and Composability, Policy-Governed Secure Collaboration, Metrics, Resilient Architectures, Human BehaviorNSA Program ManagerJun 12 2017 - 9:23amJun 9 2020 - 8:12pmYes
Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - July 2017FY14-18, August'17Scalability and ComposabilityNSA Program ManagerJun 12 2017 - 9:22amJun 9 2020 - 7:47pmYes
Highly Configurable Systems - July 2017FY14-18Scalability and ComposabilityApproved by NSAJun 12 2017 - 9:21amJun 9 2020 - 6:14pmYes
Secure Composition of Systems and Policies - July 2017FY14-18Scalability and ComposabilityApproved by NSAJun 12 2017 - 9:18amJun 9 2020 - 7:21pmYes
USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) - July 2017August'17Scalability and Composability, Policy-Governed Secure Collaboration, Metrics, Resilient Architectures, Human BehaviorNSA Program ManagerJun 12 2017 - 9:17amJun 10 2020 - 1:18pmYes
Usable Formal Methods for the Design and Composition of Security and Privacy Policies (CMU/UTSA Collaborative Proposal) - July 2017FY14-18Approved by NSAJun 12 2017 - 9:15amJun 9 2020 - 8:36pmYes
A Language and Framework for Development of Secure Mobile Applications - July 2017FY14-18Scalability and Composability, Human BehaviorApproved by NSAJun 12 2017 - 9:14amJun 9 2020 - 5:37pmYes
Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - July 2017FY14-18Scalability and Composability, MetricsApproved by NSAJun 12 2017 - 9:13amJun 9 2020 - 6:39pmYes
Real-time Privacy Risk Evaluation and Enforcement - July 2017FY14-18Metrics, Human BehaviorApproved by NSAJun 12 2017 - 9:12amJun 9 2020 - 6:54pmYes
Real-time Privacy Risk Evaluation and Enforcement - April 2017FY14-18Metrics, Human BehaviorApproved by NSAMar 13 2017 - 11:17amJun 9 2020 - 6:47pmYes
Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - April 2017FY14-18Scalability and Composability, MetricsApproved by NSAMar 13 2017 - 11:16amJun 9 2020 - 6:25pmYes
A Language and Framework for Development of Secure Mobile Applications - April 2017FY14-18Scalability and Composability, Human BehaviorApproved by NSAMar 13 2017 - 11:15amJun 9 2020 - 5:42pmYes
Usable Formal Methods for the Design and Composition of Security and Privacy Policies (CMU/UTSA Collaborative Proposal) - April 2017FY14-18Approved by NSAMar 13 2017 - 11:14amJun 9 2020 - 8:21pmYes
USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) - April 2017Apr'17Scalability and Composability, Policy-Governed Secure Collaboration, Metrics, Resilient Architectures, Human BehaviorApproved by NSAMar 13 2017 - 11:12amJun 10 2020 - 1:23pmYes
Secure Composition of Systems and Policies - April 2017FY14-18Scalability and ComposabilityApproved by NSAMar 13 2017 - 11:11amJun 9 2020 - 7:04pmYes
Highly Configurable Systems - April 2017FY14-18Scalability and ComposabilityApproved by NSAMar 13 2017 - 11:07amJun 9 2020 - 6:02pmYes
Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - April 2017FY14-18Scalability and Composability, Resilient ArchitecturesApproved by NSAMar 13 2017 - 11:06amJun 9 2020 - 7:33pmYes
SoS Quarterly Summary Report - CMU - April 2017Apr'17Scalability and Composability, Policy-Governed Secure Collaboration, Metrics, Resilient Architectures, Human BehaviorApproved by NSAMar 13 2017 - 10:57amJun 10 2020 - 1:21pmYes
SoS Quarterly Summary Report - CMU - January 2017FY14-18, Jan'17Scalability and Composability, Policy-Governed Secure Collaboration, Metrics, Resilient Architectures, Human BehaviorNSA Program ManagerDec 14 2016 - 12:53pmJun 9 2020 - 8:07pmYes