Application of Logic Circuit Design to Secure Computation

• Project/Area Number: 19700002
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Fundamental theory of informatics
• Research Institution: Tohoku University
• Principal Investigator: MIZUKI Takaaki Tohoku University, サイバーサイエンスセンター, 准教授 (90323089)
• Project Period (FY): 2007 – 2009
• Project Status: Completed (Fiscal Year 2009)
• Budget Amount: ¥3,010,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥510,000); Fiscal Year 2009: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2008: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2007: ¥800,000 (Direct Cost: ¥800,000)
• Keywords: アルゴリズム / 暗号・認証等 / ネットワーク

Research Abstract

Secure computation allows players to learn the output of a desired function without revealing their inputs when each player has a private input. On the other hand, it has been known that exclusive-or sum-of-products forms of a given function can be utilized for secure computation. One of the main results was to give an algorithm for minimizing such forms and enhance the performance of secure computation.

Research Products

• [Journal Article] Minimizing AND-EXOR Expressions for Two-Variable Multiple-Valued Input Binary Output Functions (2010)
  • Author(s): Takaaki Mizuki, Hitoshi Tsubata, Takao Nishizeki
  • Journal Title: Journal of Multiple-Valued Logic and Soft Computing vol.16 Pages: 197-208
  • Peer Reviewed
• [Journal Article] Minimizing AND-EXOR Expressions for Two-Variable Multiple-Valued In put Binary Output Functions (2010)
  • Author(s): Takaaki Mizuki
  • Journal Title: Journal of Multiple-Valued Logic and Soft Computing 16 Pages: 197-208
  • Peer Reviewed
• [Journal Article] A One-Round Secure Message Broadcasting Protocol through a Key Sharing Tree (2009)
  • Author(s): Takaaki Mizuki, Takuya Sato, Hideaki Sone
  • Journal Title: Information Processing Letters vol.109 Pages: 842-845
  • Peer Reviewed
• [Journal Article] Six-Card Secure AND and Four-Card Secure XOR, Frontiers in Algorithmics (FAW 2009) (2009)
  • Author(s): Takaaki Mizuki, Hideaki Sone
  • Journal Title: Lecture Notes in Computer Science, Springer-Verlag vol.5598 Pages: 358-369
  • Peer Reviewed
• [Journal Article] Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions (Extended Abstract), Theory and Applications of Models of Computation (TAMC 2009) (2009)
  • Author(s): Takaaki Mizuki, Hitoshi Tsubata, Takao Nishizeki
  • Journal Title: Lecture Notes in Computer Science, Springer-Verlag vol.5532 Pages: 301-310
  • Peer Reviewed
• [Journal Article] A One-Round Secure Message Broadcasting Protocol through a Key Sharing Tree (2009)
  • Author(s): Takaaki Mizuki
  • Journal Title: Information Processing Letters 109 Pages: 842-845
  • Peer Reviewed
• [Journal Article] Six-Card Secure AND and Four-Card Secure XOR (2009)
  • Author(s): Takaaki Mizuki
  • Journal Title: Lecture Notes in Computer Science 5598 Pages: 358-369
  • Peer Reviewed
• [Journal Article] Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions(Extended Abstract) (2009)
  • Author(s): Takaaki Mizuki
  • Journal Title: Lecture Notes in Computer Science 5532 Pages: 301-310
  • Peer Reviewed
• [Presentation] 情報機器からの漏洩電磁界に関する基礎的計測 (2009)
  • Author(s): 大村孔平
  • Organizer: 計測自動制御学会東北支部
  • Place of Presentation: 東北大学青葉山キャンパス
  • Year and Date: 2009-03-13
• [Presentation] 多値2入力論理関数のAND-EXOR論理式の最小化 (2008)
  • Author(s): 津幡斉, 水木敬明, 西関隆夫
  • Organizer: 電子情報通信学会回路とシステム研究会
  • Place of Presentation: 山口大学常盤キャンパス
  • Year and Date: 2008-03-07