Static Evaluation of Noninterference using Approximate Model Counting

Name: Static Evaluation of Noninterference using Approximate Model Counting
Uploaded: 2018-01-01
Duration: 17 min 8 s
Description: Static Evaluation of Noninterference using Approximate Model Counting — a 2018 IEEE Security & Privacy 2018 (May 21-24) security conference talk on privacy (17:08 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2018 (May 21-24) · 2018 · 17:08

▶

Static Evaluation of Noninterference using Approximate Model Counting — a 2018 IEEE Security & Privacy 2018 (May 21-24) security conference talk on privacy (17:08 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

privacy

← Back to the Breach Arc Archive