東京大学 大学院情報理工学系研究科 数理情報学専攻 高木・高安研究室 暗号数理情報学研究室(数理情報第1研究室)

発表論文 2021 -

2022年

査読有

  • Reo Eriguchi, Atsunori Ichikawa, Noboru Kunihiro, Koji Nuida, "Efficient Noise Generation Protocols for Differentially Private Multiparty Computation", IEEE Transactions on Dependable and Secure Computing, to appear.
  • Kohei Nakagawa, Hiroshi Onuki, Atsushi Takayasu, Tsuyoshi Takagi, "L1-Norm Ball for CSIDH: Optimal Strategy for Choosing the Secret Key Space", Discrete Applied Mathematics, to appear.
  • Keitaro Hiwatashi, Koji Nuida, "Explicit and Nearly Tight Lower Bound for 2-party Perfectly Secure FSS", 21st International Conference on Applied Cryptography and Network Security, ACNS 2023, to appear.
  • Kyoichi Asano, Keita Emura, Atsushi Takayasu, "More Efficient Adaptively Secure Lattice-based IBE with Equality Test in the Standard Model", The 24th International Conference on Information Security, ISC 2022, to appear.
  • Keita Emura, Atsushi Takayasu, "A Generic Construction of CCA-secure Identity-based Encryption with Equality Test against Insider Attacks", IEICE Transactions, to appear.
  • Reo Eriguchi, Kaoru Kurosawa, Koji Nuida, "On the Optimal Communication Complexity of Error-Correcting Multi-Server PIR", The twentieth Theory of Cryptography Conference, TCC 2022, to appear.
  • Reo Eriguchi, Noboru Kunihiro, Koji Nuida, "Linear Algebraic Approach to Strongly Secure Ramp Secret Sharing for General Access Structures with Application to Symmetric PIR", IEICE Transactions, to appear.
  • Yasuhiko Ikematsu, Shuhei Nakamura, Tsuyoshi Takagi, "Recent Progress in the Security Evaluation of Multivariate Public-Key Cryptography", IET Information Security, to appear.
  • Kaisei Kajita, Go Ohtake, Kazuto Ogawa, Koji Nuida, Tsuyoshi Takagi, "Short Lattice Signature Scheme with Tighter Reduction under Ring-SIS Assumption", IEICE Transactions, to appear.
  • Shinya Okumura, Shusaku Uemura, Momonari Kudo, "Revisiting Lattice-Based Attacks Using Trace Map for Ring-LWE", 2022 International Symposium on Information Theory and Its Applications, ISITA 2022, to appear.
  • Momonari Kudo, Shushi Harashita, "Algorithmic study of superspecial hyperelliptic curves over finite fields" Commentarii mathematici Universitatis Sancti Pauli, to appear.
  • Ryo Ohashi, Momonari Kudo, Shushi Harashita, "Fast enumeration of superspecial hyperelliptic curves of genus 4 with automorphism group V4", International Workshop on the Arithmetic of Finite Fields, WAIFI 2022, to appear.
  • Jintai Ding, Seungki Kim, TsuyoshiTakagi, Yuntao Wang, Bo-yin Yang, "A Physical Study of the LLL Algorithm", Journal of Number Theory, Vol.244, pp.339-368, 2023.
  • Momonari Kudo, Shushi Harashita, "Superspecial Trigonal Curves of Genus 5", Experimental Mathematics, Vol.31(3), pp.908-919, 2022.
  • Kyoichi Asano, Keita Emura, Atsushi Takayasu, and Yohei Watanabe, "A Generic Construction of CCA-secure Attribute-based Encryption with Equality Test", The 16th International Conference on Provable and Practical Security, ProvSec 2022, LNCS 13600, pp. 3–19, 2022.
  • Daichi Aoki, Kazuhiko Minematsu, Toshihiko Okamura, Tsuyoshi Takagi, "Efficient Word Size Modular Multiplication over Signed Integers", 29th IEEE Symposium on Computer Arithmetic, ARITH 2022, pp.94-101, 2022. (pdf)
  • Hiroki Furue, Yutaro Kiyomura, Tatsuya Nagasawa, Tsuyoshi Takagi, "A New Fault Attack on UOV Multivariate Signature Scheme", 13th International Conference on Post-Quantum Cryptography, PQCrypto 2022, LNCS 13512, pp.124–143, 2022.
  • Tomoki Moriya, Hiroshi Onuki, Yusuke Aikawa, Tsuyoshi Takagi, "The Generalized Montgomery Coordinate: A New Computational Tool for Isogeny-based Cryptography", 4th International Workshop on Mathematical Cryptology, MathCrypt 2022, 2022. (pdf)
  • Hiroshi Onuki, "On the key generation in SQISign", Number-Theoretic Methods in Cryptology, NuTMiC 2021, 2022. (pdf)
  • Hiroki Furue, Momonari Kudo, "On the computational enumeration of superspecial curves: A survey and complements (extended abstract)", Computer Algebra in Scientific Computing 2022, CASC 2022, 2022. (pdf)
  • Tasuku Nakagawa, Momonari Kudo, Tsuyoshi Takagi, "Efficient search for superspecial hyperelliptic curves of genus 4 in large characteristic (extended abstract)", Computer Algebra in Scientific Computing 2022, CASC 2022, 2022. (pdf)
  • Kosuke Sakata, Momonari Kudo, Taku Kato, Kazuhiro Yokoyama, "Implementation report on computing Groebner bases over exterior algebra (extended abstract)", Computer Algebra in Scientific Computing 2022, CASC 2022, 2022. (pdf)
  • Taku Kato, Yutaro Kiyomura, Tsuyoshi Takagi, "Improving Fault Attacks on Rainbow with Fixing Random Vinegar Values", 17th International Workshop on Security, IWSEC 2022, LNCS 13504, pp.147-165, 2022.
  • Hirotomo Shinoki, Koji Nuida, "On Extension of Evaluation Algorithms in Keyed-Homomorphic Encryption". 17th International Workshop on Security, IWSEC 2022, LNCS 13504, pp.189–207, 2022.
  • Nariyasu Heseri, Koji Nuida, "Computational Irrelevancy: Bridging the Gap Between Pseudo- and Real Randomness in MPC Protocols", 17th International Workshop on Security, IWSEC 2022, LNCS 13504, pp.208–223, 2022.
  • Shu Takahashi, Hiroshi Onuki, Tsuyoshi Takagi, "Explicit Construction of the Square-root Vélu's Formula on Edwards Curves", JSIAM Letters, Vol.14, pp.108–110, 2022.
  • Reo Eriguchi, Kaoru Kurosawa, Koji Nuida, "Multi-Server PIR with Full Error Detection and Limited Error Correction", 3rd Conference on Information-Theoretic Cryptography, ITC 2022, pp.1:1-1:20, 2022.
  • Shingo Sato, Keita Emura, Atsushi Takayasu, "Keyed-Fully Homomorphic Encryption without Indistinguishability Obfuscation", 20th International Conference on Applied Cryptography and Network Security, ACNS 2022, LNCS 13269, pp.3-23, 2022.
  • Keisuke Hakuta, Hiroyuki Ochiai, Tsuyoshi Takagi, "Comments on Efficient Batch Verification Test for Digital Signatures based on Elliptic Curves", Mathematica Slovaca, Vol.72, No.3, pp.575-590, 2022.
  • Yuta Kambe, Masaya Yasuda, Masayuki Noro, Kazuhiro Yokoyama, Yusuke Aikawa, Katsuyuki Takashima, Momonari Kudo, "Solving the Constructive Deuring Correspondence via the Kohel-Lauter-Petit-Tignol Algorithm", Mathematical Cryptology, Vol.1, No.2, pp.10–24, 2022.
  • Yuta Kambe, Yusuke Aikawa, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama, "Implementation report of the Kohel-Lauter-Petit-Tignol algorithm for the constructive Deuring correspondence", 7th International Conference on Mathematics and Computing, ICMC2021, AISC 1412, pp.953-966, 2022.
  • Keitaro Hiwatashi, Satsuya Ohata, Koji Nuida, "An Efficient Secure Division Protocol Using Approximate Multi-Bit Product and New Constant-Round Building Blocks", IEICE Transactions, Vol.E105.A, pp.404-416, 2022.
  • Hiroshi Onuki, Tomoki Moriya, "Radical Isogenies on Montgomery Curves", 25th International Conference on Practice and Theory of Public Key Cryptography, PKC 2022, LNCS 13177, pp.473-497, 2022.
  • Yuji Hashimoto, Koji Nuida, Goichiro Hanaoka, "Tight Security of Twin-DH Hashed ElGamal KEM in Multi-user Setting", IEICE Transactions, Vol.E105.A, No.3, pp.173-181, 2022.
  • Xiaoling Yu, Yuntao Wang, Chungen Xu, Tsuyoshi Takagi, "Revisiting the Orthogonal Lattice Algorithm in Solving General Approximate Common Divisor Problem", IEICE Transactions, Vol.E105.A, No.3, pp.195-202, 2022.
  • Pengfei Wang, Xiangyu Su, Maxim Jourenko, Zixian Jiang, Mario Larangeira, Keisuke Tanaka, "Environmental Adaptive Privacy Preserving Contact Tracing System for Respiratory Infectious Diseases", The 13th International Symposium on Cyberspace Safety and Security, CSS 2021, LNCS 13172, pp.131-144, 2022.

