CoSMeDis: A confidentiality-verified distributed social media platform by Thomas Bauereiss and Andrei Popescu Aug 16