Alert: Canvas Update: May 13, 2026
Canvas is currently stable and available to use. After cybersecurity events like this, there is an increase in phishing and smishing attempts. Our Canvas administrators will never text you or contact you from an external email address. Please review the latest communication for steps to keep your information secure.
Learn More
College of Engineering, Design & Computing Events
Hardening Development Toolchains Against Emergent Execution Engines
|
All Day
Hardening Development Toolchains Against Emergent Execution Engines
DARPA
The HARDEN program will explore novel approaches that use formal verification methods and artificial intelligence-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.
DARPA
The HARDEN program will explore novel approaches that use formal verification methods and artificial intelligence-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.