Sign inSign up

eikendev/tamarin-prover

By eikendev

•Updated about 5 years ago

[Moved to GitHub's Registry] The Tamarin prover - a security protocol verification tool

Image
0

1.1K

eikendev/tamarin-prover repository overview

IMPORTANT: This image is now hosted on ghcr.io⁠.

Tag summary

Content type

Image

Digest

Size

85.9 MB

Last updated

about 5 years ago

docker pull eikendev/tamarin-prover