TAMARIN Prover News Software Documentation About

Documentation

  1. Book

    The best starting point: problem context, modeling protocols, and the foundations of Tamarin's algorithms. Read the PDF for free or order a physical copy.

    Get the book

  2. Tamarin 1.10 Manual

    Technical reference for the latest stable release.

    Online PDF

  3. Exercises, tutorials, and lecture slides

    More ways to learn about Tamarin. Find what works best for you.

    Teaching materials

  4. Example protocol models

    Tamarin comes with a library with directories fullof protocol models that can serve as a starting point for your own models.

    Protocol models

  5. Scientific literature

    Read the science underpinning Tamarin, its latest technical developments, and selected papers that use Tamarin.

    Selected publications

  6. Mailing list

    Search or post on the mailing list for support from other users and developers.

    Mailing list

  7. Development branch manual

    Technical reference for the bleeding-edge development branch.

    Online PDF

  8. Mail

    For other inquiries (not bug reports or requests for modeling advice!) you can reach the current maintainers of the Tamarin Prover via mail.

    E-mail