
@conference {626,
	title = {CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees},
	booktitle = {Proceedings of the 38th IEEE Symposium on Security and Privacy (S\&P)},
	year = {2017},
	author = {Thomas Bauerei{\ss} and Armando Pesenti Gritti and Andrei Popescu and Franco Raimondi}
}
