%0 Conference Paper %1 conf/sp/BauereissG0R17 %A Bauereiß, Thomas %A Gritti, Armando Pesenti %A Popescu, Andrei %A Raimondi, Franco %B IEEE Symposium on Security and Privacy %D 2017 %I IEEE Computer Society %K %P 729-748 %T CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees. %U http://dblp.uni-trier.de/db/conf/sp/sp2017.html#BauereissG0R17 %@ 978-1-5090-5533-3

@inproceedings{conf/sp/BauereissG0R17, added-at = {2023-12-12T18:33:23.000+0100}, author = {Bauereiß, Thomas and Gritti, Armando Pesenti and Popescu, Andrei and Raimondi, Franco}, biburl = {https://www.bibsonomy.org/bibtex/225621ae672d69ddacead4879e5cea95e/admin}, booktitle = {IEEE Symposium on Security and Privacy}, crossref = {conf/sp/2017}, ee = {http://doi.ieeecomputersociety.org/10.1109/SP.2017.24}, interhash = {1400f0a457a27abaf623265066dc8f72}, intrahash = {25621ae672d69ddacead4879e5cea95e}, isbn = {978-1-5090-5533-3}, keywords = {}, pages = {729-748}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T18:33:23.000+0100}, title = {CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp2017.html#BauereissG0R17}, year = 2017 }