DARPA: Hardening Development Toolchains Against Emergent Execution Engines (HARDEN)
| קרן | US Department of Defense |
|---|---|
| מדינה | U.S.A. |
| סוג | Research Grants |
| תאריך אחרון | 04/11/2021 |
| פקולטה | Engineering, Exact Sciences |
| תיאור |
The HARDEN program will explore novel approaches that use formal verification methods and Artificial Intelligence (AI)-aided program models, analyses, and logics to develop practical tools to anticipate, isolate, and mitigate emergent execution engines throughout the entire software development lifecycle in order to disrupt the patterns of robust, reliable, and composable exploit primitives that empower attackers.
Funding: no fixed limit
Duration: 4 years
Research Authority due date: 28.10.21
|
| קבצים מצורפים | |
| קישור | לאתר |
| עדכון אחרון | עדכון אחרון: 30/09/2021 |
