This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms. - View it on GitHub