SREcon23 Americas - Turning an Incident Report into a Design Issue with TLA+

Name: SREcon23 Americas - Turning an Incident Report into a Design Issue with TLA+
Duration: 30 min 53 s
Description: SREcon23 Americas - Turning an Incident Report into a Design Issue with TLA+ — a USENIX security conference talk (30:53 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 30:53

▶

SREcon23 Americas - Turning an Incident Report into a Design Issue with TLA+ — a USENIX security conference talk (30:53 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive