该论文对开源消息应用Delta Chat的端到端加密协议进行了正式的密码学分析。Delta Chat基于电子邮件基础设施，使用Autocrypt和Secure Join协议实现加密。研究人员发现了多个安全缺陷，包括：在Autocrypt密钥轮换中，不安全的密钥更新可能允许中间人攻击；在Secure Join中，QR码的有限熵降低了安全性；此外，还存在未加密的元数据泄露（如主题行和附件名）。论文提出了具体的改进建议，并通过形式化建模和自动化协议验证工具（如CryptoVerif）证实了攻击的可行性。这些发现对依赖类似协议的即时通讯应用具有普遍参考意义。