Ada, or How to Enforce Safety Rules at Compile Time
▶Ada, or How to Enforce Safety Rules at Compile Time — a 2017 FOSDEM 2017 security conference talk (20:49 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube