{"entities":{"Q7361041":{"pageid":31518662,"ns":120,"title":"Item:Q7361041","lastrevid":105362486,"modified":"2026-10-07T13:34:13Z","type":"item","id":"Q7361041","labels":{"en":{"language":"en","value":"The Oneway to Hiding Theorem"}},"descriptions":{"en":{"language":"en","value":"AFP entry Oneway2Hiding"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95e098ebf4707fdb6e2a88d20567f8170771b4f1","datavalue":{"value":"https://isa-afp.org/entries/Oneway2Hiding.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361041$E3A4FB64-970E-450B-BA1D-9238220848BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5074d9b0de0723d9e440f288bf072afb6754bc52","datavalue":{"value":{"time":"+2025-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361041$536B22A3-7B60-45AF-B267-54DB1EBE3906","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"5c7a061d577dcccfffdf73a25e38b5684211d46b","datavalue":{"value":"Katharina Kreuzer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361041$2D8761F4-AB11-4654-A05F-676A0D995E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"0f726647cf47955102e00c4d9747edb7ccbe5fa2","datavalue":{"value":"Dominique Unruh","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361041$D3F71ACF-3838-42FF-8E40-B505054BAC24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e03e14f54168277f6aaedbfa138e213546fe5745","datavalue":{"value":{"text":"The Oneway to Hiding Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361041$5082E61A-BDC7-4E46-AA13-38CA215E5DC2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b7b79114b6475a44ba5feaeac10a060315e269d","datavalue":{"value":"As the standardization process for post-quantum cryptography progresses, the need for computer-verified security proofs against classical and quantum attackers increases. Even though some tools are already tackling this issue, none are foundational. We take a first step in this direction and present a complete formalization of the One-way to Hiding (O2H) Theorem, a central theorem for security proofs against quantum attackers. With this new formalization, we build more secure foundations for proof-checking tools in the quantum setting. Using the theorem prover Isabelle, we verify the semi-classical O2H Theorem by Ambainis, Hamburg and Unruh (Crypto 2019) in different variations. We also give a novel (and for the formalization simpler) proof to the O2H Theorem for mixed states and extend the theorem to non-terminating adversaries. This work provides a theoretical and foundational background for several verification tools and for security proofs in the quantum setting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361041$1D7B6513-8296-42E7-9CB3-091E70D45C1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca3d81e9894d4e019bbb9b4afb0b17d064b08ae0","datavalue":{"value":{"entity-type":"item","numeric-id":2304985,"id":"Q2304985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361041$B83E47DB-6CD4-4488-A8EC-10EEAAFE0F06","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":"Q7361041$4D2C4D4F-912E-4F25-9AA9-F8EC02A7598C","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"58b378310c3c01d83cef379d83129d9bd06f9769","datavalue":{"value":{"entity-type":"item","numeric-id":7361750,"id":"Q7361750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361041$6F4B04AE-D3CE-4014-AA2C-CC25B81C53DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"3d3d0b9fa7f4d9cb73e349e80f7e54f4ce2037dd","datavalue":{"value":{"entity-type":"item","numeric-id":7361606,"id":"Q7361606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361041$E3E2D238-083B-4186-A65D-1C119388C9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"27d7a57080edfc4fd34e1bd17a27eaf181a5f448","datavalue":{"value":{"entity-type":"item","numeric-id":7361694,"id":"Q7361694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361041$E9CCCE77-8544-47C0-A84E-78171D2E060D","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":"Q7361041$0D3FB9CC-9DA1-4ACE-A63A-77F5B41B989F","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":"Q7361041$BD9A75F8-2442-42EC-8461-BF3446C6996C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Oneway to Hiding Theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Oneway_to_Hiding_Theorem"}}}}}