Back to Results
First PageMeta Content



CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for A
Add to Reading List

Document Date: 2017-04-03 15:56:37


Open Document

File Size: 258,69 KB

Share Result on Facebook
UPDATE