岡田 大樹 / Hiroki Okada

経歴・所属

2010 年   3 月 大阪府立茨木高等学校 卒業
2014 年   3 月 京都大学 工学部 情報学科 数理工学コース 卒業

2016 年   3 月 京都大学大学院 情報学研究科 数理工学専攻 修士課程修了

2016 年   4 月– KDDI (現出向元)

2017 年   4 月– KDDI 総合研究所 先端技術研究所 セキュリティ部門 情報セキュリティ G
2023 年 10月– 東京大学大学院 情報理工学研究科 数理情報学専攻 数理情報第1研究室 博士課程(社会人) 在学中

査読付き国際論文誌 

1. H. Okada, S. Kiyomoto, and C. Cid. “Integer-Wise Functional Bootstrapping on TFHE: Applications in Secure Integer Arithmetics”. Information 12.8 (2021).  
   ※ “the best papers from ISC 2020 and ISC 2021” としての招待論文

2. S. Narisada, H. Okada, K. Fukushima, and S. Kiyomoto. “Faster Rotation-Based Gauss Sieve for Solving the SVP on General Ideal Lattices”. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. E104.A.1 (2021), pp. 79–88. 

3. H. Okada, A. Takayasu, K. Fukushima, S. Kiyomoto, and T. Takagi. “A Compact Digital Signature Scheme Based on the Module-LWR Problem”. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. E104.A.9 (2021), pp. 1219–1234. 

4. H. Okada, A. Takayasu, K. Fukushima, S. Kiyomoto, and T. Takagi. “On the Complexity of the LWR-Solving BKW Algorithm”. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. E103.A.1 (2020), pp. 173–182.  

5. H. Okada and K. Umeno. “Randomness Evaluation With the Discrete Fourier Transform Test Based on Exact Analysis of the Reference Distribution”. IEEE Trans. Inf. Forensics Secur. 12.5 (2017), pp. 1218–1226. 

査読付き国際会議予稿集

1. H. Okada, R. Player, S. Pohmann, and C. Weinert. "Towards Practical Doubly-Efficient Private Information Retrieval." Cryptology ePrint Archive, Paper 2023/1510. 2023. (to appear at FC 2024)

2. H. Okada, R. Player, S. Pohmann. “Homomorphic Polynomial Evaluation Using Galois Structure and Applications to BFV Bootstrapping”. ASIACRYPT 2023. 2023, pp. 69–100.

3. T. Nakamura, H. Okada, K. Fukushima, and T. Isohara. “Achieving Private Verification in Multi-Stakeholder Environment and Application to Stable Matching”. ICEIS 2023. 2023, pp. 768–775. 

4. S. Narisada, H. Okada, K. Fukushima, S. Kiyomoto, T. Nishide. "GPU Acceleration of High-Precision Homomorphic Computation Utilizing Redundant Representation". WAHC 2023, pp. 1–9.

5. H. Okada and K. Fukushima. “SoK: Towards CCA Secure Fully Homomorphic Encryption”. SECRYPT 2023. 2023, pp. 793–798. 

6. H. Okada, K. Fukushima, S. Kiyomoto, and T. Takagi. “Spherical Gaussian Leftover Hash Lemma via the Rényi Divergence”. ACNS 2023. 2023, pp. 695–724. 

7. H. Okada and K. Fukushima. “Revisiting the DFT Test in the NIST SP 800-22 Randomness Test Suite”. ICISSP 2023. 2023, pp. 366–372. 

8. K. Fukushima, H. Okada, S. Takarabt, A. Korchi, M. Hamoud, K. Karray, Y. Souissy, and S. Guilley. “Side-channel Analysis and Countermeasure for Implementation of Lattice-based Signature”. SECRYPT 2022. 2022, pp. 701–706.

9. H. Okada, S. Kiyomoto, and C. Cid. “A Comparison of GKE Protocols based on SIDH”. SECRYPT 2021. 2021, pp. 507–514. 

10. H. Okada, A. Takayasu, K. Fukushima, S. Kiyomoto, and T. Takagi. “A Compact Digital Signature Scheme Based on the Module-LWR Problem”. ICICS 2020. 2020, pp. 73–90.

11. H. Okada, S. Kiyomoto, and C. Cid. “Integerwise Functional Bootstrapping on TFHE”. ISC 2020. 2020, pp. 107–125. 

