\begin{pcvstack}\underline{\underline{\M{Prf}}}\\\begin{pcvstack}
\input{Oracle_Prf_NewKey_in_KX_NoPrf_lossy.tex}\pcvspace
\input{Oracle_Prf_Eval_in_KX_NoPrf_lossy.tex}\pcvspace
\input{Oracle_Prf_Hon_in_KX_NoPrf_lossy.tex}\pcvspace
\end{pcvstack}\end{pcvstack}
