Sec.Today
(beta)
Pulses
Apps
Humans
Events
About
Sign in
Humans
DFKI
Star
0
Share
Talks
Month
Quarter
Year
#N/A
#N/A
#N/A
Title
Event
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees
38th IEEE Symposium on Security and Privacy