
Signal's Post-Quantum PQXDH, Same-Origin Policy, E2EE in the Browser Revisted
Security Cryptography Whatever
00:00
Challenges of Spec Adherence and Importance of Open Source Code
Exploring the importance of syncing specifications with code development, favoring open source code for its nuanced clarity. Introducing Crispin, a company focusing on formal verification for mobile protocols.
Transcript
Play full episode