"Protecting private information is of utmost importance", say Kristina Sojakova & Mihai Codescu of the IPDL project. But "most cryptographic algorithms we use to secure sensitive data are too complex for humans to verify."
IPDL aims to give cryptographic researchers the tools for constructing formal security proofs for large message-passing cryptographic protocols.
Such proofs increase the trustworthiness of cryptographic designs and the internet as a whole.
https://nlnet.nl/project/IPDL/interview.html
#NGI0 #NGI
NLnet /
npub19x…kmart
2024-10-30 11:45:32
Author Public Key
npub19xs3a9609d7hn6l65cnah8cwll2a6gqd4hz2dtqanca3dvcfhtkqpkmartSeen on
wss://relay.mostr.pubPublished at
2024-10-30 11:45:32Event JSON
{
"id": "1523a7bb84c628da1ce35aea341168cd917b40332be85e13bc6cc7c7c697c734",
"pubkey": "29a11e974f2b7d79ebfaa627db9f0effd5dd200dadc4a6ac1d9e3b16b309baec",
"created_at": 1730288732,
"kind": 1,
"tags": [
[
"t",
"ngi0"
],
[
"t",
"ngi"
],
[
"proxy",
"https://social.nlnet.nl/users/nlnet/statuses/01JBEDJ3DTY38YAHR086841CY3",
"activitypub"
]
],
"content": "\"Protecting private information is of utmost importance\", say Kristina Sojakova \u0026 Mihai Codescu of the IPDL project. But \"most cryptographic algorithms we use to secure sensitive data are too complex for humans to verify.\"\nIPDL aims to give cryptographic researchers the tools for constructing formal security proofs for large message-passing cryptographic protocols.\nSuch proofs increase the trustworthiness of cryptographic designs and the internet as a whole.\nhttps://nlnet.nl/project/IPDL/interview.html\n#NGI0 #NGI",
"sig": "b30578b3c3e1b7b7c780fd5ee89f1bd1f4edf33cf6f3bba5f9473248f07f95aee006f0c9f232614c142b5d9a620eb1f417ed82b4f75e4ccc36693b90598c6627"
}