@inproceedings{inproceedings, title  = {{CoSMed: a confidentiality-verified social media platform}},

 publisher = {{Springer International Publishing}},

 url = {{}},

 year = {{2016}},

 month = {{8}},

 author = {{Bauereiß T and Pesenti Gritti A and Popescu A and Raimondi F}},

 doi = {{10.1007/978-3-319-43144-4_6}},

 isbn = {{9783319431437}},

 volume = {{LNTCS,volume 9807}},

 journal = {{Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings}},

 pages = {{87-106}},

 note = {{Accessed on 2024/09/19}}}