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 simple random number generation depending on a secret value.
