N Kobeissi, K Bhargavan, B Blanchet - 2nd IEEE European Symposium …, 2017 - hal.science
Many popular web applications incorporate end-to-end secure messaging protocols, which
seek to ensure that messages sent between users are kept confidential and authenticated …