CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees | IEEE Conference Publication | IEEE Xplore