A Posteriori Taint-tracking for Demonstrating Non-interference in Expressive Low-level Languages
▶A Posteriori Taint-tracking for Demonstrating Non-interference in Expressive Low-level Languages — a 2016 LangSec 2016 (May 26, 2016) security conference talk (16:01 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube