A repository for the ProVerif cryptographic verifier, based on the version in opam.
10K+
This repository contains an installation of ProVerif. It is based on Alpine linux (previous versions were based on ocaml/opam2:alpine).
Includes GraphViz and GTK+ (for interactive visualization).
Working dir is volume /data, to which you can mount a local folder so you can verify ProVerif scripts that reside on the host machine.
(only tested on MacOS and Ubuntu)
Script proverif.sh to run ProVerif with /data mounted to the current folder:
#!/bin/sh
FILES_DIR=$( pwd )
docker run --rm -v "$FILES_DIR":/data koenyskout/proverif:default proverif $@
A script proverif_interact.sh to run ProVerif interact (requires a local X server on your docker host machine):
#!/bin/sh
# xhost + 127.0.0.1 # you may need to enable this (and remove the entry again afterwards, cfr. below)
FILES_DIR=$( pwd )
docker run --rm -e DISPLAY=host.docker.internal:0 -v "$FILES_DIR":/data koenyskout/proverif:default proverif_interact $@
# xhost - 127.0.0.1 # remove the entry again
On Linux, the following seems to work:
docker run --rm -e DISPLAY=$DISPLAY -v "$(pwd)":/data -v /tmp/.X11-unix:/tmp/.X11-unix koenyskout/proverif:default proverif_interact
#!/bin/sh
FILES_DIR=$( pwd )
docker run --rm -v "$FILES_DIR":/data koenyskout/proverif:default proveriftotex $@
docker run --rm -v "$(pwd)":/data -it koenyskout/proverif:default bash
Content type
Image
Digest
Size
170.8 MB
Last updated
over 5 years ago
docker pull koenyskout/proverif:v2.02pl1