Formal Analysis of Multi-device Group Messaging in WhatsApp.

Martin R. Albrecht, Benjamin Dowling, Daniel Jones

Browse the full EuroCrypt paper archive.