A.2.5. Cripto-sistema Cramer-Shoup

El sistema Cramer–Shoup es un algoritmo de llave asimétrica y fue el primer esquema eficiente y seguro demostrado contra el ataque de texto de cifrado mediante supuestos estándares criptográficos. Su seguridad se basa en la dificultad computacional (ampliamente asumida pero no demostrada) del supuesto decisivo de Diffie–Hellman. Desarrollado por Ronald Cramer y Victor Shoup in 1998, es una extensión del cripto-sistema Elgamal. A diferencia de Elgamal, el cual es extremadamente maleable, Cramer–Shoup añade elementos adicionales para garantizar la no maleabilidad incluso contra un atacante recursivo. Esta no maleabilidad se realiza a través del uso de una función hash de colisión resistente y cómputos adicionales, resultando en un texto cifrado que es dos veces más grande que un Elgamal.^[31]