CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees.
Thomas Bauerei, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi
VenueA*SP
Year2017
ProceedingsIEEE Symposium on Security and Privacy
DBLP recordconf/sp/BauereissG0R17 ↗
Browse the full SP paper archive.