Publish

docs/404.html

@@ -109,7 +109,7 @@ <h1 class="error-page-title">404</h1>
     </li>
     <li class="ml-2 first:before:content-none before:content-['•']
                 text-neutral-800 dark:text-neutral-400 inline-block list-none">
-      <span class="ml-2">©  2023</span>
+      <span class="ml-2">©  2024</span>
     </li>
   </ul>
 </footer>

docs/categories/index.html

@@ -105,7 +105,7 @@ <h2 class="category-title">Categories</h2>
     </li>
     <li class="ml-2 first:before:content-none before:content-['•']
                 text-neutral-800 dark:text-neutral-400 inline-block list-none">
-      <span class="ml-2">©  2023</span>
+      <span class="ml-2">©  2024</span>
     </li>
   </ul>
 </footer>

docs/index.html

@@ -115,11 +115,10 @@ <h2 itemprop="jobTitle" class="text-xl my-0 border-none">An OpenID Connect-based
     </div>
 </div>
 
-    <p>SOAP is a novel social authentication protocol.
+    <p>SOAP is a social authentication protocol.
 When performing social authentication, users verify that their chat partner controls accounts at different identity providers (IdPs) which they know are controlled by their intended chat partner.
 Using social authentication, users can verify, for example, that their messaging application chat is not intercepted by a MITM.
 By building on top of the popular OpenID Connect protocol, SOAP automates the authentication ceremony and does not require adoption from any OpenID Connect-IdP.
-SOAP is currently under submission for academic publishing.
 The paper contains four contributions.</p>
 <ul>
 <li>We formally define the notion of <em>Social Authentication</em> as a security property.</li>
@@ -128,6 +127,7 @@ <h2 itemprop="jobTitle" class="text-xl my-0 border-none">An OpenID Connect-based
 <li>We implement SOAP in two prototypes: a <a href="https://soap-proto.net">web-based prototype</a>, and an extension of the Signal Android application.
 A video demo of the Signal prototype is shown below.</li>
 </ul>
+<p>SOAP has been accepted for publication at <a href="https://www.usenix.org/conference/usenixsecurity24/">USENIX Security 24</a>!</p>
 <p>You can find all sources related to this project <a href="/sources">here</a>.</p>
 
 <div style="position: relative; padding-bottom: 56.25%; height: 0; overflow: hidden;">
@@ -152,7 +152,7 @@ <h2 itemprop="jobTitle" class="text-xl my-0 border-none">An OpenID Connect-based
     </li>
     <li class="ml-2 first:before:content-none before:content-['•']
                 text-neutral-800 dark:text-neutral-400 inline-block list-none">
-      <span class="ml-2">©  2023</span>
+      <span class="ml-2">©  2024</span>
     </li>
   </ul>
 </footer>

docs/sources/index.html

@@ -86,13 +86,16 @@
                  leading-loose md:px-0 px-2 z-0 Page(/sources/_index.md)"
           role="main">
 
-    <h2 id="formal-proofs">Formal Proofs</h2>
+    <p>All sources related to SOAP can also be found in the repositories of our <a href="https://github.com/orgs/soap-wg/repositories">GitHub organization</a>.
+Please note that accessing the repositories will deanonymize the authors.</p>
+<h2 id="formal-proofs">Formal Proofs</h2>
 <p>The formal model and proofs for SOAP were encoded for the <a href="https://tamarin-prover.github.io/">Tamarin model checker</a>.
 The source code archives contain a README detailing how to check the proofs.</p>
 <ul>
-<li><a href="https://github.com/soap-wg/soap-proofs/archive/refs/tags/usenix-pre.zip">Source code (zip)</a></li>
-<li><a href="https://github.com/soap-wg/soap-proofs/archive/refs/tags/usenix-pre.tar.gz">Source code (tar.gz)</a></li>
+<li><a href="https://github.com/soap-wg/soap-proofs/archive/refs/tags/usenix.zip">Source code (zip)</a></li>
+<li><a href="https://github.com/soap-wg/soap-proofs/archive/refs/tags/usenix.tar.gz">Source code (tar.gz)</a></li>
 </ul>
+<p>Should you require anonymized proofs, please use <a href="https://github.com/soap-wg/soap-proofs/archive/refs/tags/usenix.zip">this download link</a>.</p>
 <h2 id="web-based-prototype">Web-based Prototype</h2>
 <p>The web-based prototype can be reached under <a href="https://soap-proto.net">https://soap-proto.net</a>.
 Find all source code for the web-based prototype below.
@@ -135,7 +138,7 @@ <h2 id="signal-prototype">Signal Prototype</h2>
     </li>
     <li class="ml-2 first:before:content-none before:content-['•']
                 text-neutral-800 dark:text-neutral-400 inline-block list-none">
-      <span class="ml-2">©  2023</span>
+      <span class="ml-2">©  2024</span>
     </li>
   </ul>
 </footer>

docs/tags/index.html

@@ -109,7 +109,7 @@ <h2>Tags</h2>
     </li>
     <li class="ml-2 first:before:content-none before:content-['•']
                 text-neutral-800 dark:text-neutral-400 inline-block list-none">
-      <span class="ml-2">©  2023</span>
+      <span class="ml-2">©  2024</span>
     </li>
   </ul>
 </footer>