An imperative language for quantitative information flow.
The process was tested on Ubuntu 22.04.4 LTS.
To set up the Kuifje repository, and then build the compiler, run the following commands:
git submodule init
git submodule update
cabal build
This build process has been checked to run with ghc 9.6.2 and cabal 3.6.2.0.
To run the file, you can use cabal. For example, you can run
Examples\BiasCoin.kf
by executing the command
cabal run -- Kuifje-compiler Examples\BiasCoin.kf
There are some examples under the drectory of Examples
A brief example Examples\BiasCoin.kf
:
p <- uniform [0.3, 0.7]
i = 0
while i < 2:
result <- 0 [p] 1
print(result)
i = i + 1
This example demonstrates that there is a biased coin that you do not know which side bias to. It may 0.7 bias toward the head or 0.3 bias toward the head. By flipping the coin twice and leak the coin flip result, how much information you adversary would know about which way the coin bias toward.