Signal on Nostr: Our quantum-resistant protocol upgrade, PQXDH, is now “the first machine-checked ...
Our quantum-resistant protocol upgrade, PQXDH, is now “the first machine-checked post-quantum security proof of a real-world cryptographic protocol.”
Thanks to the researchers who did this important formal verification! Read more from them here👇
https://cryspen.com/post/pqxdh/Published at
2023-10-23 14:29:49Event JSON
{
"id": "c1e1ab218d1b5db883cbedc5446cdd1d62f0fda2c9405e496b965399e43e7663",
"pubkey": "9be21611a341426e9146257c54179e22d178bb7d4106e247ddf3e507b7985a6b",
"created_at": 1698071389,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.world/users/signalapp/statuses/111284806576441764",
"activitypub"
]
],
"content": "Our quantum-resistant protocol upgrade, PQXDH, is now “the first machine-checked post-quantum security proof of a real-world cryptographic protocol.”\n\nThanks to the researchers who did this important formal verification! Read more from them here👇\n\nhttps://cryspen.com/post/pqxdh/",
"sig": "d6c499e7d685870e3fdbd33e9e9d2d8522a28d62d1e8f81c156b3dc78ad1e1532fb0c54aa6cc7fd144e38bcf15432881b00735d15f627f6a5256c24f6d73664f"
}
