Close to Optimally Secure Variants of GCM

Algorithm 4

Codes of PRF-adversary against using the PRIV-adversary .

/ PRF-adversary against /

If    makes the th query  :

for to

return

If    returns  :

output