FARep

这是一个关于形式化分析（Formal Analysis）示例代码的仓库，目前主要包括Tamarin和Proverif的代码，所有示例都是根据自己所看论文总结的，每一个示例都包含三部分：论文原文（pdf格式）、论文协议的流程图及文字描述（markdown格式）及形式化分析代码。