C++ Safety, Security, and Correctness - code::dive 2025 Conference Sessions

Explore a comprehensive conference recording from code::dive 2025 featuring six expert presentations focused on C++ safety, security, and correctness. Begin with John Lakos examining what C++ needs to become truly safe, followed by Timur Doumler's holistic approach to safety, security, and correctness in C++. Learn about contract assertions for security and functional safety from Andrzej Krzemieński, then dive into formal verification techniques with Gašper Ažman's presentation on proving C++. Discover essential tooling for safer C++ development with Mike Shah, and conclude with Mathieu Ropert's fascinating exploration of breaking the Enigma cipher using modern computing techniques. Each presentation addresses critical aspects of modern C++ development, from theoretical foundations to practical implementation strategies, providing insights into making C++ code more reliable, secure, and maintainable in contemporary software development environments.

Syllabus

0:00:00 stream start
0:03:11 Opening by Maciej Szabatowski
0:04:20 Opening by Krzysztof Wiśniewski
0:05:27 "What C++ Needs to be Safe" by John Lakos
2:01:25 break
2:28:00 "Safety, Security, and Correctness for C++: A holistic approach" by Timur Doumler
4:14:30 break
5:08:17 "Contract Assertions Against Security, Functional Safety and Correctness" by Andrzej Krzemieński
6:13:11 break
6:22:58 "Proving C++" by Gašper Ažman
7:29:30 break
7:48:14 "Essential Tooling for Safer C++" by Mike Shah
8:51:55 break
9:03:08 "Breaking Enigma On a Modern Computer" by Mathieu Ropert
9:52:00 break
9:58:45 Closing