Rahul Sharma (Editor)

Naccache–Stern cryptosystem

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

Note: this is not to be confused with the Naccache–Stern knapsack cryptosystem.

Contents

The Naccache–Stern cryptosystem is a homomorphic public-key cryptosystem whose security rests on the higher residuosity problem. The Naccache–Stern cryptosystem was discovered by David Naccache and Jacques Stern in 1998.

Scheme Definition

Like many public key cryptosystems, this scheme works in the group ( Z / n Z ) ∗ where n is a product of two large primes. This scheme is homomorphic and hence malleable.

Key Generation

  • Pick a family of k small distinct primes p1,...,pk.
  • Divide the set in half and set u = ∏ i = 1 k / 2 p i and v = ∏ k / 2 + 1 k p i .
  • Set σ = u v = ∏ i = 1 k p i
  • Choose large primes a and b such that both p = 2au+1 and q=2bv+1 are prime.
  • Set n=pq.
  • Choose a random g mod n such that g has order φ(n)/4.

    • The public key is the numbers σ,n,g and the private key is the pair p,q.

    When k=1 this is essentially the Benaloh cryptosystem.

    Message Encryption

    This system allows encryption of a message m in the group Z / σ Z .

  • Pick a random x ∈ Z / n Z .
  • Calculate E ( m ) = x σ g m mod n

    • Then E(m) is an encryption of the message m.

    Message Decryption

    To decrypt, we first find m mod pi for each i, and then we apply the Chinese remainder theorem to calculate m mod σ .

    Given a ciphertext c, to decrypt, we calculate

  • c i ≡ c ϕ ( n ) / p i mod n . Thus
    • c ϕ ( n ) / p i ≡ x σ ϕ ( n ) / p i g m ϕ ( n ) / p i mod n ≡ g ( m i + y i p i ) ϕ ( n ) / p i mod n ≡ g m i ϕ ( n ) / p i mod n

    where m i ≡ m mod p i .

  • Since pi is chosen to be small, mi can be recovered by exhaustive search, i.e. by comparing c i to g j ϕ ( n ) / p i for j from 1 to pi-1.
  • Once mi is known for each i, m can be recovered by a direct application of the Chinese remainder theorem.

    • Security

    The semantic security of the Naccache–Stern cryptosystem rests on an extension of the quadratic residuosity problem known as the higher residuosity problem.

    References

    Naccache–Stern cryptosystem Wikipedia
    (Text) CC BY-SA