36C3 - Getting software right with properties, generated tests, and proofs

Name: 36C3 - Getting software right with properties, generated tests, and proofs
Uploaded: 2019-01-01
Duration: 1 h 2 min 48 s
Description: 36C3 - Getting software right with properties, generated tests, and proofs — a 2019 36C3 (eng) Chaos Communication Congress 2019 security conference talk on fuzzing (1:02:48 min). Watch the full video, indexed free on the Breach Arc Archive.

36C3 (eng) Chaos Communication Congress 2019 · 2019 · 1:02:48

▶

36C3 - Getting software right with properties, generated tests, and proofs — a 2019 36C3 (eng) Chaos Communication Congress 2019 security conference talk on fuzzing (1:02:48 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

fuzzing

← Back to the Breach Arc Archive