Security Cryptography Whatever cover image

Matrix with Martin Albrecht and Dan Jones

Security Cryptography Whatever

00:00

Is There Any Work on Formal Analysis of a Federated Environment?

There's some work on trying to do it fully distributed. And that gets really hard because then especially when you talk about groups, like how do you even establish the shared view of what the group state is? But in a federated environment... You still essentially trust the servers in a similar way as you trust the signal server of like ordering messages and delivering them.

Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner
 Get the app