@conference {609, title = {CoSMed: A Confidentiality-Verified Social Media Platform}, booktitle = {Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP)}, year = {2016}, author = {Thomas Bauerei{\ss} and Armando Pesenti Gritti and Andrei Popescu and Franco Raimondi} }