{"entities":{"Q2442950":{"pageid":2453693,"ns":120,"title":"Item:Q2442950","lastrevid":51962495,"modified":"2026-01-20T15:40:26Z","type":"item","id":"Q2442950","labels":{"en":{"language":"en","value":"Formal verification of side-channel countermeasures using self-composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6277175"}},"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":"Q2442950$F37738D2-9472-48CF-A3FF-EB8BF2CE01D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e8ee6a7f23591813cf91e7766595c5fa5d8e72f","datavalue":{"value":{"text":"Formal verification of side-channel countermeasures using self-composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2442950$10079257-5223-4E69-BB71-6AC6DF5BC675","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a8ebbcf7b01b3f914910ef726b01d37c1844b9b","datavalue":{"value":"1284.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442950$4BE1A33D-B7A4-40F4-B154-BF31CA39B6A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc687281410ad150f448b1775c32d6b9ec61b01b","datavalue":{"value":{"entity-type":"item","numeric-id":1960260,"id":"Q1960260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$93CDA683-7F98-4E90-97C4-1F8B689AA830","rank":"normal"},{"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":"Q2442950$BCB7D9C6-E3F4-4F25-92DB-B2D87F6C12CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b22589ac4799fa11bdf6a319668e8a088247d277","datavalue":{"value":{"entity-type":"item","numeric-id":465684,"id":"Q465684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$3D3E86FE-2567-43AB-8C35-B264DF1DC793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb47b342ad5f42ebb8b10e3646d5a7069157a438","datavalue":{"value":{"entity-type":"item","numeric-id":2442949,"id":"Q2442949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$6E594A68-BB38-4529-8A33-87EDAB27C16D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$E9098428-1B07-430A-9AAF-A08A5DABE64A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a3a20b45f11cecf76214467e266a47640bc94a4","datavalue":{"value":{"time":"+2014-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2442950$764FBE81-72E8-4A8C-9568-D0415480367E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442950$5269524A-B94A-4B1B-BBEF-F7732C2BC43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442950$049A0675-25F9-4B6E-9CE5-8941611EBB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442950$2CA92766-CC54-4287-A37D-23F05EB5860D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4972a5c87015a985600c2bf7df7789e5d422e0b8","datavalue":{"value":"6277175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442950$3FE70F30-CA5A-4592-84DB-81F84CFB24DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c702e849353fddc890f12578416b06f3a0fb7da2","datavalue":{"value":"cryptographic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2442950$26720701-A0BD-48C3-9FE1-E53539F8A79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2442950$B04E9563-A6A9-4E17-B5CB-A461388D51EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2442950$271030EA-F414-4E60-BD28-896CA16F8511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0055c90c493cb8e5ffade6a7ab5d1118fa92f4c6","datavalue":{"value":"self-composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2442950$8E24C4BC-1D88-4B55-97EF-52A772CD4584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e87bc000b1d3b263ba5d90038b058113d9f4bbc9","datavalue":{"value":"side-channel countermeasures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2442950$8566E840-44F9-45C1-BB7E-B9356AE47012","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$E449EA73-8DF6-423F-9B7E-AF190C715F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dee6d695234cdfbc4a272f03f51845f9fcd03368","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$2E2A6D88-BAF4-489B-9583-8C3AF6DCE0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$778484DA-2C73-4471-8C14-7E977E6AB604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$7129A5B4-3827-462F-BD4D-6474359CF41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2499c212f9173f7802c7e2ae940591c803036f","datavalue":{"value":{"entity-type":"item","numeric-id":32413,"id":"Q32413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$7E3BCBAD-16CA-426C-BBC7-E716C8194008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2cff0e70f190de9dce10b1f730c5efddd384c38e","datavalue":{"value":{"entity-type":"item","numeric-id":21893,"id":"Q21893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$7CF046ED-576D-4AA5-9BA5-BF37B012284A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$BE76B643-2038-452B-A41F-4130147BD51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$2850BE01-2EEF-4520-B911-0911A62A08C4","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":"Q2442950$4D18A30B-8962-4E3A-A33C-54EFCE7FE6B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cbcd945140b9dfe42eb8b08671b7225acb0d98d","datavalue":{"value":"https://doi.org/10.1016/j.scico.2011.10.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2442950$8A4A569E-1AF8-4958-A9A1-0775EFFE415D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26f0c67166b8db8b4fe2a3ecdf7e46841cd9bd29","datavalue":{"value":"W2132350687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442950$0000D200-7140-44E6-9965-A66761749F6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0dbcf0b939e6f2c5c1ce50532e662090299e78","datavalue":{"value":{"entity-type":"item","numeric-id":5178841,"id":"Q5178841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$4132B55D-4CD2-45A7-97F3-783E45536CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2098d1c6d59362bcc59c67d035bce3d9e31f86","datavalue":{"value":{"entity-type":"item","numeric-id":4676153,"id":"Q4676153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$B78A7C89-142B-466D-86B1-EC43E7519F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a486f6f61fd4d307e4fee9b67b4596eca0595e4","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$E51DACDD-6885-4FA4-A199-BD881DFE8AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9971a8b9ead8fccd2d646b5dfe136f3be07427a","datavalue":{"value":{"entity-type":"item","numeric-id":4134927,"id":"Q4134927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$4E1436E4-7D4C-4573-879B-0C556E07044C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1582c94ce128792cebf219141dc483b9aeea9fd","datavalue":{"value":{"entity-type":"item","numeric-id":3642916,"id":"Q3642916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$66E98794-C4E5-4C3F-A03C-75D3B6C83DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b718b3c28597e5e6f4f596a60845813367802e1","datavalue":{"value":{"entity-type":"item","numeric-id":1566911,"id":"Q1566911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$64333D7C-4767-4F5B-AB1B-98F5EC9FF57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c6af7a56f6af6fa8fce05042bbf26f5c22ba03","datavalue":{"value":{"entity-type":"item","numeric-id":5899288,"id":"Q5899288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$C58F62D7-1D6B-43C8-9840-55D25B6575F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b03243d3689d3a13ed31726a2010152ac7bd3c0","datavalue":{"value":{"entity-type":"item","numeric-id":5898552,"id":"Q5898552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$EE577BA6-D4D3-481E-8A35-423F3E243746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635c32f054dbe1f1f21a3b02a893cd344b0e15de","datavalue":{"value":{"entity-type":"item","numeric-id":5897442,"id":"Q5897442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$712E4D83-9F90-4971-836C-17A359CAD398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b534993f282259fe0a829dffe6271eb4dabe5be3","datavalue":{"value":{"entity-type":"item","numeric-id":5316571,"id":"Q5316571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442950$98CAA9E1-4C3D-4983-AA22-ED05BCB6BB73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5f2da7b3f0568522f85af7395f09e265bb822d0","datavalue":{"value":"10.1016/J.SCICO.2011.10.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442950$8AAAF5DD-DD25-4844-A854-645FD22A00FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b1f5c676d8ec45b4889d66199918595b1f8322","datavalue":{"value":{"entity-type":"item","numeric-id":1656021,"id":"Q1656021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efdf9e8be58254a5a092606a1a4e02be2dd5a4c9","datavalue":{"value":{"amount":"+0.756338357925415","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":"Q2442950$1AEBA296-EBB3-4815-B96B-5F6C8A33CF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c9cf05d81ed6d543fb4281e63392d2d5d90912","datavalue":{"value":{"entity-type":"item","numeric-id":2324198,"id":"Q2324198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5411eda8ea0c7739584b75879e88f56d6e298cb5","datavalue":{"value":{"amount":"+0.7350737452507019","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":"Q2442950$27A19E6D-406C-48B5-ABEA-EFEA2F5E5E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c5e1fa2b9577474cad96bbaf67d5fdf628a373","datavalue":{"value":{"entity-type":"item","numeric-id":5875633,"id":"Q5875633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0ea112f96ff90e035e09d80b99c8b1619c41ca","datavalue":{"value":{"amount":"+0.7211602330207825","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":"Q2442950$507EBA14-832D-4406-B1DA-D298E25D0C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76183dbefa6e7fed0896c85b8b4c83427674c592","datavalue":{"value":{"entity-type":"item","numeric-id":6039400,"id":"Q6039400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a466ab1b2df200c0601d633061dfb30a7df5c5d","datavalue":{"value":{"amount":"+0.7130720019340515","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":"Q2442950$B0D3EF89-4FC8-4848-B6B9-5F83D6AC539A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641a38a4c2625a78346b2f35069227274576c350","datavalue":{"value":{"entity-type":"item","numeric-id":1648840,"id":"Q1648840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc2ee7cb0bfbfa207647e5052bd15836d65e47b","datavalue":{"value":{"amount":"+0.7081374526023865","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":"Q2442950$790989B5-C6D8-4595-87E4-5D176A473EB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2442950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2442950"}}}}}