{"entities":{"Q7361387":{"pageid":31519700,"ns":120,"title":"Item:Q7361387","lastrevid":105365258,"modified":"2026-10-07T13:35:46Z","type":"item","id":"Q7361387","labels":{"en":{"language":"en","value":"Secret-Directed Unwinding"}},"descriptions":{"en":{"language":"en","value":"AFP entry Secret_Directed_Unwinding"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf2e8bfda5b1712856f1d04257b695710401dcd6","datavalue":{"value":"https://isa-afp.org/entries/Secret_Directed_Unwinding.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361387$1B5C0CC0-1534-4336-82FA-DECB5554D2E8","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":"Q7361387$B3A78D13-125A-4F54-B044-63520D9C3C23","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"c4fae7227e9e51f026d365c9915508d0b1812ef5","datavalue":{"value":"Brijesh Dongol","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361387$27E4AF25-E1E1-43BE-8789-83E9E57DFB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"080fe124f2d69735e9d28a4af9e0143cec35c994","datavalue":{"value":"Matthew Griffin","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361387$EDC1E356-1D5F-4911-9E7B-2E8BF220035C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f94288ed91377510811411084214ae1d548d5352","datavalue":{"value":"Andrei Popescu","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361387$97D6218C-EEDF-4879-A4B5-318CFC3EB6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"63ebf80e19d1b5f8d8b63a6686d04df3ec992d31","datavalue":{"value":"Jamie Wright","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361387$4C5733DC-EE88-4653-8B9E-695A76A3E98D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bcbbefe199f5a3d3afc665efbf16592cc3ef364","datavalue":{"value":{"text":"Secret-Directed Unwinding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361387$BB39E2BC-4AF6-4658-A562-F1657AEF31A2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"802086156164ac4a1d6a3e6a0e2daaaf721974c4","datavalue":{"value":"This entry formalizes the secret-directed unwinding disproof method for relative security. The method was presented in the CSF 2024 paper \"Relative Security: Formally Modeling and (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities\". Secret-directed unwinding can be used to prove the existence of transient execution vulnerabilities. The main characteristics of secret-directed unwinding are that (1) it is used to disprove rather than prove security and (2) it proceeds in a manner that is \"directed\" by given sequences of secrets. The second characteristic is shared with the unwinding method for bounded- deducibility security.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361387$FA2CD90E-9426-4E09-9266-88C83BA3E952","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8897cef3b5dbaa7fee186b5a3285858895dd349","datavalue":{"value":{"entity-type":"item","numeric-id":6157243,"id":"Q6157243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361387$6D7CFF84-5212-4ED7-AD13-FB17EE34D6D7","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":"Q7361387$68AC6C02-5FB9-4E56-B742-7C4AD7E0DBEA","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"77d1ce4c5b96d167461c03269c57221bacc74493","datavalue":{"value":{"entity-type":"item","numeric-id":7361326,"id":"Q7361326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361387$16B96385-DCD0-4415-B72B-9410BC3DFC32","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":"Q7361387$AC026EA5-AF9B-4348-B25B-4D73F94CED99","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":"Q7361387$D35777CF-716C-48F2-8A71-46D1CEC4C1F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Secret-Directed Unwinding","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Secret-Directed_Unwinding"}}}}}