readme

Dockerfile

@@ -21,7 +21,8 @@ COPY process_complete_with_fix_psk process_complete_with_fix_psk
 COPY process_complete_without_cookie process_complete_without_cookie
 COPY process_empty_with_cookie process_empty_with_cookie
 
-RUN apt update && apt full-upgrade -y
+RUN apt update -y  
+RUN apt full-upgrade -y
 RUN apt install software-properties-common -y
 RUN add-apt-repository ppa:avsm/ppa
 RUN apt install time libgtk2.0-dev pkg-config opam curl make unzip graphviz build-essential bubblewrap parallel python3-pip locales -y
@@ -57,4 +58,4 @@ RUN opam init --disable-sandboxing && \
     opam install -y proverif
 
 RUN rm -R maude && \
-    rm -R tamarin-prover
\ No newline at end of file
+    rm -R tamarin-prover

bibio.bib

-@inproceedings{lmr2024,
-  author = {Pascal Lafourcade, Dhekra Mahmoud and Sylvain Ruhault},
-  title = {A Unified Symbolic Analysis of WireGuard},
-  booktitle = {Proceedings of the Network and Distributed System Security Symposium (NDSS'24)},
-  year = {2024}, 
-  month = {February},
-  address = {San Diego, CA}
-}
\ No newline at end of file