大原 一真
主任研究員
主な研究:秘匿計算/秘密計算,公開鍵暗号系
e-mail:ohara.kazuma [at] aist.go.jp
職歴
2020年1月-現在: 国立研究開発法人 産業技術総合研究所 サイバーフィジカルセキュリティ研究センター
2014年4月-2019年12月:日本電気株式会社(NEC)中央研究所 研究員
2012年9月-2014年3月:国立研究開発法人 産業技術総合研究所 セキュアシステム研究部門 テクニカルスタッフ
学歴
2019年9月:電気通信大学 大学院情報理工学研究科 情報学専攻 博士後期課程 修了
博士論文:Efficient Constructions and Implementations for Secure Multi-Party Computation (マルチパーティ計算の効率的な構成と実装)
指導教員:岩本 貢 教授
2014年3月:電気通信大学 大学院情報理工学研究科 総合情報学専攻 博士前期課程 修了
指導教員:太田 和夫 教授(現:電気通信大学 名誉教授)
2012年3月:電気通信大学 電気通信学部 情報通信工学科 卒業
査読付き論文誌
Multi-Party Computation for Modular Exponentiation based on Replicated Secret Sharing
Kazuma Ohara, Yohei Watanabe, Mitsugu Iwamoto, Kazuo Ohta.
IEICE Transactions, Vol.E102-A, No.9, pp.1079-1090, 2019.Shortening the Libert-Peters-Yung Revocable Group Signature Scheme by Using the Random Oracle Methodology
Kazuma Ohara, Keita Emura, Goichiro Hanaoka, Ai Ishida, Kazuo Ohta, Yusuke Sakai.
IEICE Transactions, Vol. E102-A, No.9, pp.1101-1117, 2019. [eprint]Group Signatures with Message-Dependent Opening: Formal Definitions and Constructions
Keita Emura, Goichiro Hanaoka, Yutaka Kawai, Takahiro Matsuda, Kazuma Ohara, Kazumasa Omote, Yusuke Sakai.
Security and Communication Networks 2019: 4872403:1-4872403:36, 2019.
査読付き国際会議
Secure Parallel Computation on Privately Partitioned Data and Applications
Nuttapong Attrapadung, Hiraku Morita, Kazuma Ohara, Jacob C. N. Schuldt, Tadanori Teruya, Kazunari Tozawa.
ACM CCS 2022, pp.151-164.Efficient Two-party Exponentiation from Quotient Transfer
Yi Lu, Keisuke Hara, Kazuma Ohara, Jacob C. N. Schuldt, Keisuke Tanaka.
ACNS 2022, pp.643-662.Memory and Round-Efficient MPC Primitives in the Pre-Processing Model from Unit Vectorization
Nuttapong Attrapadung, Hiraku Morita, Kazuma Ohara, Jacob C. N. Schuldt, Kazunari Tozawa.
ACM ASIACCS 2022, pp.858-872.Efficient Dynamic Searchable Encryption with Forward Privacy under the Decent Leakage
Yohei Watanabe, Kazuma Ohara, Mitsugu Iwamoto, Kazuo Ohta.
CODASPY 2022, pp.312-323.Non-Interactive Secure Multiparty Computation for Symmetric Functions, Revisited: More Efficient Constructions and Extensions
Reo Eriguchi, Kazuma Ohara, Shota Yamada, Koji Nuida.
CRYPTO 2021, pp.305-334.Oblivious Linear Group Actions and Applications
Nuttapong Attrapadung, Goichiro Hanaoka, Takahiro Matsuda, Hiraku Morita, Kazuma Ohara, Jacob C. N. Schuldt, Tadanori Teruya, Kazunari Tozawa.
ACM CCS 2021, pp.630-650.Revisiting Fuzzy Signatures: Towards a More Risk-Free Cryptographic Authentication System based on Biometrics
Shuichi Katsumata, Takahiro Matsuda, Kazuma Ohara, Kenta Takahashi, Wataru Nakamura.
ACM CCS 2021, pp.2046-2065.Secure Graph Analysis at Scale
Toshinori Araki, Jun Furukawa, Kazuma Ohara, Benny Pinkas, Hanan Rosemarin, Hikaru Tsuchida.
ACM CCS 2021, pp.610-629.Semantic Definition of Anonymity in Identity-Based Encryption and Its Relation to Indistinguishability-Based Definition
Goichiro Hanaoka, Misaki Komatsu, Kazuma Ohara, Yusuke Sakai, Shota Yamada.
ESORICS 2020, pp.65-85.Generalizing the SPDZ Compiler For Other Protocols
Toshinori Araki, Assi Barak, Jun Furukawa, Marcel Keller, Yehuda Lindell, Kazuma Ohara, Hikaru Tsuchida.
ACM CCS 2018, pp.880-895. [eprint]Optimized Honest-Majority MPC for Malicious Adversaries – Breaking the 1 Billion-Gate Per Second Barrier
Toshinori Araki, Assi Barak, Jun Furukawa, Yehuda Lindell, Ariel Nof, Kazuma Ohara.
IEEE S&P 2017, pp.843-862.High-Throughput Semi-Honest Secure Three-Party Computation with an Honest Majority
Toshinori Araki, Jun Furukawa, Yehuda Lindell, Ariel Nof, Kazuma Ohara.
ACM CCS 2016, pp.805-817. [eprint]Constant Rounds Almost Linear Complexity Multi-party Computation for Prefix Sum
Kazuma Ohara , Kazuo Ohta, Koutarou Suzuki, Kazuki Yoneyama.
AFRICACRYPT 2014, pp.285-299.Privacy-preserving smart metering with verifiability for both billing and energy management
Kazuma Ohara, Yusuke Sakai, Fumiaki Yoshida, Mitsugu Iwamoto, Kazuo Ohta.
AsiaPKC@AsiaCCS 2014, pp.23-32A Group Signature Scheme with Unbounded Message-Dependent Opening
Kazuma Ohara, Yusuke Sakai, Keita Emura, Goichiro Hanaoka.
ACM ASIACCS 2013, pp.517-522.
国内研究会・シンポジウム・研究会技報等
秘密計算によるベイズ最適化
Nuttapong Attrapadung,花岡 悟一郎,松田 隆宏,大原 一真,照屋 唯紀
コンピュータセキュリティシンポジウム2022,4B-I-2,2022年10月Intel SGXのリモートアテステーションにおける検証サーバ運用の懸念とその改善に向けた考察
矢川 嵩,須崎 有康,照屋 唯紀,大原 一真,阿部 洋丈.
信学技報,vol.122,no.125,HWS2022-11,pp.23-28,2022年7月.Constant-Round Two-Party Exponentiation Based on Additive Secret Sharing
Yi Lu, Keisuke Hara, Kazuma Ohara, Jacob Schuldt, Keisuke Tanaka.
信学技報,vol.120,no.411,ISEC2020-75,pp.201-207,2021年3月.秘匿計算における乱数生成サーバーの設計と実装
石田 祐介,大原 一真,松田 隆宏,アッタラパドゥン ナッタポン,花岡 悟一郎.
暗号と情報セキュリティシンポジウム2021(SCIS2021),4B2-1,2021年.非対話型秘密計算プロトコルに対する通信量の削減と安全性解析
江利口 礼央, 大原 一真,山田 翔太,縫田 光司.
暗号と情報セキュリティシンポジウム2021(SCIS2021),4B2-1,2020年.より少ない漏洩の下で安全な動的検索可能暗号への変換手法
渡邉 洋平,大原 一真,岩本 貢,太田 和夫.
コンピュータセキュリティシンポジウム2020(CSS2020),1D4-2,2020年.(強)フォワード安全な動的検索可能暗号の効率的な構成
渡邉 洋平,大原 一真,岩本 貢,太田 和夫.
コンピュータセキュリティシンポジウム2019(CSS2019),3D2-2,2019年.現実的な結託者のもとで最もシェア長の短いロバスト秘密分散法
渡邉 洋平,大原 一真,岩本 貢,太田 和夫.
信学技報,vol.118,no.151,ISEC2018-13,pp.1-8,2018年7月.異なるサイズの環が混在する不正検知可能なマルチパーティ計算
大原 一真,荒木 敏則,土田 光,古川 潤
暗号と情報セキュリティシンポジウム2018(SCIS2018),2A1-4,2018年.不正検知可能なマルチパーティー計算による生体情報と遺伝子情報の保護
土田 光,荒木 敏則,大原 一真,古川 潤.
暗号と情報セキュリティシンポジウム2018(SCIS2018),2A1-5,2018年.通信量の小さい3者間マルチパーティ計算とビットスライス法による実装
荒木 俊則,古川 潤,Yehuda Lindell,Ariel Nof,大原 一真.
暗号と情報セキュリティシンポジウム2016(SCIS2016),2D3-5,2016年.署名長の短い削除機能付きグループ署名
大原 一真,坂井 祐介,江村 恵太,花岡 悟一郎,太田 和夫.
暗号と情報セキュリティシンポジウム2014(SCIS2014),2D1-6,2014年.マルチパーティ計算による定数ラウンドかつほぼ線形な通信量のビット加算プロトコル
大原 一真,鈴木 幸太郎,米山 一樹,太田 和夫.
暗号と情報セキュリティシンポジウム2013(SCIS2013),1D2-4,2013年.t人結託耐性を有する第一価格オークションプロトコルに対する情報理論的解析
岩本 貢,大原 一真,坂井 祐介,太田 和夫
暗号と情報セキュリティシンポジウム2013(SCIS2013),4D1-2,2013年.情報理論的に安全なFirst-Priceオークションプロトコル
大原 一真,坂井 祐介,岩本 貢,太田 和夫.
暗号と情報セキュリティシンポジウム2012(SCIS2012),4A1-3,2012年.
プレプリント
How to Make a Secure Index for Searchable Symmetric Encryption, Revisited
Yohei Watanabe, Takeshi Nakai, Kazuma Ohara, Takuya Nojima, Yexuan Liu, Mitsugu Iwamoto, Kazuo Ohta.
IACR Cryptol. ePrint Arch. 2021: 948 (2021).Generalizing the SPDZ Compiler For Other Protocols
Toshinori Araki, Assi Barak, Jun Furukawa, Marcel Keller, Yehuda Lindell, Kazuma Ohara, Hikaru Tsuchida.
IACR Cryptol. ePrint Arch. 2018: 762 (2018)Shortening the Libert-Peters-Yung Revocable Group Signature Scheme by Using the Random Oracle Methodology
Kazuma Ohara, Keita Emura, Goichiro Hanaoka, Ai Ishida, Kazuo Ohta, Yusuke Sakai.
IACR Cryptol. ePrint Arch. 2016: 477 (2016)High-Throughput Semi-Honest Secure Three-Party Computation with an Honest Majority
Toshinori Araki, Jun Furukawa, Yehuda Lindell, Ariel Nof, Kazuma Ohara.
IACR Cryptol. ePrint Arch. 2016: 768 (2016)
招待・依頼講演
Optimized Honest-Majority MPC for Malicious Adversaries - Breaking the 1 Billion-Gate Per Second Barrier
Workshop on Cryptographic Technologies for Securing Network Storage and Their Mathematical Modeling, June 13, 2017.High-Throughput Semi-Honest Secure Three-Party Computation with an Honest Majority
第10回公開鍵暗号の安全な構成とその応用ワークショップ,2017年2月28日.A Compact Revocable Group Signature Scheme with Scalability
International Workshop on Security 2014 (IWSEC 2014), August 27, 2014.Group Signature with Unbounded Message-Dependent Opening
Compview暗号理論ワークショップ2013,2013年2月21日.情報理論的に安全な2つのオークション方式について
Compview暗号理論ワークショップ2012,2012年2月21日.
口頭・ポスター発表
How to Choose Suitable Secure Multiparty Computation Using Generalized SPDZ
Toshinori Araki, Assi Barak, Jun Furukawa, Marcel Keller, Kazuma Ohara, Hikaru Tsuchida
ACM CCS 2018, pp.2198-2200.DEMO: High-Throughput Secure Three-Party Computation of Kerberos Ticket Generation
Toshinori Araki, Assi Barak, Jun Furukawa, Yehuda Lindell, Kazuma Ohara
ACM CCS 2016, pp.1841-1843.An t-Resilient Unconditionally Secure First-Price Auction Protocol
Kazuma Ohara, Yusuke Sakai, Mitsugu Iwamoto, Kazuo Ohta
International Workshop on Security 2012 (IWSEC 2012).
講義
先端暗号技術入門~量子コンピュータと共に変容する暗号技術の基礎と応用、開発課題~ R2「秘密計算」
神奈川県立産業技術総合研究所(オンライン開催),2020年10月.
解説・総説
秘密分散法を用いた秘密計算
システム制御情報学会誌「システム/制御/情報」プライバシー保護データマイニング特集号,Vol.63,No.2,2019.
受賞・表彰等
2011年度 電気通信大学 目黒会賞 (2011.03)
SCIS2014 論文賞 (2014.01)
ACM CCS2016 Best Paper Award (2016.10)
CSS2019 奨励賞 (2019.10)
CSS2020 奨励賞 (2020.10)
CSS2022 優秀論文賞 (2022.10)