査読無

  • 青木和麻呂, 大槻紗季, 小貫啓史, 高木剛, "数体篩法実装は双子smooth素数の探索に役立つか?", SCIS 2022, 1A1-1, 2022.
  • 青木大地, 岡村利彦, 峯松一彦, 高木剛 "SABERにおける数論変換のC言語実装", SCIS 2022, 1A1-4, 2022.
  • 加藤拓, 清村優太郎, 高木剛, "多変数多項式署名Rainbowに対する新たな乱数固定のフォルト攻撃", SCIS 2022, 1A1-6, 2022.
  • 大槻紗季, 青木和麻呂, 小貫啓史, 高木剛 "同種写像暗号B-SIDHの実験による計算量評価と効率的な素数pの条件", SCIS 2022, 1A2-2, 2022.
  • 古江弘樹, 工藤桃成, "A new efficient variant of the XL algorithm using the arithmetic over polynomial matrices", SCIS 2022, 1A2-5, 2022.
  • 坂田康亮, "MQ問題の解決のためのHybrid approachの改良の検討", SCIS 2022, 1A2-6, 2022.
  • 小貫啓史, "SQISignの公開鍵の安全性", SCIS 2022, 2A1-2, 2022.
  • 神戸祐太, 高橋康, 相川勇輔, 工藤桃成, 安田雅哉, 高島克幸, 横山和弘 "SIKEに対するvOW法の内部関数の新計算手法", SCIS 2022, 2A1-3, 2022.
  • 守谷共起, 小貫啓史, 相川勇輔, 高木剛, "Montgomery曲線のx座標を用いた3-同種計算の最小演算コスト", SCIS 2022, 2A5-3, 2022.
  • 篠木寛鵬, 縫田光司, "鍵付き準同型暗号における演算の拡張と安全性", SCIS 2022, 3D1-2, 2022.
  • 加藤拓, 古江弘樹, 高木剛, "帰着効率がタイトなhelper付きUnruh変換の提案と効率的なディジタル署名の構成", SCIS 2022, 3D1-3, 2022.
  • 仁平貴大, 縫田光司, "秘密分散を用いた秘匿浮動小数点数除算・平方根計算の改良", SCIS 2022, 3E1-3, 2022.
  • 奥村伸也, 上村周作, 工藤桃成, "トレース写像を用いたRing-LWE問題に対する格子攻撃の再考" SCIS 2022, 4A2-3, 2022.

