1: \begin{definition}[Theorem 4.4 in \cite{NonMal}]

2: \label{def:nm}

3: A \SKQES\ $(\KeyGen, \Enc, \Dec)$ is \emph{$\eps$-non-malleable ($\eps$-\NM)} if, for any attack $\Lambda_A^{\ch[CB]{C\hat{B}}}$, its effective map\\ $\Tilde{\Lambda}_A^{\ch[MB]{M\hat{B}}}$ is such that

4: \[ \dn{\Tilde{\Lambda}_A - \left(\id^{\ch{M}} \otimes \Lambda_1^{\ch[B]{\hat{B}}} + \frac{1}{|C|^2 - 1}\left(|C|^2\lr{\Dec_K(\tau^{\ch{C}})} - \id\right)^{\ch{M}} \otimes \Lambda_2^{\ch[B]{\hat{B}}}\right)} \leq \eps,\]

5: where

6: \begin{align*}

7:     \Lambda_1 &= \Trr[CC']{\phi^{+\ch{CC'}}\Lambda_A(\phi^{+\ch{CC'}} \otimes (\cdot))} \qquad \text{and}\\

8:     \Lambda_2 &= \Trr[CC']{(\I^{\ch{CC'}} - \phi^{+\ch{CC'}})\Lambda_A(\phi^{+\ch{CC'}} \otimes (\cdot))}.

9: \end{align*}

10: A \SKQES is \emph{non-malleable (\NM)} if it is $\eps$-\NM for some $\eps \leq \negl(n)$.

11: \end{definition}

12: