PrivateBin protocol models for Verifpal analysis Verifpal is a software for verifying the security of cryptographic protocols. This repository stores PrivateBins protocol models for analysis using Verifpal.