"End-to-end encryption: Behind the scenes" by Martin Kleppmann, Diana Vasile