#Signal's post-quantum encryption, #PQXDH, has now been formally verified.Hell yeah.https://cryspen.com/post/pqxdh/
#quantum #encryption #ComputerScience
A comprehensive, machine-checked, post-quantum security proof of the Signal PQXDH protocol.
Talya (she/her) 🏳️⚧️✡️