26 lines
1.3 KiB
TeX
26 lines
1.3 KiB
TeX
\newcommand{\extindent}{~\extension}
|
|
\begin{table*}[ht!]
|
|
\scriptsize
|
|
\centering
|
|
\rowcolors{2}{gray!10}{white}
|
|
\setlength{\tabcolsep}{1pt}
|
|
\begin{tabular}{L{2.0cm} X{0.4cm} | C{1.5cm} C{1.5cm} C{1.5cm} C{1.5cm} C{1.5cm} C{1.5cm} C{1.5cm} C{1.5cm} C{1.5cm} C{1.5cm}}
|
|
\multicolumn{2}{c|}{Work} & Megolm & Sender Keys & Secrecy & Auth & PCS & PFS & Deniability & Symbolic & Computational & Mechanized
|
|
\\
|
|
\hline
|
|
%\hhline{==|======}
|
|
$\text{Balbas et al.}$ & \cite{Balbas_SK} & \emptyc & \fullc & \fullc & \fullc & \fullc & \fullc & \emptyc & \emptyc & \fullc & \emptyc \\
|
|
%
|
|
$\text{Albrecht et al. 2023}$ & \cite{Albrecht_Dowling_Jones} & \fullc & \emptyc & \fullc & \fullc & \emptyc & \emptyc & \emptyc & \emptyc & \fullc & \emptyc \\
|
|
%
|
|
$\text{Albrecht et al. 2025}$ & \cite{Albrecht_2025} & \emptyc & \fullc & \fullc & \fullc & \fullc & \fullc & \emptyc & \emptyc & \fullc & \emptyc \\
|
|
%
|
|
$\text{Ours}$ & & \fullc & \fullc & \fullc & \fullc & \fullc & \fullc & \fullc & \fullc & \emptyc & \fullc \\
|
|
\end{tabular}\smallskip
|
|
|
|
\caption{Overview of related works that study nested ratchet protocols,
|
|
including Megolm (underpinning Matrix) and Sender Keys (underpinning WhatsApp). We include a comparison with our own work.}
|
|
\label{tab:symbolic-tools}
|
|
\end{table*}
|
|
|