{"entities":{"Q3297608":{"pageid":3308316,"ns":120,"title":"Item:Q3297608","lastrevid":80753996,"modified":"2026-05-06T16:55:26Z","type":"item","id":"Q3297608","labels":{"en":{"language":"en","value":"Efficient Information-Flow Verification Under Speculative Execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222940"}},"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":"Q3297608$EC65DB32-91CF-4CE8-AC41-112BA0AC4AAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c96df5e5dfd0689ad8f45da7bc3e37f161c30cf4","datavalue":{"value":{"text":"Efficient Information-Flow Verification Under Speculative Execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297608$C6C19FE9-EFF7-4442-8015-38E93BBF4804","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f225de5932b18f8b1c92a8d7ffd72398a97dacf","datavalue":{"value":"1437.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297608$773B72C1-37A6-48A4-AED2-547AC421BA44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d6316278e0c5da6b24946d33bc2224f7db84794","datavalue":{"value":"10.1007/978-3-030-31784-3_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297608$4BD6C68D-4384-4E00-B4D8-B63B9D538E88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"829d1799bc22697c2ada30fc3024258f331ca54b","datavalue":{"value":{"entity-type":"item","numeric-id":414906,"id":"Q414906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$937F90D4-96C1-4B0E-AB40-A263223CAFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$3D6DC4E1-1838-4D63-9639-4DCE1F4FB002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2eeffd0a4d2cc9b1c30d6e712f911dea7b84f95","datavalue":{"value":{"entity-type":"item","numeric-id":746770,"id":"Q746770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$4690D6C1-6DEC-413F-AF5D-C26193196A65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$2F2BC192-F3E3-4146-A126-CA440484911E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297608$F3AEB662-D18E-43CD-A766-A2E97922DE78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297608$0FC28FC7-823D-4C14-BA98-05E5CEC2E780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297608$D51B1DFF-F1B6-4005-99F6-B3F2FFD1C37C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87c3e175fdb90d73347b125e78350b8ac03b36d0","datavalue":{"value":"7222940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297608$C78223C4-AB25-4CC8-BD8C-BA790749F64A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297608$411BEE39-6403-4CCD-8CD6-44A2012B703D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297608$93EA74DB-69C8-4AF6-A5B2-72EBA5E23DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b60797d1c8a10f0bb1e40f440a9a29b96feba4d3","datavalue":{"value":"speculative execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297608$EDE75837-725D-49D3-B069-C2041B342E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c92790c5d517e3570024222a167171c6f832b2f","datavalue":{"value":"side channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297608$E20DFC0B-5A5F-48AD-8501-4CBCF9ED96DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$2DB338C0-CC9C-41B7-BBAB-38484A2CBC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69f362165978cbf04e5b5460992bc38f4ae05985","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$003B0E4B-2FA5-4C84-B226-30E34E71FF6E","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":"Q3297608$96DC2973-A1FA-4E44-B6B2-58DB6DD49CA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8384c3d23243583993ac434729ab02628e74fd55","datavalue":{"value":"https://doi.org/10.1007/978-3-030-31784-3_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297608$3A3B17E0-0E3F-4B93-B507-E444EE32FFAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4f5cecd994e7762097d6f72fdc57f9275d082a5","datavalue":{"value":"W2981929361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297608$AC63677B-E04B-452B-8302-90A35D436F05","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":"Q3297608$D2A24E64-C4A2-4040-8AAF-C69795947CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75c22623eefac7b55926712281381cbc807be3b","datavalue":{"value":{"entity-type":"item","numeric-id":2442950,"id":"Q2442950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$B427C068-C6FF-4A8C-AF3A-868665B2DA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09caa7beb8d3eefa06ce47df5edefd82c31c123b","datavalue":{"value":{"entity-type":"item","numeric-id":2729088,"id":"Q2729088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$4C56C943-52CC-4AA0-8BDE-CB2CEFD67E3F","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":"Q3297608$6313A9BB-09F7-4738-A8F8-844BE8119B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb2c78359b6bc1f0d418b5ec3f2d86595f3006d0","datavalue":{"value":{"entity-type":"item","numeric-id":3558222,"id":"Q3558222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$FED5136E-9FAE-4A0B-A7FE-3E773002CB24","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":"Q3297608$23C08069-8865-45EE-9A61-BA844AA4CD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257cb1cc6b509bb434f9548767f7325e8a28878e","datavalue":{"value":{"entity-type":"item","numeric-id":2754112,"id":"Q2754112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$92CCB570-F31E-4F01-82ED-2F1BE8D2F3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b552adcf80e4aa8e31ef60bbc2d14fe0a33928d","datavalue":{"value":{"entity-type":"item","numeric-id":4551174,"id":"Q4551174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$86F9B96A-D172-41CB-AF7F-6C34E396C325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f6744042d1911eed7659076185953dd769f170c","datavalue":{"value":{"entity-type":"item","numeric-id":5900689,"id":"Q5900689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$CCB80984-1B01-4D50-9D92-79A214A44B27","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":"Q3297608$C8E26B41-D83F-4B32-A35D-CEFD143FADD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afb8a7b1264ad098693dc209cb94eaeb10b9d37","datavalue":{"value":{"entity-type":"item","numeric-id":2754092,"id":"Q2754092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$45B153F3-87C8-4F6D-9E8B-E67A6CC26DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e5818cbecc8148d7991be1816cad6accd3b692","datavalue":{"value":{"entity-type":"item","numeric-id":6039399,"id":"Q6039399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297608$8E75C08B-DE5C-48C4-8AF1-9ABB35FEFB43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c250fb0dbeb76ffa5306e908e16c45e13e0a3297","datavalue":{"value":{"entity-type":"item","numeric-id":5875439,"id":"Q5875439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4d4638576aca0580741ca4750fda9ae5db705e","datavalue":{"value":{"amount":"+0.88809586","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":"Q3297608$37299D61-FC85-408C-84ED-E4FC3B8EE8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c24a4e833465e3a3d65a1033c71221293f0d117","datavalue":{"value":{"entity-type":"item","numeric-id":5477657,"id":"Q5477657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73d844e4ce7b6ef19bf65e17da82f6816a1bc6a","datavalue":{"value":{"amount":"+0.8849904","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":"Q3297608$5DDDE3A2-E470-42D1-94DD-D21765CDBA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7524001ad7cfe5fa3f914c4399d26a49e5288ec4","datavalue":{"value":{"entity-type":"item","numeric-id":826055,"id":"Q826055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c6c10835d8f17817d238db9f19a042647ec9e4f","datavalue":{"value":{"amount":"+0.87657213","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":"Q3297608$D180823C-E2A0-4AF8-83AA-1A8C30916D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c6d795a219ec9ebce796a3683f6d4653faea77c","datavalue":{"value":{"entity-type":"item","numeric-id":2729088,"id":"Q2729088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"991d083a16d149569d6ec1a5686f8b79350ff771","datavalue":{"value":{"amount":"+0.8717855","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":"Q3297608$3251DAA6-752E-4263-93F7-FE0CCBA07E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10e85e7181590b50a29ad123b345e2886469d86","datavalue":{"value":{"entity-type":"item","numeric-id":2754092,"id":"Q2754092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab23126fadc0b3d67386dc76800d1f2462ab9092","datavalue":{"value":{"amount":"+0.8695747","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":"Q3297608$1CADEDAB-2050-43C8-B082-48EC41F44BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bdd3b41d13b3041180a073f5766451138ea86be","datavalue":{"value":{"entity-type":"item","numeric-id":5408414,"id":"Q5408414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d89d7435eaf4a123eabd1cdca8080de7856a5eb","datavalue":{"value":{"amount":"+0.868995","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":"Q3297608$1EA7998B-0EEC-4228-A0B6-9552053C02DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079326ee9986ea30e28dabfd373c522d9c16f222","datavalue":{"value":{"entity-type":"item","numeric-id":2754112,"id":"Q2754112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb792d94a847ede04bbdc9a65f9209f43cdfcb5a","datavalue":{"value":{"amount":"+0.86699575","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":"Q3297608$8487EDE1-E7F6-4A43-B485-03F5E0EFCF5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient Information-Flow Verification Under Speculative Execution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_Information-Flow_Verification_Under_Speculative_Execution"}}}}}