... le principe, c'est possible. Il faudrait expertiser leurs spécifications (elles sont publiques, avec un document assez détaillé) mais aussi leurs implémentations. Je ne sais pas si ça a été fait de façon indépendante.

Le lien que j'ai donné a deux rapports de ce type. Où les auteurs ont accès aux messages échangés et constatent la correction du chiffrement. Il faut faire confiance à la société qui a réalisé ces audits, évidemment. Les liens vers les rapports de l'ANSSI sont cassés par contre.