Security Cryptography Whatever cover image

Matrix with Martin Albrecht and Dan Jones

Security Cryptography Whatever

00:00

Is That All of Omega Old and the Secure Backup?

We were originally working on formal modeling and it was going to be pen and paper proofs of not the whole matrix protocol, but a subset of it. And we kind of did little deep dives into implementation parts and found some bits we were like, Oh, maybe we should double check if they do this right. But we're still working on formal analysis and like kind of a follow up on that in like a symbolic model or just like any you're trying to formalize any of these properties at all.

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