All

Bulk operations
Project TitleLabletQuarterHard Problem(s)StatusCreatedUpdatedPublic
0 items selected. Select all items:
Automated Synthesis of Resilient Architectures - October 2016NCSUFY14-18, Oct'16Resilient ArchitecturesNSA Program ManagerSep 14 2016 - 9:21amJun 9 2020 - 10:56pmYes
Formal Specification and Analysis of Security-Critical Norms and Policies - April 2015NCSUFY14-18, Apr'15Scalability and Composability, Policy-Governed Secure CollaborationApproved by NSAMar 22 2015 - 1:20pmJun 9 2020 - 10:59pmYes
Formal Specification and Analysis of Security-Critical Norms and Policies - April 2016NCSUFY14-18, Apr'16Scalability and Composability, Policy-Governed Secure CollaborationApproved by NSAMar 10 2016 - 12:11pmJun 9 2020 - 11:03pmYes
Formal Specification and Analysis of Security-Critical Norms and Policies - April 2017NCSUFY14-18, Apr'17Scalability and Composability, Policy-Governed Secure CollaborationNSA Program ManagerMar 20 2017 - 8:13pmJun 9 2020 - 11:06pmYes
Formal Specification and Analysis of Security-Critical Norms and Policies - January 2015NCSUFY14-18, Jan'15Scalability and Composability, Policy-Governed Secure CollaborationApproved by NSADec 8 2014 - 12:05pmJun 9 2020 - 11:09pmYes
Formal Specification and Analysis of Security-Critical Norms and Policies - January 2016NCSUFY14-18, Jan'16Scalability and Composability, Policy-Governed Secure CollaborationApproved by NSADec 1 2015 - 3:09pmJun 9 2020 - 11:12pmYes
Formal Specification and Analysis of Security-Critical Norms and Policies - January 2017NCSUFY14-18, Jan'17Scalability and Composability, Policy-Governed Secure CollaborationNSA Program ManagerDec 12 2016 - 3:06pmJun 9 2020 - 11:14pmYes
Formal Specification and Analysis of Security-Critical Norms and Policies - July 2014NCSUFY14-18, July'14Scalability and Composability, Policy-Governed Secure CollaborationApproved by NSAJun 27 2014 - 5:27pmJun 9 2020 - 11:16pmYes
Formal Specification and Analysis of Security-Critical Norms and Policies - July 2015NCSUFY14-18, July'15Scalability and Composability, Policy-Governed Secure CollaborationApproved by NSAJun 17 2015 - 10:29amJun 9 2020 - 11:19pmYes
Formal Specification and Analysis of Security-Critical Norms and Policies - July 2016NCSUFY14-18, July'16Scalability and Composability, Policy-Governed Secure CollaborationApproved by NSAJun 13 2016 - 10:17amJun 9 2020 - 11:23pmYes
Formal Specification and Analysis of Security-Critical Norms and Policies - July 2017NCSUFY14-18, August'17Policy-Governed Secure CollaborationNSA Program ManagerJun 9 2017 - 8:36amJun 9 2020 - 11:25pmYes
Formal Specification and Analysis of Security-Critical Norms and Policies - October 2014NCSUFY14-18, Oct'14Scalability and Composability, Policy-Governed Secure CollaborationApproved by NSASep 24 2014 - 2:55pmJun 9 2020 - 11:28pmYes
Formal Specification and Analysis of Security-Critical Norms and Policies - October 2015NCSUFY14-18, Oct'15Scalability and Composability, Policy-Governed Secure CollaborationApproved by NSASep 21 2015 - 9:09amJun 9 2020 - 11:29pmYes
Formal Specification and Analysis of Security-Critical Norms and Policies - October 2016NCSUFY14-18, Oct'16Scalability and Composability, Policy-Governed Secure CollaborationNSA Program ManagerSep 14 2016 - 9:29amJun 9 2020 - 11:31pmYes
High-Assurance Active Cyber Defense Policies for Auto-Resiliency - April 2017NCSUFY14-18, Apr'17Resilient ArchitecturesNSA Program ManagerMar 20 2017 - 8:48pmJun 9 2020 - 11:34pmYes
High-Assurance Active Cyber Defense Policies for Auto-Resiliency - July 2017NCSUFY14-18, August'17Resilient ArchitecturesNSA Program ManagerJun 9 2017 - 8:42amJun 9 2020 - 11:38pmYes
Leveraging the Effects of Cognitive Function on Input Device Analytics to Improve - October 2014NCSUFY14-18, Oct'14Human BehaviorApproved by NSASep 24 2014 - 2:50pmJun 9 2020 - 11:41pmYes
Leveraging the Effects of Cognitive Function on Input Device Analytics to Improve Security - April 2015NCSUFY14-18, Apr'15Human BehaviorApproved by NSAMar 22 2015 - 1:19pmJun 9 2020 - 11:44pmYes
Leveraging the Effects of Cognitive Function on Input Device Analytics to Improve Security - April 2016NCSUFY14-18, Apr'16Human BehaviorApproved by NSAMar 10 2016 - 12:03pmJun 9 2020 - 11:47pmYes
Leveraging the Effects of Cognitive Function on Input Device Analytics to Improve Security - April 2017NCSUFY14-18, Apr'17Human BehaviorNSA Program ManagerMar 20 2017 - 8:14pmJun 9 2020 - 11:50pmYes