Skip to main content
About
Events
Research
Open Positions
Links
Contact
Search form
Search
Reliably Secure Software Systems (RS
3
) –
DFG Priority Programme 1496
T. Bauereiß
,
Gritti, A. Pesenti
,
Popescu, A.
, and
Raimondi, F.
,
“
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees
”
, in
Proceedings of the 38th IEEE Symposium on Security and Privacy (S&P)
, 2017.
Google Scholar
BibTeX