A Method for Verifying Privacy-Type Properties: The Unbounded Case

Name: A Method for Verifying Privacy-Type Properties: The Unbounded Case
Uploaded: 2016-01-01
Duration: 16 min 47 s
Description: A Method for Verifying Privacy-Type Properties: The Unbounded Case — a 2016 IEEE Security & Privacy 2016 (May 24, 2016) security conference talk on privacy (16:47 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2016 (May 24, 2016) · 2016 · 16:47

▶

A Method for Verifying Privacy-Type Properties: The Unbounded Case — a 2016 IEEE Security & Privacy 2016 (May 24, 2016) security conference talk on privacy (16:47 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

privacy

← Back to the Breach Arc Archive