Kobeissi, Bhargavan, Blanchet, 2017. Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach, in: . IEEE.. https://doi.org/10.1109/eurosp.2017.38