@article{article, title = {{CoSMed: a confidentiality-verified social media platform}}, publisher = {{Springer Science and Business Media LLC}}, url = {{}}, year = {{2017}}, month = {{12}}, author = {{Bauereiß T and Pesenti Gritti A and Popescu A and Raimondi F}}, doi = {{10.1007/s10817-017-9443-3}}, volume = {{61}}, journal = {{Journal of Automated Reasoning}}, issue = {{1-4}}, pages = {{113-139}}, note = {{Accessed on 2024/12/26}}}