An Analysis of Signal's PQXDH
A comprehensive, machine-checked, post-quantum security proof of the Signal PQXDH protocol.
Signal recently published a new, post-quantum secure, version of their X3DH protocol called PQXDH. As with any new cryptographic protocol, it is important to precisely analyse its security properties, especially for something as important as Signal.