DSR增强安全性和“形式验证”课程

本文介绍了 DSR 增强安全性和“形式验证”课程，涵盖了安全相关问题，包括 Chrome 浏览器漏洞、亚马逊成功的“Stuffer 概念”、Rust 语言的安全性、F* 形式验证语言、GCC 14 静态分析器、BOLT 二进制代码优化器、Google Closure Compiler、TCC 编译器、CompCert 形式验证 C 编译器、内存文件描述符攻击、Seccomp 和 eBPF、Syd Linux 沙箱等内容，并探讨了各种安全工具和技术的优缺点以及如何使用它们来提高软件安全性。