DARPA: SafeDocs
קרן | US Department of Defense |
---|---|
מדינה | U.S.A. |
סוג | Research Grants |
תאריך אחרון | 19/10/2018 |
פקולטה | Engineering, Exact Sciences |
תיאור |
The SafeDocs program will develop novel verified programming methodologies for building high assurance parsers for extant electronic data formats, and novel methodologies for comprehending, simplifying, and reducing these formats to their safe, unambiguous, verification-friendly subsets.
The program consists of four Technical Areas (TAs):
TA1: Extant Syntax Recovery, Simplification, and Safe Sub-setting.
TA2: Constructing Secure Parsers TA3: Testing and Evaluation TA4: Instantiation Each proposl may address one TA only.
Funding: No fixed limit
Duration: 4 years (in 3 phases)
Research Authprity due date: 4.9.18
Abstract (highly encouraged) due date: 7.9.18
Full proposal due date: 19.10.18
|
קבצים מצורפים | |
קישור | לאתר |
עדכון אחרון | עדכון אחרון: 03/09/2018 |