@feld it's a funny read and it's certainly an important building block when that was his opinion in 2017.
It's correct that not having #E2EE is more convenient. And that in itself is a valid reason. But then advertise as "simple and hassle free" and don't pretend to offer any security in #Telegram
In case I wasn't clear: I am finished looking at the formal proof because I don't have that software and I see no link to the results / paper / etc.
According to german security expert…