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 - 10:59amJun 9 2020 - 4: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 - 8:23amJun 9 2020 - 7:12pmYes
Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - July 2017FY14-18, August'17Scalability and ComposabilityNSA Program ManagerJun 12 2017 - 8:22amJun 9 2020 - 6:47pmYes
Highly Configurable Systems - July 2017FY14-18Scalability and ComposabilityApproved by NSAJun 12 2017 - 8:21amJun 9 2020 - 5:14pmYes
Secure Composition of Systems and Policies - July 2017FY14-18Scalability and ComposabilityApproved by NSAJun 12 2017 - 8:18amJun 9 2020 - 6: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 - 8:17amJun 10 2020 - 12: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 - 8:15amJun 9 2020 - 7:36pmYes
A Language and Framework for Development of Secure Mobile Applications - July 2017FY14-18Scalability and Composability, Human BehaviorApproved by NSAJun 12 2017 - 8:14amJun 9 2020 - 4: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 - 8:13amJun 9 2020 - 5:39pmYes
Real-time Privacy Risk Evaluation and Enforcement - July 2017FY14-18Metrics, Human BehaviorApproved by NSAJun 12 2017 - 8:12amJun 9 2020 - 5:54pmYes
Real-time Privacy Risk Evaluation and Enforcement - April 2017FY14-18Metrics, Human BehaviorApproved by NSAMar 13 2017 - 10:17amJun 9 2020 - 5: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 - 10:16amJun 9 2020 - 5:25pmYes
A Language and Framework for Development of Secure Mobile Applications - April 2017FY14-18Scalability and Composability, Human BehaviorApproved by NSAMar 13 2017 - 10:15amJun 9 2020 - 4: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 - 10:14amJun 9 2020 - 7: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 - 10:12amJun 10 2020 - 12:23pmYes
Secure Composition of Systems and Policies - April 2017FY14-18Scalability and ComposabilityApproved by NSAMar 13 2017 - 10:11amJun 9 2020 - 6:04pmYes
Highly Configurable Systems - April 2017FY14-18Scalability and ComposabilityApproved by NSAMar 13 2017 - 10:07amJun 9 2020 - 5:02pmYes
Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - April 2017FY14-18Scalability and Composability, Resilient ArchitecturesApproved by NSAMar 13 2017 - 10:06amJun 9 2020 - 6:33pmYes
SoS Quarterly Summary Report - CMU - April 2017Apr'17Scalability and Composability, Policy-Governed Secure Collaboration, Metrics, Resilient Architectures, Human BehaviorApproved by NSAMar 13 2017 - 9:57amJun 10 2020 - 12: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 - 11:53amJun 9 2020 - 7:07pmYes