TAMARIN Prover News 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.

  2. Exercises, tutorials, and lecture slides

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

  3. Scientific literature

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