{"entities":{"Q7361206":{"pageid":31519157,"ns":120,"title":"Item:Q7361206","lastrevid":105363950,"modified":"2026-10-07T13:35:13Z","type":"item","id":"Q7361206","labels":{"en":{"language":"en","value":"Formalization of Generic Authenticated Data Structures"}},"descriptions":{"en":{"language":"en","value":"AFP entry LambdaAuth"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"683392edd48ba28e92fa3818c6946b02833e3db6","datavalue":{"value":"https://isa-afp.org/entries/LambdaAuth.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361206$4D469D2E-A459-4314-818F-B135D4671B41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"806d909efd185de8b43d0bff5fc25ad8e867177c","datavalue":{"value":{"time":"+2019-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361206$4FC63175-3982-438E-B341-F5FA99338B85","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"01d6ce964179607d558aa390ed60e0497d91c71b","datavalue":{"value":"Matthias Brun","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361206$0B62FFB0-1EBE-44A8-B496-501F4F7C950D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"2500aa80beaafa12dfa4ab6c7d8363674f762e6e","datavalue":{"value":"Dmitriy Traytel","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361206$4F3E3C7D-E0C9-4E39-906C-42162C152FB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a52e0e05db6fdd4be5ac53e203817698080a683","datavalue":{"value":{"text":"Formalization of Generic Authenticated Data Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361206$FF72DD5C-CE54-4B34-927B-80BEB0BD53EC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2210c1ebbbce22dc82f3700b3f86b73bf00e2cf4","datavalue":{"value":"Authenticated data structures are a technique for outsourcing data storage and maintenance to an untrusted server. The server is required to produce an efficiently checkable and cryptographically secure proof that it carried out precisely the requested computation. Miller et al. introduced \u03bb\u2022 (pronounced lambda auth )\u2014a functional programming language with a built-in primitive authentication construct, which supports a wide range of user-specified authenticated data structures while guaranteeing certain correctness and security properties for all well-typed programs. We formalize \u03bb\u2022 and prove its correctness and security properties. With Isabelle's help, we uncover and repair several mistakes in the informal proofs and lemma statements. Our findings are summarized in an ITP'19 paper .","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361206$84C62BA9-E0E2-49F5-A367-31CBCAB15CE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce6970e34e76dcad688d52cd440efe81ff857b8","datavalue":{"value":{"entity-type":"item","numeric-id":5408436,"id":"Q5408436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361206$FD97A72B-448E-4BA7-86BC-8273146D704B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693924afdc24a886855022f74020c449425ea05d","datavalue":{"value":{"entity-type":"item","numeric-id":5875417,"id":"Q5875417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361206$6DB1E5ED-1D95-43CE-A2CA-95043D2648D1","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":"Q7361206$861CCF42-BB01-47F6-AA0E-FF271333931D","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"947633d77ac0c595dad38098201be725b355abe0","datavalue":{"value":{"entity-type":"item","numeric-id":7361006,"id":"Q7361006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361206$CB975A8C-EE32-4D8B-A2A9-F25B3A488115","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":"Q7361206$A039F010-ADA0-4B6C-BFAF-F6C0B160CFEC","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":"Q7361206$816EFC72-6FF4-498A-9A48-200062FA8A9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of Generic Authenticated Data Structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_Generic_Authenticated_Data_Structures"}}}}}