DARPA: Hardening Development Toolchains Against Emergent Execution Engines (HARDEN)

קרןUS Department of Defense
סוג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
אוניברסיטת תל אביב עושה כל מאמץ לכבד זכויות יוצרים. אם בבעלותך זכויות יוצרים בתכנים שנמצאים פה ו/או השימוש
שנעשה בתכנים אלה לדעתך מפר זכויות, נא לפנות בהקדם לכתובת שכאן >>