34C3 - How can you trust formally verified software? - deutsche Übersetzung

Name: 34C3 - How can you trust formally verified software? - deutsche Übersetzung
Uploaded: 2017-01-01
Duration: 28 min 40 s
Description: 34C3 - How can you trust formally verified software? - deutsche Übersetzung — a 2017 Chaos Communication Congress 2017 (34C3) security conference talk on vuln-research (28:40 min). Watch the full video, indexed free on the Breach Arc Archive.

Chaos Communication Congress 2017 (34C3) · 2017 · 28:40

▶

34C3 - How can you trust formally verified software? - deutsche Übersetzung — a 2017 Chaos Communication Congress 2017 (34C3) security conference talk on vuln-research (28:40 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

vuln-research

← Back to the Breach Arc Archive