2021年

査読有

  • Reo Eriguchi, Koji Nuida, "Homomorphic Secret Sharing for Multipartite and General Adversary Structures Supporting Parallel Evaluation of Low-Degree Polynomials", the 27th Annual International Conference on the Theory and Application of Cryptology and Information Security, Asiacrypt 2021, LNCS 13091, pp.191-221, 2021.
  • Hiroki Furue, Yasuhiko Ikematsu, Yutaro Kiyomura, Tsuyoshi Takagi, "A New Variant of Unbalanced Oil and Vinegar Using Quotient Ring: QR-UOV", the 27th Annual International Conference on the Theory and Application of Cryptology and Information Security, Asiacrypt 2021, LNCS 13093, pp.187-217, 2021.
  • Shuhei Nakamura, Yasuhiko Ikematsu, Yacheng Wang, Jintai Ding, Tsuyoshi Takagi, "New complexity estimation on the Rainbow-Band-Separation attack", Theoretical Computer Science, Vol.896, pp.1-18, 2021.
  • Momonari Kudo, "Computing representation matrices for the Frobenius on cohomology groups", Journal of Symbolic Computation, Vol.109, pp.441-464, 2022.
  • Shusaku Uemura, Kazuhide Fukushima, Shinsaku Kiyomoto, Momonari Kudo, Tsuyoshi Takagi, "Shortest Vectors in Lattices of Bai-Galbraith's Embedding Attack on the LWR Problem", 16th International Workshop on Security, IWSEC 2021, LNCS 12835, pp.23-41, 2021.
  • Changze Yin, Yacheng Wang, Tsuyoshi Takagi, "Simple Matrix Signature Scheme", 16th International Workshop on Security, IWSEC 2021, LNCS 12835, pp.227-237, 2021.
  • Yuji Hashimoto, Koji Nuida, "Improved Supersingularity Testing of Elliptic Curves Using Legendre Form", Computer Algebra in Scientific Computing 2021, CASC 2021, LNCS 12865, pp.121-135, 2021.
  • Reo Eriguchi, Atsunori Ichikawa, Noboru Kunihiro, Koji Nuida, "Efficient Noise Generation to Achieve Differential Privacy with Applications to Secure Multiparty Computation", Twenty-Fifth International Conference on Financial Cryptography and Data Security, FC 2021, LNCS 12674, pp.271-290, 2021.
  • Reo Eriguchi, Kazuma Ohara, Shota Yamada, Koji Nuida, "Non-Interactive Secure Multiparty Computation for Symmetric Functions, Revisited: More Efficient Constructions and Extensions", The 41st Annual International Cryptology Conference, CRYPTO2021, LNCS 12826, pp.305-334, 2021.
  • Hiroki Furue, Shuhei Nakamura, Tsuyoshi Takagi, "Improving Thomae-Wolf Algorithm for Solving Underdetermined Multivariate Quadratic Polynomial Problem", 12th International Workshop on Post-Quantum Cryptography, PQCrypto 2021, LNCS 12841, pp.65-78, 2021.
  • Momonari Kudo, Shushi Harashita, "Parametrizing generic curves of genus five and its application to finding curves with many rational points", Effective Methods in Algebraic Geometry 2021, MEGA2021, 2021. (pdf)
  • Yuji Hashimoto, Katsuyuki Takashima, "Improved supersingularity testing of elliptic curves", JSIAM Letters, Vol.13, pp.29-32, 2021.
  • Hiroki Okada, Atsushi Takayasu, Kazuhide Fukushima, Shinsaku Kiyomoto, Tsuyoshi Takagi, "A Compact Digital Signature Scheme Based on the Module-LWR problem", IEICE Transactions, Vol.E104–A, No.9, pp.1219-1234, 2021.
  • Keitaro Hiwatashi, Ken Ogura, Satsuya Ohata, Koji Nuida, "Accelerating Secure (2+1)-Party Computation by Insecure but Efficient Building Blocks", The 16th ACM ASIA Conference on Computer and Communications Security, AsiaCCS 2021, pp.616–627, 2021.
  • Ye Yuan, Kazuhide Fukushima, Junting Xiao, Shinsaku Kiyomoto, Tsuyoshi Takagi, "Memory-Constrained Implementation of Lattice-based Encryption Scheme on Standard Java Card Platform", IET Information Security, Vol.15, pp.267-281, 2021.
  • Koji Nuida, "Cryptographic Pseudorandom Generators Can Make Cryptosystems Problematic", 24th International Conference on Practice and Theory of Public-Key Cryptography, PKC 2021, LNCS 12711, pp.441-468, 2021.
  • Yuntao Wang, Tsuyoshi Takagi, "Studying Lattice Reduction Algorithms Improved by Quick Reordering Technique", International Journal of Information Security, Vol.20, pp.257-268, 2021.
  • Tomoki Kawashima, Katsuyuki Takashima, Yusuke Aikawa, Tsuyoshi Takagi, "An Efficient Authenticated Key Exchange from Random Self-Reducibility on CSIDH", The 23rd Annual International Conference on Information Security and Cryptology, ICISC 2020, LNCS 12593, pp.58-84, 2021.
  • Bernhard Mühlherr and Koji Nuida, "Locally Finite Continuations and Coxeter Groups of Infinite Ranks", Journal of Pure and Applied Algebra, Vol.225, Article 106464, 2021.
  • Hiroshi Onuki, "On oriented supersingular elliptic curves", Finite Fields and Their Applications, Vol 69, Article 101777, 2021.
  • Kazumasa Shinagawa, Koji Nuida, "A Single Shuffle Is Enough for Secure Card-Based Computation of Any Boolean Circuit", Discrete Applied Mathematics, Vol.289, pp.248-261, 2021.

