This directory contains the tamarin files for the paper "Automatically
Detecting the Misuse of Secrets: Foundations, Design Principles, and
Applications" presented at CSF 2017.
