![](https://www.pdfsearch.io/img/c717133c83549641701f8e6f0305a7c0.jpg) Date: 2017-04-03 15:56:37
| | CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for AAdd to Reading ListSource URL: www.ieee-security.orgDownload Document from Source Website File Size: 258,69 KBShare Document on Facebook
|