From fe19a9c378db9e1cc19fe4850bb59293918d6e7a Mon Sep 17 00:00:00 2001
From: Mikaela Suomalainen <mikaela+git@mikaela.info>
Date: Mon, 12 Aug 2019 12:46:07 +0300
Subject: [PATCH] instant-messenger: add indepedent security audits

---
 _includes/sections/instant-messenger.html | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/_includes/sections/instant-messenger.html b/_includes/sections/instant-messenger.html
index 47030bcb..788187b3 100644
--- a/_includes/sections/instant-messenger.html
+++ b/_includes/sections/instant-messenger.html
@@ -68,6 +68,12 @@ web=""
   <li><a href="https://www.vice.com/en_us/article/mg7v3a/ricochet-encrypted-messenger-tackles-metadata-problem-head-on">Ricochet, the Messenger That Beats Metadata, Passes Security Audit | Motherboard</a></li>
   <li><a href="https://firstlook.org/theintercept/2015/07/14/communicating-secret-watched/">Chatting in Secret While We're All Being Watched - firstlook.org</a></li>
   <li><a href="https://signal.org/android/apk/">Advanced users with special needs can download the Signal APK directly. Most users should not do this under normal circumstances.</a></li>
+  <li>Indepedent security audits</li>
+  <ul>
+    <li><a href="https://eprint.iacr.org/2016/1013.pdf">A Formal Security Analysis of the Signal Messaging Protocol (2019)</a> by Katriel Cohn-Gordon, Cas Cremers†, Benjamin Dowling, Luke Garratt and Douglas Stebila></li>
+    <li><a href="https://wire.com/en/security/#audits">Indepedent security audits</a> on Wire's website</li>
+    <li><a href="https://keybase.io/docs-assets/blog/NCC_Group_Keybase_KB2018_Public_Report_2019-02-27_v1.3.pdf">Keybase's Protocol Security Review (2019)</a> by <a href="https://www.nccgroup.trust/">NCC Group</a></li>
+  </ul>
 </ul>
 
 <!-- Updating the Tor binary included with Ricochet -->