Cramer-Shoup暗号
Cramer-Shoup暗号(クレーマー シュープあんごう)とは暗号理論における暗号方式の一つ。適応的選択暗号文攻撃(英語版)に対する安全性(IND-CCA2)が標準モデル(暗号理論)(英語版)で証明された初の効率的な公開鍵暗号である。 安全性はDDH仮定(英語版)の計算理論的な非展性(但し証明はされていない)に基づいている。 1998年にロナルド・クレーマー(英語版)とビクター・シュープ(英語版)によって提案されたもので、ElGamal暗号の拡張になっている。 ElGamal暗号は頑強性を持たないが、Cramer-Shoup暗号は別の要素を加えることでより強力な攻撃者に対しても頑強性を達成している。 この頑強性は万能一方向ハッシュ関数の利用とElGamal暗号にはない計算の追加によって得られており、その結果、暗号文の長さはElGamal暗号の2倍になる。