Items where Author / Artist / Editor is "Pesenti Gritti, Armando"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Article

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2018) CoSMed: a confidentiality-verified social media platform. Journal of Automated Reasoning, 61 (1-4) . pp. 113-119. ISSN 0168-7433 (doi:10.1007/s10817-017-9443-3)

Conference or Workshop Item

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco (2017) CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. 2017 IEEE Symposium on Security and Privacy (SP). In: 38th IEEE Symposium on Security and Privacy, 22-26 May 2017, San Jose, CA, USA. ISBN 9781509055333. ISSN 2375-1207 (doi:10.1109/SP.2017.24)

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2016) CoSMed: a confidentiality-verified social media platform. Interactive Theorem Proving. ITP 2016. Lecture Notes in Computer Science, vol 9807. In: ITP 2016: 7th International Conference on Interactive Theorem Proving, 22-25 Aug 2016, Nancy, France. ISBN 9783319431437. ISSN 0302-9743 (doi:10.1007/978-3-319-43144-4_6)

This list was generated on Sat Feb 22 05:20:28 2020 GMT.