Update website after publication

content/_index.md

@@ -28,7 +28,7 @@ SOAP was developed in the [Centre for Cyber Trust](https://cyber-trust.org/) whi
 
 ---
 
-* SOAP has been accepted for publication at [USENIX Security 24](https://www.usenix.org/conference/usenixsecurity24/)!
+* SOAP has published at [USENIX Security 24](https://www.usenix.org/conference/usenixsecurity24/presentation/linker)!
 * You can find all sources related to this project [here](/sources).
 
 {{< youtube Ip_RAF8PRrM >}}

content/sources/_index.md

@@ -5,45 +5,25 @@ draft: false
 ---
 
 All sources related to SOAP can also be found in the repositories of our [GitHub organization](https://github.com/orgs/soap-wg/repositories).
-Please note that accessing the repositories will deanonymize the authors.
 
 ## Formal Proofs
 
-The formal model and proofs for SOAP were encoded for the [Tamarin model checker](https://tamarin-prover.github.io/).
+The formal model and proofs for SOAP were encoded for the [Tamarin model checker](https://tamarin-prover.github.io/) and are provided within [our repository](https://github.com/soap-wg/soap-proofs).
 The source code archives contain a README detailing how to check the proofs.
 
-* [Source code (zip)](https://github.com/soap-wg/soap-proofs/archive/refs/tags/usenix.zip)
-* [Source code (tar.gz)](https://github.com/soap-wg/soap-proofs/archive/refs/tags/usenix.tar.gz)
-
-Should you require anonymized proofs, please use [this download link](https://github.com/soap-wg/soap-proofs/archive/refs/tags/usenix.zip).
 
 ## Web-based Prototype
 
 The web-based prototype can be reached under https://soap-proto.net.
-Find all source code for the web-based prototype below.
-The source code archives contain a README.
-
-Note that the build archive is hardcoded to work for the prototype's URL only.
-
-* [Build (minified sources)](https://github.com/soap-wg/soap-web/releases/download/initial-relase/build.zip)
-* [Source code (zip)](https://github.com/soap-wg/soap-web/archive/refs/tags/initial-relase.zip)
-* [Source code (tar.gz)](https://github.com/soap-wg/soap-web/archive/refs/tags/initial-relase.tar.gz)
+The source code is hosted in [this repository](https://github.com/soap-wg/soap-web).
 
 ## Signal Prototype
 
-The Signal prototype is available as precompiled debug .apks, and as source code.
+The Signal prototype is available as precompiled debug .apks, and as source code in the releases section of [open-source repository](https://github.com/soap-wg/Signal-Android).
 To install an .apk, you need to load it on your phone and enable to install apps from unknown sources.
 
 The prototype uses the standard Signal servers, i.e., you need to register with a valid phone number to use the prototype.
 The prototype is backwards-compatible with other Signal clients.
 SOAP messages will be rendered as text messages containing base64-encoded data.
 
 To import the source code in Android Studio, please follow the instructions of the [signalapp/Signal-Android](https://github.com/signalapp/Signal-Android) repository.
-
-* [Signal-Android-play-prod-arm64-v8a-debug-6.18.3.apk](https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-arm64-v8a-debug-6.18.3.apk)
-* [Signal-Android-play-prod-armeabi-v7a-debug-6.18.3.apk](https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-armeabi-v7a-debug-6.18.3.apk)
-* [Signal-Android-play-prod-universal-debug-6.18.3.apk](https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-universal-debug-6.18.3.apk)
-* [Signal-Android-play-prod-x86-debug-6.18.3.apk](https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-x86-debug-6.18.3.apk)
-* [Signal-Android-play-prod-x86_64-debug-6.18.3.apk](https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-x86_64-debug-6.18.3.apk)
-* [Source code (zip)](https://github.com/soap-wg/Signal-Android/archive/refs/tags/ccs-proto.zip)
-* [Source code (tar.gz)](https://github.com/soap-wg/Signal-Android/archive/refs/tags/ccs-proto.tar.gz)