HTTPS SSH
# README #

This is our prototype implementation of the tool Set-pi.

It requires a working installation of ProVerif, as well as the Haskell
platform installed.

Running `cabal install` under the project folder should suffice. Then
the tool can be called by typing `setpi your_model.sp`.  You can take
a first look at some examples of its usage under the directory
`examples/`.

### Dependencies ###

* ProVerif should be installed and present in $PATH
* The Haskell platform should be installed as well, including GHC and
  Cabal

### Setup ###

* Run `cabal update` to update the Haskell databases
* Run `cabal install` on the project folder to install the package
* Make sure that ~/.cabal/bin is in $PATH, as well as the ProVerif
  binary is installed in $PATH
* Then you can run Set-pi by simply typing `setpi mode.sp`

### Contact ###

* Alessandro Bruni <albr@dtu.dk>
* Flemming Nielson <fnie@dtu.dk>