{"entities":{"Q53715":{"pageid":53771,"ns":120,"title":"Item:Q53715","lastrevid":105428615,"modified":"2026-10-09T10:10:13Z","type":"item","id":"Q53715","labels":{"en":{"language":"en","value":"Game_Based_Crypto"}},"descriptions":{"en":{"language":"en","value":"AFP entry Game_Based_Crypto"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"08ea8a6196315e34bfef724788ea4d9f09069c62","datavalue":{"value":"38015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53715$BF6C91E2-E3C1-4DE0-A07A-9857511FDAF5","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$F32028F3-C303-4C39-BD14-BD8A40E25BDA","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"f9a479036e527507ea939af13df3cf1724111c05","datavalue":{"value":"https://www.isa-afp.org/entries/Game_Based_Crypto.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53715$A71350DE-43FE-4DDB-A23C-3EB3316781A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53715$553CAC5F-67E0-48D0-BCA4-61622AD81798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53715$C625F54D-F471-4C32-8098-0DA6E996546F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53715$C343826B-73DF-48DC-B1E7-4FC6EBD79C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca6833d3c12e329e13f5f7a45eb21803ac988009","datavalue":{"value":"91.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53715$ED152B18-0C33-4CF4-8F65-7A74C30C2F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb7b2d196cb181e838b342f41804d522dff44830","datavalue":{"value":"94.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53715$3888768E-C7D5-46C4-ACBF-B8843086BFA3","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a9edbd2c1b6a0c50c92b404a365a164e64c40f5","datavalue":{"value":{"entity-type":"item","numeric-id":53713,"id":"Q53713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$8A410135-77B8-4F24-8966-3A415270BAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"63dfdf554f26dc046bc1cc284387a8f2b7ee925b","datavalue":{"value":{"entity-type":"item","numeric-id":39279,"id":"Q39279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$00D3AC6B-01B9-44FE-828F-646C1F0E8F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"826b53166301e7f2710fbb9ac0613992a63d1b43","datavalue":{"value":{"entity-type":"item","numeric-id":30463,"id":"Q30463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$7C879A77-3AB0-48A0-8A3C-82595326E5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"244ebbac6461f60bed6d50e50ce8194b0e233968","datavalue":{"value":{"entity-type":"item","numeric-id":40296,"id":"Q40296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$49CEF963-BA8F-4839-B227-5B1A4B26B6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$92815E07-C045-4F59-B567-D05BBBEA6352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$6C4AB388-E74A-48C4-B9D2-9CAD8291E047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"da71442535724374fba994798fe2e776a105b283","datavalue":{"value":{"entity-type":"item","numeric-id":40255,"id":"Q40255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$D882E6A9-1AFA-406A-A847-90F94417F50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$39D4B5B1-2314-4D53-AA11-96064D778CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"475b592b7f3c7573e79f818da959e13eb74264b6","datavalue":{"value":{"entity-type":"item","numeric-id":32994,"id":"Q32994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$E2FC958E-2462-4220-949A-1E23A7FA4735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$BB33CD13-7882-43F5-A95C-486E7976BDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$218B4FCA-BAF3-4F00-9EF4-600E88AB327A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$BD4CA52B-F803-48EF-9AF9-55825C4A362D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"74b3e1a53a717ca62a629eb480944df7ee3187d4","datavalue":{"value":{"entity-type":"item","numeric-id":53714,"id":"Q53714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$199D7D8D-A05E-4C51-A54F-6C0CAC06D81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a3f9d192df50f24767772f5b218635cb7747b820","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$0EAF6A3D-8473-49C9-8C56-74A5AD0E4204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$C0B12D45-95CE-4DCF-8FE9-0C32F9456C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$C4AE9B4D-F320-4CF5-9ED6-8CABB09F4B56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b3c43e312f23f110faa4696c779dc31c2715494","datavalue":{"value":"https://isa-afp.org/entries/Game_Based_Crypto.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53715$4E7156D7-DC1D-442F-B576-E2BCC092DD8B","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q53715$887F0F43-5CF8-4824-A8BF-9B4671D46C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"bd7c6c31d61f45a261be518c8f677cec7b19e4de","datavalue":{"value":"S. Reza Sefidgar","type":"string"},"datatype":"string"},"type":"statement","id":"Q53715$71947BC1-F1E3-4C86-AAEC-429E06EAB55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"be09d456c3ac361d9a176ac1683505eecebc79f4","datavalue":{"value":"Bhargav Bhatt","type":"string"},"datatype":"string"},"type":"statement","id":"Q53715$A95D66D9-98F0-4A97-803A-0DC5B5FF9C5A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4fc7a21964269d79698239d3f98239cacf9c1ca9","datavalue":{"value":"In this AFP entry, we show how to specify game-based cryptographic security notions and formally prove secure several cryptographic constructions from the literature using the CryptHOL framework. Among others, we formalise the notions of a random oracle, a pseudo-random function, an unpredictable function, and of encryption schemes that are indistinguishable under chosen plaintext and/or ciphertext attacks. We prove the random-permutation/random-function switching lemma, security of the Elgamal and hashed Elgamal public-key encryption scheme and correctness and security of several constructions with pseudo-random functions. Our proofs follow the game-hopping style advocated by Shoup and Bellare and Rogaway, from which most of the examples have been taken. We generalise some of their results such that they can be reused in other proofs. Thanks to CryptHOL's integration with Isabelle's parametricity infrastructure, many simple hops are easily justified using the theory of representation independence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q53715$11989B1C-76E3-4BE2-928E-5B05F86B237D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$E5CD614D-F41B-404A-A71E-134459383392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bea8e9846e13a8715ab50748c9877999c599ec7","datavalue":{"value":{"entity-type":"item","numeric-id":3374913,"id":"Q3374913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$F3254D0F-A477-4CE7-884C-2BD7885072BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e3b4249b8398eaf62ca99e3ad99ebe270af8ed","datavalue":{"value":{"entity-type":"item","numeric-id":3593109,"id":"Q3593109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$04A81245-1D3B-4D2F-B8DC-2FF0EA9B0FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40651885e589ae16736b2ed26430168a8207418","datavalue":{"value":{"entity-type":"item","numeric-id":3875826,"id":"Q3875826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$83E57D34-F30F-48E4-9DDF-25B6863C1D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4c2f534223ec34c41fed80e42cbca489663773","datavalue":{"value":{"entity-type":"item","numeric-id":3689092,"id":"Q3689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$F9F2DC7D-2D54-4EE9-AEA0-C5F167AEAD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b548fb76f8ef8a56f9223030f407f1a96f0c7ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1057832,"id":"Q1057832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$11EB5DFE-06EF-45A1-9BEC-683EB25928AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$CB95BD1D-2064-428A-9B2D-7638DA0FD6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a334f4e96bc67eac9a5d7b987fa6f5d79a92b99","datavalue":{"value":{"entity-type":"item","numeric-id":2802495,"id":"Q2802495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$935A0114-AACB-4BEE-A57B-10CB5EE0B376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20bac6c3ed3ef71949319d1d7ba761b14c1bade","datavalue":{"value":{"entity-type":"item","numeric-id":3722164,"id":"Q3722164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$981AF7C6-B359-41E1-8478-0E44FC9546E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$67A2F09C-09E6-4D95-90C5-8E2B71B1DA0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2521123b5dbe8709daed0db214711d9c66f9f8cf","datavalue":{"value":{"time":"+2017-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q53715$8308C4CF-4076-4226-A108-8D23AE93ECBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"531d6e8195d6a39122192c85edfe43abf84dba0b","datavalue":{"value":{"text":"Game-based cryptography in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q53715$52604815-54C3-45E9-9572-60C1DC823614","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$A3CF7802-82C0-4080-8709-D59D757696E7","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"ade26dda0279fbc4dc5dce2aaa38eba4ae21c47f","datavalue":{"value":{"entity-type":"item","numeric-id":7361923,"id":"Q7361923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$1FA9354B-B436-4C75-B7A3-C733BBF08753","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"67cfe7e765f8f36de5d26ce854526f3fec39cd26","datavalue":{"value":{"entity-type":"item","numeric-id":7360802,"id":"Q7360802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53715$83A8AE53-19D0-424F-974D-3287DB9F18F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Game Based Crypto","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Game_Based_Crypto"}}}}}