Im Oktoba 2016 hod a Forschagrupom d University of Oxford, d Queensland University of Technology und d McMaster University des Signal-Protokoll formal analysiat.[1] Noch d eigna Aasog is des de easchte akademische Analys fia des Produkt in dea Art.