Compositional Non-Interference for Fine-Grained Concurrent Programs

Name: Compositional Non-Interference for Fine-Grained Concurrent Programs
Uploaded: 2021-01-01
Duration: 14 min 31 s
Description: Compositional Non-Interference for Fine-Grained Concurrent Programs — a 2021 IEEE Security & Privacy 2021 security conference talk on web-appsec (14:31 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2021 · 2021 · 14:31

▶

Compositional Non-Interference for Fine-Grained Concurrent Programs — a 2021 IEEE Security & Privacy 2021 security conference talk on web-appsec (14:31 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

web-appsec

← Back to the Breach Arc Archive