12. H. Okada, C. Cid, S. Hidano, and S. Kiyomoto. “Linear Depth Integer-Wise Homomorphic Division”. WISTP 2018. 2019, pp. 91–106. 

13. H. Okada, A. Takayasu, K. Fukushima, S. Kiyomoto, and T. Takagi. “On the Complexity of the LWR-Solving BKW Algorithm”. ICISC 2018. 2019, pp. 196–214. 

14. H. Okada, K. Umeno, D. Handoko, M. F. Ihsan, R. Maharani, P. Nursetia, H. Rosyad, and W. P. Taruno. “Brain Electrical Capacitance Volume Tomography Signals Analysis with Moving Maximum Lyapunov Exponents”. Advanced Science, Engineering and Medicine 7.10 (2015), pp. 897–899. 

国内研究会

1. 岡田 大樹，高木 剛．標準的な(Ring-)LWEに基づくシミュレーション安全なしきい値公開鍵暗号．2024年暗号と情報セキュリティシンポジウム (SCIS2024)，2A3-3，2024 年.
   ※ SCIS 2024 論文賞受賞

2. 中村 徹，岡田 大樹，福島 和英，磯原 隆将．マルチステークホルダ環境を考慮したプライバシと透明性を両立するプロトコルの考察．2022 年コンピュータセキュリティシンポジウム (CSS2022)，2A2-I-2， 2022 年.

3. 岡田 大樹，Benjamin R. Curtis，清本 晋作，Carlos Cid．TFHE における Integer-wise 型一般化 Bootstrapping．2020 年暗号と情報セキュリティシンポジウム (SCIS2020)，1B1-3，2020 年.

4. 岡田 大樹，高安 敦，福島 和英，清本 晋作，高木 剛．LWR 問題解読のためのサンプル増幅法を用いたBKW アルゴリズム．2017 年コンピュータセキュリティシンポジウム (CSS2017)，1E4-2，2017 年.
   ※ CSS2017 奨励賞受賞

5. 岡田 大樹，梅野 健．複数の系列を同時に使用する離散フーリエ変換検定法について．信学技報, vol. 115, no. 178, CCS2015-42, pp. 73–78, 2015 年 8 月.
   ※ CCS 奨励賞受賞

6. 岡田 大樹，梅野 健．カオス的ユニタリ変換を用いた乱数検定．信学技報, vol. 114, no. 145, NLP2014- 42, pp. 59–64, 2014 年 7 月.

学会活動

• 2020 年 1 月 SCIS 2020 暗号と情報セキュリティシンポジウム 実行委員

• 2023 年 6 月–2024年6月 電子情報通信学会 基礎・境界ソサイエティ ISEC 研究専門委員会 幹事補佐

• 2024 年 6 月–現在 電子情報通信学会 基礎・境界ソサイエティ ISEC 研究専門委員会 幹事

特許

1. 特許第 6871200 号: 鍵合意システム及び鍵生成装置

2. 特許第 6916770 号: 秘匿計算装置，秘匿計算方法及び秘匿計算プログラム

3. 特許第 7073093 号: 設計装置，設計方法及び設計プログラム

4. 特許第 7073295 号: 秘匿計算装置，秘匿計算方法及び秘匿計算プログラム

5. 特許第 7096214 号: 秘匿計算装置，秘匿計算方法及び秘匿計算プログラム

6. 特許第 7146724 号: 秘匿演算装置，秘匿演算方法及び秘匿演算プログラム

7. 特許第 7146725 号: 秘匿演算装置，秘匿演算方法及び秘匿演算プログラム

8. 特許第 7179788 号: 秘匿演算装置，秘匿演算方法及び秘匿演算プログラム

9. 特開 2021-150951: 電子署名生成装置，電子署名生成方法及び電子署名生成プログラム

10. 特開 2022-093092: 認証システム及び認証方法

11. 特開 2022-170070: 設計装置，設計方法及び設計プログラム 

12. 特開 2023-005134: 設計装置，設計方法及び設計プログラム

報道発表

1. 2021 年 2 月 8 日，「高性能の電子署名，米標準候補上回る」日本経済新聞

公的資格

• 電気通信主任技術者 (伝送交換) (資格者証番号: AA21A01838J) 

• 第一級陸上特殊無線技士 (免許番号: ABOJ00883)

• 情報処理安全確保支援士 (登録番号: 第 017642 号)