Skip to content

Instantly share code, notes, and snippets.

@alterakey

alterakey/Dockerfile

Created October 25, 2022 08:34
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save alterakey/9af9b6184ffce873f4d1e2eb0ac226c7 to your computer and use it in GitHub Desktop.
Save alterakey/9af9b6184ffce873f4d1e2eb0ac226c7 to your computer and use it in GitHub Desktop.
Download ZIP
ProVerif 2.04 Dockerfile for easier verification of cryptographic protocols (OWASP Saitama MTG #10)
Raw
Dockerfile
from ocaml/opam
run sudo apt-get -y install m4
run . ~/.opam/opam-init/init.sh && cd /tmp && curl https://bblanche.gitlabpages.inria.fr/proverif/proverif2.04.tar.gz | gzip -dc | tar -x && cd proverif2.04 && ./build; ./test
from debian:11-slim
run mkdir /app /out
copy --from=0 /tmp/proverif2.04/proverif /app/
workdir /out
entrypoint ["/app/proverif"]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment