{"entities":{"Q7361326":{"pageid":31519517,"ns":120,"title":"Item:Q7361326","lastrevid":105364958,"modified":"2026-10-07T13:35:32Z","type":"item","id":"Q7361326","labels":{"en":{"language":"en","value":"Relative Security"}},"descriptions":{"en":{"language":"en","value":"AFP entry Relative_Security"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be5c6b3be555e79e9f7836048cf632110cf85b95","datavalue":{"value":"https://isa-afp.org/entries/Relative_Security.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361326$6EECD7BD-A714-452D-B67D-E93EC94CB837","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"893fb53545aac89b2e48fb25bf93d283a1a22adb","datavalue":{"value":{"time":"+2024-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361326$F12EED12-6DFC-425B-875D-12B2A21DFBA5","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f94288ed91377510811411084214ae1d548d5352","datavalue":{"value":"Andrei Popescu","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361326$CA2A218F-E7B3-49FB-A8AE-F71136E3005F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"63ebf80e19d1b5f8d8b63a6686d04df3ec992d31","datavalue":{"value":"Jamie Wright","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361326$7FE72A3A-1902-40BD-9125-98F56D39BB75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67afdaa62a16b2f7ff40aa82e01f07b5407d1804","datavalue":{"value":{"text":"Relative Security","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361326$691F4A7C-C670-45A6-A60E-EA265E9760FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c6587ad2e26ad14aed0760b1780043b363a5e6d0","datavalue":{"value":"This entry formalizes the notion of relative security presented in the CSF 2024 paper \u201cRelative Security: Formally Modeling and (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities\u201d by Brijesh Dongol, Matt Griffin, Andrei Popescu and Jamie Wright. It defines two versions of relative security: a finitary one (restricted to finite traces), and an infinitary one (working with both finite and infinite traces). It introduces unwinding methods for verifying relative security in both the finitary and infinitary versions, and proves their soundness. The proof of soudness in the infinitary case is a substantial application of Isabelle\u2019s corecursion and coinduction infrastructure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361326$C6CB5438-5165-4707-8384-01D71E6E9083","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":"Q7361326$A85429F0-6C67-4B4E-9E7D-70A290FD5008","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"08ca4c78dc00c00697f5c02551edf8295a210aac","datavalue":{"value":{"entity-type":"item","numeric-id":7361529,"id":"Q7361529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361326$D9830B57-728F-45DD-88FD-810F654A08A5","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ed082e42011d2ebbcbf36c06241a36f1d357174f","datavalue":{"value":{"entity-type":"item","numeric-id":7360801,"id":"Q7360801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361326$EF79D9B3-3CDB-4681-8A51-2C62794DBC78","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":"Q7361326$5A853D1F-9816-4E40-B217-BB95A208F828","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relative Security","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relative_Security"}}}}}