{"entities":{"Q2167772":{"pageid":2178515,"ns":120,"title":"Item:Q2167772","lastrevid":71458134,"modified":"2026-04-13T22:23:47Z","type":"item","id":"Q2167772","labels":{"en":{"language":"en","value":"Formalizing and proving privacy properties of voting protocols using alpha-beta privacy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576075"}},"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":"Q2167772$94FC9223-10A7-4CEB-82EB-9EC1628961BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a68b70a86202c76443c83c43ca8e5dae420be59","datavalue":{"value":{"text":"Formalizing and proving privacy properties of voting protocols using alpha-beta privacy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2167772$DE487068-F245-40EC-A6CC-14B731DA1AAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"131045cfdca9e42943e49d8fc2aa6de0f0bef95d","datavalue":{"value":"1496.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167772$76F17010-3A68-4E0E-95AA-04D9F51BD942","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a70b7af0b3930c92fabf558cbf7beb698f11cb08","datavalue":{"value":"10.1007/978-3-030-29959-0_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167772$741533FC-1446-4111-B42F-98845ED23E72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b32b8e9e49577e4b05f70a8cb281b13e476a604","datavalue":{"value":{"entity-type":"item","numeric-id":2167771,"id":"Q2167771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167772$3679B521-1D1A-4992-90BF-1E6CA79C32FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"839e3775cac5c6f20a175f289a705420733ecb14","datavalue":{"value":{"entity-type":"item","numeric-id":2154013,"id":"Q2154013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167772$2D93A2BA-8878-4BF3-9D96-EA5C9909E146","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1671f4d77625f9c3fb2d471bd3f2c3e84e79d65e","datavalue":{"value":{"time":"+2022-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2167772$EC38858C-DE94-4105-956E-512418843175","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"006be16437fa04c7a24af7d63d5a909196295693","datavalue":{"value":"https://backend.orbit.dtu.dk/ws/files/215546869/voting_alpha_beta_privacy.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2167772$AC1B593F-327E-48B8-AB89-7E2EB34ECC24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"699636654cf943fe9097d5e940392c611fd79ab7","datavalue":{"value":"68P27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167772$0F695C5F-7A4A-4613-BEFB-E08798982E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167772$DABE3AB4-42C4-4336-84DF-284316BA1547","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc4b506790d6598e55945805eb694a0e707a4686","datavalue":{"value":"7576075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167772$7D68A5CD-C050-44B7-B267-8AD2E1331748","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce1f950f85ce12f7c54911f5def46dc7317f40e","datavalue":{"value":"formal security models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2167772$BCFEBC6A-3F94-4655-8F3D-22BDF7A2CF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84dd83c78d76cb340424bc3fb01cb5e71ae36603","datavalue":{"value":"logic and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2167772$9E389551-1172-4ED0-A530-39FDC3464AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c412b83efbc93711ada9d19af53d4f162e5c34","datavalue":{"value":"privacy-preserving systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2167772$B690BD4C-FF69-4D2F-A238-946793161E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"625de0f9a32e4aa3da6893e07213065f58341e3b","datavalue":{"value":"voting protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2167772$0D6B3B09-08E3-46F4-87F5-35595D178745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"415c18a30e471eb5711f1ba3e5d249afa7d42798","datavalue":{"value":"receipt-freeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2167772$EE0CEEBE-FCB1-4CCE-9A52-32DA6B0F7B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76e289a4b725013a11b250695fc091c02915f17c","datavalue":{"value":"security requirements","type":"string"},"datatype":"string"},"type":"statement","id":"Q2167772$3C0F3EEE-2DDC-49D3-83CE-6D4ACDBAE6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2167772$3675E1D4-9DE5-453F-8FC1-405055BB6E21","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":"Q2167772$3010A652-C58E-473A-ABA1-C7201937B7AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4004639d38ab963163d0358f0b132fda1d7f5c77","datavalue":{"value":"W2972786277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167772$1C01E1BC-FFAA-4C55-963C-3E05BEA2B2F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eabcb80968d1229e27e83ee2791db9c1b82ab76","datavalue":{"value":{"entity-type":"item","numeric-id":6487293,"id":"Q6487293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70bd0785a162bef7ca04ba978dbf6bd39fac1371","datavalue":{"value":{"amount":"+0.8217262029647827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167772$9640B611-0A6F-4D87-B803-B0A7A9640A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cd14c58504a926aafbb30e8c9b5d27df4e2cc0","datavalue":{"value":{"entity-type":"item","numeric-id":3506899,"id":"Q3506899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cbc73d2d35d1e8528b1142f6d0f01914bd55b5","datavalue":{"value":{"amount":"+0.8005794286727905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167772$36C27F68-C3B9-4299-9C23-178F85F699E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9599275b535bc0e2c7297415ce0a3944a7f66a","datavalue":{"value":{"entity-type":"item","numeric-id":2870157,"id":"Q2870157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be7a3537cbc33abea72c1af78b424779551e5f0","datavalue":{"value":{"amount":"+0.7957903146743774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167772$F48E8EED-C2CD-48CA-8B04-65A8E12B2027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf5323b045c75ad6c4b2e048b6f72deb2cd3540a","datavalue":{"value":{"entity-type":"item","numeric-id":2165487,"id":"Q2165487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2db9b35690e84dbac373d8b6729bf1e6b6bdaa","datavalue":{"value":{"amount":"+0.7783209085464478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167772$040C508C-6F02-4B7F-93B2-D6BCD01B73B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6e2d858f33943e13a3cca40c5ca1f64f278da6","datavalue":{"value":{"entity-type":"item","numeric-id":3569110,"id":"Q3569110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f47675016e4577bcf6415685d911b0199f4205","datavalue":{"value":{"amount":"+0.7765598297119141","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167772$933CE928-DD4F-4A92-9413-6454B73AD8C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing and proving privacy properties of voting protocols using alpha-beta privacy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_and_proving_privacy_properties_of_voting_protocols_using_alpha-beta_privacy"}}}}}