En transformasjon som tar en OW-CPA PKE til en IND-CCA KEM. Inkluderer [[T-transformation]] som første steg.