It is used as the basis to prove the security of many cryptographic protocols, most notably the ElGamal and Cramer–Shoup cryptosystems.
Det används som grund för att bevisa säkerheten för många kryptografiska protokoll, främst ElGamal krypto.