\begin{pcvstack}\underline{\underline{\M{PRF}}}\\\begin{pcvstack}
\input{Oracle_PRF_NewKey_in_PRF_lossy.tex}\pcvspace
\input{Oracle_PRF_Eval_in_PRF_lossy.tex}\pcvspace
\input{Oracle_PRF_Hon_in_PRF_lossy.tex}\pcvspace
\end{pcvstack}\end{pcvstack}
