Security Through Formal Methods and Secure Architecture

Name: Security Through Formal Methods and Secure Architecture
Uploaded: 2017-01-01
Duration: 55 min 59 s
Description: Security Through Formal Methods and Secure Architecture — a 2017 CERIAS - 2017 security conference talk (55:59 min). Watch the full video, indexed free on the Breach Arc Archive.

CERIAS - 2017 · 2017 · 55:59

▶

Security Through Formal Methods and Secure Architecture — a 2017 CERIAS - 2017 security conference talk (55:59 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive