prop359: fix typos in DEC_UIV

Lionel Goffauxrequested to merge
lgoffaux/torspec:prop359-fix-dec_uiv into main

It seems there are some typos in the pseudo-code of the DEC_UIV function. I fixed them in order to match the paper of Degabriele, Melloni, Münch, and Stam.

Merge request reports