Mastodon Feed
nadim@symbolic.software ("Nadim Kobeissi") wrote:
Kickass automated protocol analysis results, as usual, from @cryspen. This time targeting Signal’s new PQXDH post-quantum authenticated key exchange protocol.
Both ProVerif and CryptoVerif analyses, with enough results to motivate a new version of the spec! https://cryspen.com/post/pqxdh/