{"entities":{"Q6965249":{"pageid":21294561,"ns":120,"title":"Item:Q6965249","lastrevid":97338944,"modified":"2026-06-05T14:24:27Z","type":"item","id":"Q6965249","labels":{"en":{"language":"en","value":"A tight security proof for SPHINCS\\textsuperscript{+}, formally verified"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8058652"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$2180DC36-3BB2-4B7A-9477-17FE9554A72A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cce39afd5af2b1c8122f2b6addec6b991924f5a4","datavalue":{"value":{"text":"A tight security proof for SPHINCS\\textsuperscript{+}, formally verified","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6965249$A4CA961C-E429-49C8-8AEE-10D2054996FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbcb4a4ab158f4ccb19c3aa340543aa3170c53ec","datavalue":{"value":"1568.94058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965249$5912CF98-873E-4ED1-A5D8-4BEED11F887B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9f21c9afab70f8189150b5ecc8082cd471c3106","datavalue":{"value":"10.1007/978-981-96-0894-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965249$DB98FF36-C2F0-431A-8DCE-F62EE50CC44E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94c5c7e7e11184e79872b37199c866e997a9f617","datavalue":{"value":{"entity-type":"item","numeric-id":1673390,"id":"Q1673390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$C98DC346-11CF-4165-AA85-BF47B4D9A35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"323ffd08d95a3413e76e070bdd6f2b63e80a6c0e","datavalue":{"value":{"entity-type":"item","numeric-id":2948339,"id":"Q2948339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$DDFB6873-7200-45B9-9AC5-387D94B76071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b127a4350da81619a97527d520549af44dba1977","datavalue":{"value":{"entity-type":"item","numeric-id":381134,"id":"Q381134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$0370AFBF-D7C2-47DE-A098-E0344199F517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e78e51c952951edc7ed904ea45cabf32872ab15d","datavalue":{"value":{"entity-type":"item","numeric-id":6155271,"id":"Q6155271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$939806DD-A485-46B2-B158-B546F586CF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1745bdeb092262739da6d0fd18a64d1c3c06446d","datavalue":{"value":{"entity-type":"item","numeric-id":2323969,"id":"Q2323969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$AB18B8CC-189A-4C4D-A38C-F273D047AEC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"671cc9a8897220c29aa2140c9b303a08b52630db","datavalue":{"value":{"time":"+2025-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6965249$43D03435-3E86-429F-AD77-D840541AD29A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8270ee82233b2fbfd870ab0cbeabea1b794ee49","datavalue":{"value":"https://research.tue.nl/en/publications/65dc0cfb-f636-4a0e-b38c-4dc970604054","type":"string"},"datatype":"url"},"type":"statement","id":"Q6965249$A592D275-7D0C-4693-88F2-63C80FDF05BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965249$3CFCF0D4-9299-4720-95C2-E331C9CC174B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7b959e36e52c7b395683dbe2d4c658b32b677b86","datavalue":{"value":"81P94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965249$F2DB063F-9EE1-40B6-881F-F88432CAEA2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dccf381eb878f7eb3ea953b994b6f319d0e03a7","datavalue":{"value":"8058652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965249$778FA3FA-1442-4DA3-A283-DE5DADDB7EEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f557d93ec09c1575f688bea19596dbb31333b862","datavalue":{"value":"SPHINCS\\textsuperscript{+}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965249$A36388D4-CA2D-42B0-BA89-2D5CEED9DEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8858b8cb63065bc66c53dc02bc7cd9b9ec114fd8","datavalue":{"value":"post-quantum cryptography","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965249$4A9A5746-148A-46FB-A500-B2DAB1212926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6003a5bd1f4cbc3d3da7756cfe6a7847ebb6dc","datavalue":{"value":"EasyCrypt","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965249$673ACDC6-8364-4B55-8391-7C052FBC52C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965249$B1395013-D8E0-4195-8D4C-4C44B76FB798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c89d82b1926316141ae97a9f8fe9f36b24cf27a","datavalue":{"value":"machine-checked proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965249$5FC6C3B2-8A12-4A4D-96FA-46B0B09B7884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1130ba7fa6b496c7352f7cb71bcd6b250ceed1d","datavalue":{"value":"computer-aided cryptography","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965249$692FB132-70E9-4012-9F82-849D3C5FFB9C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$21910972-DF27-47D9-AC75-1CC3C42CAA75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a232328684df1a7d28944033c35534ae15462f","datavalue":{"value":{"entity-type":"item","numeric-id":2056674,"id":"Q2056674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$E37EC656-C53D-4813-95E9-665D70004FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c8f916e67d7055d92cbd46e262d68e550bd666","datavalue":{"value":{"entity-type":"item","numeric-id":6190145,"id":"Q6190145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$0F32EA24-03F2-46A5-8FB2-EA8F12FDFE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4c931786d4fc7c311f2d1f8f393efad02baa34","datavalue":{"value":{"entity-type":"item","numeric-id":5199185,"id":"Q5199185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$B90A404F-AE06-494E-9101-A10CB8FC7053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636b91d59ab6f277e32f17fbfc1e3020b8b92be8","datavalue":{"value":{"entity-type":"item","numeric-id":2178847,"id":"Q2178847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$46E9A4B1-A67E-4BE5-AFFC-3416B57A22EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cb7caae390be1020bb0cdd028a92d1c35d24097","datavalue":{"value":{"entity-type":"item","numeric-id":2210444,"id":"Q2210444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$E49ACA84-A92F-407E-88FF-43D1FA0F0CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553266c762ce81f5a34a18810060462b2f0dc4bf","datavalue":{"value":{"entity-type":"item","numeric-id":6133961,"id":"Q6133961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$F2D6301A-05F0-4F75-B954-53B791E3A3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c86392d802d698dd7b3cbe82fb2a3812e6f48c0","datavalue":{"value":{"entity-type":"item","numeric-id":6155272,"id":"Q6155272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$CD0C32AA-BE43-4F5E-BE15-5FD184B53834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a420d5cfc12da4030436aabcbc2f8926c8f64da1","datavalue":{"value":{"entity-type":"item","numeric-id":2798784,"id":"Q2798784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965249$6822202D-854D-4C43-8927-6C7B934ACC08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6965249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6965249"}}}}}