We're excited to see the release of Signal's new post-quantum ratcheting protocol, SPQR! We are proud to have collaborated with the Signal team on the formal analysis of the design and implementation of this. Learn more on our blog buff.ly/Zi3rCBs and in Signal's announcement buff.ly/Srroli9
buff.lyHelping Secure Signal's Post-Quantum TransitionCryspen worked with Signal to formally analyze their new post-quantum ratchet
2 reposts5 likes