Shifting window<\/a>: <\/strong>this example models a simple random number generation depending on a secret value.<\/p>","protected":false},"excerpt":{"rendered":"HyLeak includes the code of a few examples, to showcase its functionalities. Random walk: this example models a simple random walk from a starting location. Smart Grid privacy: this example models the leakage of information about the participants of a Smart Grid energy system. Shifting window: this example models a\u2026<\/p>\n
Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":534,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-71","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/pages\/71","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/users\/534"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/comments?post=71"}],"version-history":[{"count":3,"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/pages\/71\/revisions"}],"predecessor-version":[{"id":112,"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/pages\/71\/revisions\/112"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/media?parent=71"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}