IEEE Security and Privacy, S&P 2017


Article Details
Title: CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees
Article URLs:
Alternative Article URLs:
Authors: Thomas Bauereiß
  • German Research Center for Artificial Intelligence
Armando Pesenti Gritti
  • Global NoticeBoard
Andrei Popescu
  • Middlesex University, Department of Computer Science
  • Institute of Mathematics Simion Stoilow of the Romanian Academy
Franco Raimondi
  • Middlesex University, Department of Computer Science
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/sp/BauereissG0R17
Author Comments:

Discuss this paper and its artifacts below