{"entities":{"Q2669248":{"pageid":2679991,"ns":120,"title":"Item:Q2669248","lastrevid":55400830,"modified":"2026-02-17T15:38:40Z","type":"item","id":"Q2669248","labels":{"en":{"language":"en","value":"A formal treatment of the role of verified compilers in secure computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7485817"}},"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":"Q2669248$3138D7A0-ADCE-4E59-9E7B-A0458D707ECD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0f9cad94c6f491958d63d99e518c821b62628dd","datavalue":{"value":{"text":"A formal treatment of the role of verified compilers in secure computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2669248$25F7E513-81D8-4E33-B23E-1DDCC851475F","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":"Q2669248$017249B7-11BE-4AB8-8B14-FB1B80BD256A","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":"Q2669248$EAA068A3-C55E-41F4-954E-3819EFF4CC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$7DF351D7-89E1-48FA-BD91-220A79DB6360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1256187fbe6da7e9857ed8256b66efc062b244e3","datavalue":{"value":{"entity-type":"item","numeric-id":2669245,"id":"Q2669245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$86C56F33-E10E-405C-9B58-3797EE78F95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8339d38a2bc64959dbd9897799df68fd7884f4cb","datavalue":{"value":{"entity-type":"item","numeric-id":2669246,"id":"Q2669246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$AFE5EB46-E911-4167-9558-5032D1239D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ec762b503271cf4b833da506715239569ba8928","datavalue":{"value":{"entity-type":"item","numeric-id":2669247,"id":"Q2669247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$0E7DFF20-4B90-40B9-9B3A-A5C82A2D26DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$3A16A144-3767-43A4-8841-D74AD9F718C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acee27211c540e6d5c2366514874b0c468da47fb","datavalue":{"value":{"time":"+2022-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2669248$E74F9C7F-8E5A-479C-941D-AC11C65B4C47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669248$28C27C63-08B8-4E18-A0B4-33FCFA50BE82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0301bf9ad254955782a86f17bac8d80176f1b6f9","datavalue":{"value":"7485817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669248$456BA40E-938A-4F02-BBBD-FBEE494597D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ac1eb9d68b0c2f1131c5232095836cb99dc184d","datavalue":{"value":"secure multiparty computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669248$9D417765-C488-46B5-A3D3-1016210D0BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"150b2e037b5286405a7e2506c558d6bb7d520c61","datavalue":{"value":"secure compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669248$AF431706-866E-457D-876B-532E65CE2866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ca03c072cdbfd6304f292d64049ba528d71b108","datavalue":{"value":"certified compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669248$BB5ADB6A-A523-43F2-AC3E-D9C553421B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669248$DF0CB932-7469-45BF-9D7D-5F47E8431E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e05fdd74cb0e334c41c0b9ec6c7192270a53c5","datavalue":{"value":"easycrypt","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669248$163B481C-3AC4-43FA-B24F-C4B786BE1F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1130ba7fa6b496c7352f7cb71bcd6b250ceed1d","datavalue":{"value":"computer-aided cryptography","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669248$4C598778-F546-4551-AC65-C663D687981A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15aa915ad290b9aa723119975a44403d0765a751","datavalue":{"value":{"entity-type":"item","numeric-id":34408,"id":"Q34408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$F0E99AD6-9806-4ABD-8796-C6D16AD686BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a217e29fc806c3cc2b5e08649856c624dd745b4a","datavalue":{"value":{"entity-type":"item","numeric-id":1353519,"id":"Q1353519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$EF6FB410-1420-4F79-9C9D-2A7EE2CDAE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35ca0d2c884ba8707f14d99c1ad92537e61f246f","datavalue":{"value":{"entity-type":"item","numeric-id":1353522,"id":"Q1353522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$9961769B-EF25-47F9-A086-341B5A222127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a45953cb9862b9feb610a4aefee10999a685fff7","datavalue":{"value":{"entity-type":"item","numeric-id":5972941,"id":"Q5972941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$936EAA2F-6D67-4053-AB0C-347C0CD64778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93a4850882a5bf9f88bb6b47d8fa4743147dac44","datavalue":{"value":{"entity-type":"item","numeric-id":1350688,"id":"Q1350688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$BB313CC7-4CB8-4D1C-970D-9083C2743D54","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":"Q2669248$EE2A8383-5754-4781-A084-60CF53AD820B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88361aca4620b1bcb21c8831089e7cdd05d8b4bd","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2021.100736","type":"string"},"datatype":"url"},"type":"statement","id":"Q2669248$8375618A-DA4C-4293-9FFA-D04948F90311","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5e98e36bd16e6aef0c784fa3ac195529c26f375","datavalue":{"value":"W3216203331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669248$A4DBC4D6-C553-49F0-B892-5A0863EF58F4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b78031931a68146e7d260e5266e5822aa2198a12","datavalue":{"value":"Q123029526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669248$49439C17-844C-40BE-920B-CA6520EC4521","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"998936a5bc66585a0650354991175959c24074c9","datavalue":{"value":{"entity-type":"item","numeric-id":3655178,"id":"Q3655178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$4DDAEF67-787C-42C3-82B0-D3355C335DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77882dc465c4e3b8cd86d6f4fa6dc9fd0c132c2e","datavalue":{"value":{"entity-type":"item","numeric-id":2914293,"id":"Q2914293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$D32806FA-91F1-4F65-8F0B-FC5071ED672A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b42ac8f5df4aba71dbb646ff48de889e9d984da","datavalue":{"value":{"entity-type":"item","numeric-id":5428124,"id":"Q5428124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$21ADC00C-E4CA-47CD-ABF3-61E53EED6AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$DCF5C9A2-5E69-444E-8D3F-548B07FA83DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ee54ec11d06e8a5c8eab19f2efedb4f4c5160d","datavalue":{"value":{"entity-type":"item","numeric-id":3050283,"id":"Q3050283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669248$0349BA3D-7213-4132-A0D1-1715FF6C9787","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5331aa25985e86bba8315805f95872e1169b66d","datavalue":{"value":"10.1016/J.JLAMP.2021.100736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669248$ED2968B0-8D7D-4B1E-94BD-37210B67D02F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1217c0b1795a29b44b05170888c49af4ae02dcb1","datavalue":{"value":{"entity-type":"item","numeric-id":1696583,"id":"Q1696583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0959185e4b6f5fa6545c4bf6b2768ee15d7163","datavalue":{"value":{"amount":"+0.7818782925605774","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":"Q2669248$D44C9862-AE1B-4B30-A1E3-676A97F1921A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae05dfc1a43ad184234e6e19413287b5e54b2f7","datavalue":{"value":{"entity-type":"item","numeric-id":2908865,"id":"Q2908865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9bba8aedb1755e97e7a84d9a9a1ad88415075f1","datavalue":{"value":{"amount":"+0.7578296661376953","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":"Q2669248$62127D81-2476-43DE-BB26-B130610711A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60dc54de8c948a97e5f90aaa06134fbfb0bc07b","datavalue":{"value":{"entity-type":"item","numeric-id":6111778,"id":"Q6111778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa04f68e9e1c1f7c89ca3aa195174372ac698c0b","datavalue":{"value":{"amount":"+0.7372069358825684","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":"Q2669248$7B4E1EC7-5C9D-4A41-9091-332889F76647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfdba58509eec530f64593f815c8792c6ce48a3","datavalue":{"value":{"entity-type":"item","numeric-id":1687724,"id":"Q1687724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6949439037b8709addea5acc8c4fd4a618ec29d","datavalue":{"value":{"amount":"+0.7330028414726257","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":"Q2669248$1924D25C-4A22-4528-8BCA-C1C4A5C4B22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944245c564114ce3dfd97c4d92ea74d69482b899","datavalue":{"value":{"entity-type":"item","numeric-id":5168893,"id":"Q5168893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3c9d2987f7f01a4209624548688b4d8fb352b47","datavalue":{"value":{"amount":"+0.7322427034378052","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":"Q2669248$44CC0ECE-EE6E-45F7-9BC0-E12F39584A98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2669248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2669248"}}}}}