査読無

  • Hiroki Furue, Yutaro Kiyomura, Tatsuya Nagasawa, Tsuyoshi Takagi, "A New Fault Attack on UOV Multivariate Signature Scheme", コンピュータセキュリティシンポジウム2021, CSS 2021, 3E2-2, 2021.
  • 前田勇作, 縫田光司, "CCA安全な鍵付きレベル2準同型暗号の構成", SCIS2021, 1A1-5, 2021.
  • 上村周作, 福島和英, 清本晋作, 工藤桃成, 高木剛, "LWR問題に対するBai-Galbraith埋込法の格子に現れる最短ベクトル", SCIS2021, 2A3-3, 2021.
  • 小田川拓利, 縫田光司, "Optimal DeepLLL系基底簡約の停止性の証明と計算量評価", SCIS2021, 2A3-4, 2021.
  • 小川一人, 縫田光司, "MPCを用いたプライバシー保護付きいつでもどこでもコンテンツ配信", SCIS2021, 2E4-3, 2021.
  • 縫田光司, "ハイブリッド型記憶容量制約攻撃モデルの多段化に関する考察", SCIS2021, 3A1-1, 2021.
  • 大住友輝, 上村周作, 工藤桃成, 高木剛, "格子暗号SABERに対する鍵不一致攻撃", SCIS2021, 3A3-2, 2021.
  • 秋山浩一郎, 池松泰彦, 小貫啓史, 縫田光司, 高木剛, "近似イデアルGCD問題に基づく不定方程式暗号" SCIS2021, 3A4-1, 2021.
  • 守谷共起, 小貫啓史, 高木剛, "Edwards曲線における高速な高次の同種写像計算方式", SCIS2021, 3A4-3, 2021.
  • 光成滋生, 縫田光司, "Lifted-ElGamal暗号を用いた任意関数演算の二者間秘密計算プロトコルのmaliciousモデルにおける効率化", SCIS2021, 3B2-2, 2021.
  • 江利口礼央, 大原一真, 山田翔太, 縫田光司, "非対話型秘密計算プロトコルに対する通信量の削減と安全性解析", SCIS2021, 4B1-1, 2021.
  • 品川和雅, 江利口礼央, 縫田光司, "平方剰余に基づくPrivate Simultaneous Messagesについて", SCIS2021, 4B1-2, 2021.