Safe System Programming (in Rust)

Edition: 2026/2027 (5th ed.)
Last-Modified: 2025-12-09

Teachers

• Samuel Tardieu, contact: email
• Stefano Zacchiroli, contact: email

Syllabus

• Memory safety
• How to detect memory-safety issues in C/C++
• The Rust memory model
• NULL references and how to avoid “billion dollar mistakes”
• Rust language basics
• Hardening Rust code (including: testing, fuzzing, supply chain)
• Race conditions
• Avoiding multithreading (security) pitfalls
• Data races
• Avoiding multiprocessing (security) pitfalls
• Software supply chain attacks, an introduction

Homepage

The course homepage is available at: https://ssp-rs.telecom-paris.fr/