Static Checking of Interrupt Driven Software
▶Static Checking of Interrupt Driven Software — a 2000 CERIAS - 2000 security conference talk on vuln-research (54:19 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube