CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees

Name: CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees
Uploaded: 2017-01-01
Duration: 19 min 15 s
Description: CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees — a 2017 IEEE Security & Privacy 2017 (May 22 - 24 2017) security conference talk on privacy (19:15 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2017 (May 22 - 24 2017) · 2017 · 19:15

▶

CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees — a 2017 IEEE Security & Privacy 2017 (May 22 - 24 2017) security conference talk on privacy (19:15 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

privacy

← Back to the Breach Arc Archive