@inproceedings{inproceedings, title = {{CoSMeDis : a distributed social media platform with formally verified confidentiality guarantees}}, publisher = {{IEEE}}, url = {{http://eprints.whiterose.ac.uk/161213/ }}, year = {{2017}}, month = {{6}}, author = {{Bauereiß T and Gritti AP and Popescu A and Raimondi F}}, doi = {{10.1109/sp.2017.24}}, isbn = {{9781509055340}}, journal = {{2017 IEEE Symposium on Security and Privacy (SP)}}, pages = {{729-748}}, note = {{Accessed on 2024/12/23}}}