An application of ESOP expressions to secure computations

被引:7
|
作者
Mizuki, Takaaki
Otagiri, Taro
Sone, Hideaki
机构
[1] Tohoku Univ, Informat Synergy Ctr, Aoba Ku, Sendai, Miyagi 9808578, Japan
[2] Tohoku Univ, Grad Sch Informat Sci, Sone Lab, Aoba Ku, Sendai, Miyagi 9808578, Japan
关键词
AND-EXOR expressions; minimization of ESOP expressions; secure computations; application to cryptography;
D O I
10.1142/S0218126607003605
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper gives an application of exclusive-or sum-of-products ( ESOP) expressions to designing cryptographic protocols. That is, this paper deals with secure computations in a minimal model, and gives a protocol which securely computes every function by means of the techniques of ESOP expressions. The communication complexity of our protocol is proportional to the size of an obtained multiple-valued-input ESOP expression. Since the historical research on minimizing ESOP expressions is now still active, our protocol will "automatically" turn to an efficient one as this research progresses. Thus, we hope that the existence of our cryptographic protocol would motivate further research on minimizing ESOP expressions.
引用
收藏
页码:191 / 198
页数:8
相关论文
共 50 条
  • [1] Secure computations in a minimal model using multiple-valued ESOP expressions
    Mizuki, Takaaki
    Otagiri, Taro
    Sone, Hideaki
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2006, 3959 : 547 - 554
  • [2] A PARALLEL ALGORITHM FOR MINIMIZING ESOP EXPRESSIONS
    Papakonstantinou, George
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2014, 23 (01)
  • [3] Testable realizations for ESOP expressions of logic functions
    Pan, ZL
    PROCEEDINGS OF THE 11TH ASIAN TEST SYMPOSIUM (ATS 02), 2002, : 140 - 144
  • [4] Exact ESOP expressions for incompletely specified functions
    Sampson, M.
    Kalathas, M.
    Voudouris, D.
    Papakonstantinou, G.
    INTEGRATION-THE VLSI JOURNAL, 2012, 45 (02) : 197 - 204
  • [5] Minimizing ESOP Expressions for Fully Homomorphic Encryption
    Ye, Jheng-Hao
    Chen, Si-Quan
    Shieh, Ming-Der
    2018 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2018,
  • [6] Generating Toffoli Networks from ESOP Expressions
    Sanaee, Yasaman
    Dueck, Gerhard W.
    2009 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING, VOLS 1 AND 2, 2009, : 715 - 719
  • [7] Regular expressions for program computations
    Prather, RE
    AMERICAN MATHEMATICAL MONTHLY, 1997, 104 (02): : 120 - 130
  • [8] Exact minimization of ESOP expressions with less than eight product terms
    Stergiou, S
    Papakonstantinou, G
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2004, 13 (01) : 1 - 15
  • [9] Secure Multiparty Computations on Bitcoin
    Andrychowicz, Marcin
    Dziembowski, Stefan
    Malinowski, Daniel
    Mazurek, Lukasz
    2014 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2014), 2014, : 443 - 458
  • [10] Secure Multiparty Computations on Bitcoin
    Andrychowicz, Marcin
    Dziembowski, Stefan
    Malinowski, Daniel
    Mazurek, Lukasz
    COMMUNICATIONS OF THE ACM, 2016, 59 (04) : 76 - 84