Blanchet, 2016. Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif.. https://doi.org/10.1561/3300000004