Sergey Bratus of Dartmouth College unpacks how formal, exploit-aware methods can harden software trust by treating vulnerabilities as computational phenomena.
Modern software systems are increasingly exploited through subtle emergent behaviors and unintended computational patterns that evade traditional security approaches. Building trust in software requires a paradigm shift toward principled defenses that incorporate formal understanding of input handling, exploit programming and the deep computational structures underlying system vulnerabilities. This session synthesizes cutting-edge research and practical frameworks that bridge foundational computer science with real-world security challenges, illustrating how treating exploitation as a computational discipline strengthens resilience across diverse platforms.
In this session, led by Sergey Bratus, distinguished professor of cybersecurity, technology and society and associate professor of computer science at Dartmouth College, you will learn:
- Principles of language-theoretic security for eliminating broad classes of exploitable vulnerabilities;
- Integrating exploit programming insights into defensive engineering practice;
- Strengthening software resilience through foundational computational models.
Here is the course outline:
Redefining Software Trust Through Language-Theoretic Security and Exploit-Aware Engineering |
Completion
The following certificates are awarded when the course is completed:
 |
CPE Credit Certificate |
