@misc{cryptoeprint:2017:982, author = {Katriel Cohn-Gordon and Cas Cremers}, title = {Mind the Gap: Where Provable Security and Real-World Messaging Don't Quite Meet}, howpublished = {Cryptology ePrint Archive, Report 2017/982}, year = {2017}, url = {https://eprint.iacr.org/2017/982}, }