gitea-mirror/rosenpass
1
0
Fork 0
mirror of https://github.com/rosenpass/rosenpass.git synced 2026-02-28 06:23:08 -08:00
Code Issues Packages Projects Releases Wiki Activity

feat(papers): Reorder RWPQC slides

Browse Source
This commit is contained in:
Karolin Varner
2023-03-20 12:48:06 +09:00
parent 844e9b3c7e
commit 25a7a0736b
1 changed files with 10 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
papers/rwpqc23-slides-content.tex
View File

@@ -6,10 +6,10 @@
Andreas Hülsing, Kai-Chun Ning, Peter Schwabe, Florian Weber, and Philip R. Zimmermann. “Post-quantum WireGuard”. In: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021. Full version: https://eprint.iacr.org/2020/379 Andreas Hülsing, Kai-Chun Ning, Peter Schwabe, Florian Weber, and Philip R. Zimmermann. “Post-quantum WireGuard”. In: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021. Full version: https://eprint.iacr.org/2020/379
}: How to build an interactive key exchange from KEMs }: How to build an interactive key exchange from KEMs
\item Contribution: State Disruption Attacks \& cookies as a defense \item Contribution: State Disruption Attacks \& cookies as a defense
\item Contribution: New hashing \& domain separation scheme
\item Contribution: Symbolic analysis of the Rosenpass protocol \item Contribution: Symbolic analysis of the Rosenpass protocol
\item Contribution: Reference implementation – Securing WireGuard in practice
\item Contribution: Noise-like specification \item Contribution: Noise-like specification
\item Contribution: New hashing \& domain separation scheme
\item Contribution: Reference implementation – Securing WireGuard in practice
\end{itemize} \end{itemize}
\end{frame} \end{frame}
@@ -110,10 +110,6 @@ Forward secrecy
\end{itemize} \end{itemize}
\end{frame} \end{frame}
\begin{frame}{New Hashing/Domain separation scheme}
\includegraphics[height=.9\textheight]{graphics/rosenpass-wp-hashing-tree.pdf}
\end{frame}
\begin{frame}{Security analysis of rosenpass} \begin{frame}{Security analysis of rosenpass}
\begin{itemize} \begin{itemize}
\item CryptoVerif in progress \item CryptoVerif in progress
@@ -127,10 +123,15 @@ Forward secrecy
\includegraphics[height=.9\textheight]{assets/2023-03-20-symbolic-analysis-screenshot.png} \includegraphics[height=.9\textheight]{assets/2023-03-20-symbolic-analysis-screenshot.png}
\end{frame} \end{frame}
\begin{frame}{Reference implementation in rust, deploying post-quantum-secure WireGuard}
\includegraphics[height=.9\textheight]{assets/2023-03-20-rg-tutorial-screenshot.png}
\end{frame}
\begin{frame}{Noise-like specification (easier for engineers)} \begin{frame}{Noise-like specification (easier for engineers)}
\includegraphics[height=.9\textheight]{graphics/rosenpass-wp-message-handling-code.pdf} \includegraphics[height=.9\textheight]{graphics/rosenpass-wp-message-handling-code.pdf}
\end{frame} \end{frame}
\begin{frame}{New Hashing/Domain separation scheme}
\includegraphics[height=.9\textheight]{graphics/rosenpass-wp-hashing-tree.pdf}
\end{frame}
\begin{frame}{Reference implementation in rust, deploying post-quantum-secure WireGuard}
\includegraphics[height=.9\textheight]{assets/2023-03-20-rg-tutorial-screenshot.png}
\end{frame}