IEEE Symposium on Security and Privacy·19 min
Formally Verified Confidentiality Guarantees
Security researchers examine technical aspects of CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees.
social-mediasocialmedia