Proof of Pointer Programs with Ownership in SPARK

Name: Proof of Pointer Programs with Ownership in SPARK
Uploaded: 2019-01-01
Duration: 20 min 11 s
Description: Proof of Pointer Programs with Ownership in SPARK — a 2019 FOSDEM 2019 security conference talk (20:11 min). Watch the full video, indexed free on the Breach Arc Archive.

FOSDEM 2019 · 2019 · 20:11

▶

Proof of Pointer Programs with Ownership in SPARK — a 2019 FOSDEM 2019 security conference talk (20:11 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive