First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 258,69 KBShare Document on Facebook |