A study on MIX-nets and its applications

2003 Fiscal Year Final Research Report Summary

• Project/Area Number: 14580358
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: 計算機科学
• Research Institution: Ibaraki University
• Principal Investigator: KUROSAWA Kaoru Ibaraki University, College of Engineering, Professor, 工学部, 教授 (60153409)
• Project Period (FY): 2002 – 2003
• Keywords: Shuffle / privacy / MIX-net / ElGamal encryption / Paillier encryption / Decisional DH assumption / Decisional Nth residue assumption

Research Abstract

This research preject proposes a formal model for security of verifiable shuffles and prove the security of some recently proposed shuffle schemes in this model. The model is general and can be extended to mix-nets and verifiable shuffle decryption. The research preject also proposes a new, verifiable shuffle system based on Paillier encryption scheme and prove its security in the proposed model. The new shuffle has the least number of rounds and exponentiations if a variant of Paillier scheme is used

Research Products

• [Publications] Lan Nguyen, Rei Safavi-Naini, Kaoru Kurosawa: "Verifiable Shuffle : A formal model and a Paillier-based efficient construction with provable security"Proc.of Applied Cryptography and Network Security (ACNS'04). LNCS 未定. (2004)
  • Description: 「研究成果報告書概要(和文)」より
• [Publications] Lan Nguyen, Rei Safavi-Naini, Kaoru Kurosawa: "Verifiable shuffles A formal model and a Paillier-based efficient construction with provable Security"Proc. of Applied Cryptography and Network Network Security, LNCS series. (2004)
  • Description: 「研究成果報告書概要(欧文)」より