{"entities":{"Q5418723":{"pageid":7448297,"ns":120,"title":"Item:Q5418723","lastrevid":41846198,"modified":"2025-05-08T23:49:54Z","type":"item","id":"Q5418723","labels":{"en":{"language":"en","value":"Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6298778"}},"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":"Q5418723$985C52AD-0CBB-4D3B-B91A-F5ABEE44F7D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa3bbd776a5065d4a637c5b8b3120830b53c2beb","datavalue":{"value":{"text":"Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5418723$0DC97013-7E5F-46CB-ADFE-DBF37FB22830","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a0ed9934aae0a80c095ffa51989f1cdc58d6ab4","datavalue":{"value":"1328.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418723$FD174061-58EB-4B19-BE16-3E0179B69911","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1c6fdb0244e6549e50631d6667ccd81478364a3","datavalue":{"value":"10.1007/978-3-642-55220-5_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418723$7673F86E-4A20-41C1-8C73-4C7CE285226D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f313ae9bb2759dfc31c58d168f7025ae2f40e27c","datavalue":{"value":{"entity-type":"item","numeric-id":2902921,"id":"Q2902921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418723$BFD6F56A-7FB8-4DE3-A733-EA9EC1E9B1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63c4ef7618cfd2b9587cd10c83fb60398506e107","datavalue":{"value":{"entity-type":"item","numeric-id":1272335,"id":"Q1272335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418723$25A2F815-1C0E-4CF3-BE3B-7944E9AB5047","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"56bc2edb6f28db16650d4cc7350546a80f51b461","datavalue":{"value":{"entity-type":"item","numeric-id":5418685,"id":"Q5418685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418723$869D1738-29BC-41AF-9256-7D5923441714","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"828ed8b162d1992028d5ae49a551887eff742f87","datavalue":{"value":{"time":"+2014-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5418723$196D05E8-61A2-4EA3-A5A3-1436D2F47732","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418723$9E6C231E-51AE-4D0B-AE9B-F14C6EB058E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418723$215266D3-5EE8-4095-9D7A-94D60F818134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418723$03B7CF65-71DA-431C-BC2A-4B72C85306CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84e200d9766ebd4e55fbeec799b8ef7e35a9fd92","datavalue":{"value":"6298778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418723$39A6C52D-0B57-4D19-8C39-65FD9426C2D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418723$2F10A426-A57B-426A-8237-2EAC6B2780E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e594c228a343ea69f779ee790bc6ba31198d44ac","datavalue":{"value":"security analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418723$8FE3A447-8113-4C92-AEED-9255EEB4180D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e5a2118985672c14d8705c6d71a2b5ea0a244b6","datavalue":{"value":"symbolic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418723$825C61A6-8147-4E40-8B38-447368418886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c9ea3d35f336e43b1f0c691430f17ba5ced6933","datavalue":{"value":"automated analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418723$998A1DCD-8440-4122-A5AE-06281291EBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"390ab928e325dd474e9c0ec2502488771dab4883","datavalue":{"value":"computational soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418723$0F1A76E4-5C9A-4943-8C0C-D12382166890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e88217747d3c21e2d18aba245a50e59bf61caa","datavalue":{"value":"universal composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418723$92EC1478-B4EF-469B-9B85-37636F67E6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbc499dbb80347017545b5cc30d86457c20edad8","datavalue":{"value":"homomorphic encryption","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418723$9FF55908-DACF-4F45-A78C-5D1774D88C3B","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":"Q5418723$B6116141-C31D-4FA9-B81E-CBE2D7719251","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"947b4aa3df0e987173141051fd45dc2ceb3a661b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-55220-5_38","type":"string"},"datatype":"url"},"type":"statement","id":"Q5418723$66447CCA-E062-4E6F-9511-52768848DE2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aec707ab985374f7a7a94d75b89f304be68426b5","datavalue":{"value":"W2226641133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418723$FFA84A77-40FD-454F-A266-47D11824F84C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37d79fc0f0fc2994d010670430db87d6fde6802","datavalue":{"value":{"entity-type":"item","numeric-id":5898365,"id":"Q5898365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e5535594c4e413b4bb228ecc867aa3a0d4f9dc","datavalue":{"value":{"amount":"+0.9375715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5418723$9D2F2A6F-2CEA-49CC-A508-447A906BA6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"224cb5592d1287a483b47592b8fc5a2ef8a33fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2429708,"id":"Q2429708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7052b174262356489b7dccc08bf4eeb8382393","datavalue":{"value":{"amount":"+0.89614344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5418723$A9030325-D936-4C20-97A2-0A5992DE5CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad4001f55a13c10318a042b92cba0b66d9eaa5f","datavalue":{"value":{"entity-type":"item","numeric-id":3579187,"id":"Q3579187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330c8d32c7947089d78c7476877ec88b70521bf9","datavalue":{"value":{"amount":"+0.88080895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5418723$E88DD7EB-DA0A-446F-9601-7B2318ECF484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd7d768517aba8c6a05c86c696426edb350db49","datavalue":{"value":{"entity-type":"item","numeric-id":5431313,"id":"Q5431313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01aace6cd82d8efd8bb0044e05066f60e26d5e59","datavalue":{"value":{"amount":"+0.86974645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5418723$1CAF8058-D860-498D-8E45-8491968A487E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2b85611d510d56c2ee3cd15c0ae54db53dcac4","datavalue":{"value":{"entity-type":"item","numeric-id":2848483,"id":"Q2848483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"076c8bb415af6868d2ed5dad15362032873ad74b","datavalue":{"value":{"amount":"+0.86848474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5418723$7052921B-5954-4436-BDB1-E4443F2665ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14bed56fce598d9e2fe50562a8a00dc0417f672","datavalue":{"value":{"entity-type":"item","numeric-id":2849863,"id":"Q2849863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ceec390cf5ad0df4dab40f07be9b6e5864d8d9","datavalue":{"value":{"amount":"+0.8678606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5418723$16F6479E-9FBE-4FE8-B1F3-994A0D19F801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9153dc947fe448f781510dde0c48ae2bd944238","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc687aa2909364d02b93f96c32f42e16e126662","datavalue":{"value":{"amount":"+0.86786056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5418723$1B20FE78-D4D5-4A85-9E97-2DF5426A98EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e993e5c8f356cdd452de93c596005165d657dc","datavalue":{"value":{"entity-type":"item","numeric-id":2870083,"id":"Q2870083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d0056957423a33aee0fdcb8e744d1afec78502","datavalue":{"value":{"amount":"+0.8668949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5418723$9A9A2390-24C8-4F29-B102-F144041DF555","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5418723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5418723"}}}}}