profile

1997/3 京都大学大学院理学研究科数学・数理解析専攻博士課程前期修了
2001/3 同大学院博士課程後期単位取得退学
2001/4 株式会社ピクセラ入社
2004/10 ユーテンネットワークス株式会社入社
2007/7 サイボウズ・ラボ株式会社入社

Xbyak C++用のx86/x64 JITアセンブラ
mcl ペアリングライブラリ (mcl-wasm : WebAssembly版)
bls BLS署名ライブラリ
she-wasm L2準同型暗号のWebAssembly実装

2024 Ethereum ESP retroactive grant獲得 : mcl/bls Library
2024 Ethereum ESP grant獲得 : Faster Scalar Multiplication of Elliptic Curves Using AVX-512
2024 Google Open Source Peer Bonus受賞
2023 Optimism (Layer 2 blockchain on Ethereum) grant獲得
2016年～2023年Microsoft MVP Visual Studio and Development Technologies受賞
2019年Ethereum Foundation grant for a super-fast BLS implementation
2018年CSS2018最優秀デモンストレーション賞受賞
2015年Microsoft MVP Developer Security受賞
2010年度電子情報通信学会(IEICE) 論文賞受賞
2005年情報化月間推進会議議長表彰グレブナー計算プログラム
2004年IPA未踏ソフトウェア創造事業天才プログラマー・スーパークリエータ認定
2000年度オンラインソフトウェア大賞受賞
1999年度窓の杜金賞受賞

『Binary Hacks Rebooted』O'Reilly 2024 寄稿
『Software Design 2022年3月号』「第4章：電子署名のプロセスを体験 Pythonによる楕円曲線暗号の実装」技術評論社 2022
『図解即戦力暗号と認証のしくみと理論がこれ1冊でしっかりわかる教科書』技術評論社 2021
『パターン認識と機械学習の学習普及版』暗黒通信団 2017
『クラウドを支えるこれからの暗号技術』秀和システム 2015
『応用数理ハンドブック』楕円曲線暗号, ペアリング暗号の項目担当朝倉書店 2013
『パターン認識と機械学習の学習』 PDF 暗黒通信団 2012
『Javaによるアルゴリズム事典』共著技術評論社 2003

初期(1999〜)のペアリング暗号, IDベース暗号. それからプロトコルには欠陥があったけどそこで示した定理とアイデアは画期的だったと思ってる"A New Traitor Tracing."
吉田真紀さんとの共同研究によるもの:
- 2002年に締め切りが迫って苦し紛れにベクトル分解問題(VDP)というものを考えたら(Inseparable Multiplex Transmission Scheme Using the Pairing on Elliptic Curves), 意外と継続研究があったりしてその後, 結果としてIEICEの2010年度論文賞を頂いた.
- タイムカプセル暗号
  2004年9月にweb上でアルゴリズムと実装を公開したのが最初. IPAの何かで少し話した.
  2010年はNTT, 東大主導によるトライアル共同実験. SCIS 2011でもデモブース出した.
実装系
η_TペアリングやBN曲線上のoptimal ateペアリングなどの実装をいろいろ.
2013年頃からLifted ElGamal暗号関係, バックアップシステムWalBなど.

査読付き国際会議・論文・ポスター

Z.Song, J Sakamoto, S. Mitsunari, R. Anzai, N. Yoshida, T. Matsumoto, Efficient Software Implementation of GMT-672 and GMT8-542 Pairing-Friendly Curves for a 128-bit Security Level, 3rd ACNS Workshop on Secure Cryptographic Implementation, 2022
K. Kawakami, S. Mitsunari, K. Kurihara, K. Matsuda, M. Yamazaki, F. Yamada, T. Tabaru, K. Yokoyama, Just-In-Time Code Fusion of Unary Mathematical Calculation for Supercomputer Fugaku, Poster, COOL Chips 25, 2022
N. Attrapadung, G. Hanaoka, S. Mitsunari, Y. Sakai, K. Shimizu, T. Teruya, Efficient Two-level Homomorphic Encryption in Prime-order Bilinear Groups and A Fast Implementation in WebAssembly, ASIACCS 2018
K. Shimizu, K. Nuida, H. Arai, S. Mitsunari, N. Attrapadung, M Hamada, K. Tsuda, T. Hirokawa, J. Sakuma, G. Hanaoka, K. Asai, Privacy-preserving search for chemical compound databases, BMC Bioinformatics 2015
MS Officeファイル暗号化のマスター鍵を利用したバックドアとその対策, CODE BLUE 2015
Backdooring MS Office documents with secret master keys, 台湾HITCON 2015 Community
Software implementation of an Attribute-Based Encryption scheme, IEEE Transactions on Computers, 13 June 2014 [ePrint 2014/401] ソースコード
K. Shimizu, K. Nuida, H. Arai, S. Mitsunari, N. Attrapadung, M Hamada, K. Tsuda, T. Hirokawa, J. Sakuma, G. Hanaoka, K. Asai, An efficient privacy-preserving similarity search protocol for chemical compound databases, CBRC2013
J. Beuchat, J. González-Díaz, S. Mitsunari, E. Okamoto, F. Rodríguez-Henríquez, T. Teruya, High-Speed Software Implementation of the Optimal Ate Pairing over Barreto-Naehrig Curves, Pairing2010, LNCS 2010, vol. 6487, pp.21-39(2010)
M. Yoshida, S. Mitsunari and T. Fujiwara, The Vector Decomposition Problem, IEICE Trans. Fundamentals, Vol. E93-A, No.1, pp.188-193(2010-01)
J. Beuchat, E. López-trejo, L. Martínez-ramos, S Mitsunari, F. Rodríguez-henríquez, Multi-core implementation of the Tate pairing over supersingular elliptic curves, CANS2009, LNCS 5888(2009)
M. Yoshida, S. Mitsunari and T. Fujiwara, A Timed-Release Key Management Scheme for Backward Recovery, Proc. of the 8th Annual ICISC2005, LNCS 3935, pp.3-14(2005-12)
M. Yoshida, S. Mitsunari, T. Fujiwara, "Time-Capsule Encryption," IEICE Technical Report, ISEC2004-98 (2004-12)
S. Mitsunari, R. Sakai and M. Kasahara, A new traitor tracing, IEICE Trans. Fundamentals, Vol. E85-A, No.2, pp.481-484(2002)

その他の活動

2023 Open Source Cryptography Workshop 招待講演
2016～2022/3 情報セキュリティ研究会専門委員
2016～2021 Special Section on Cryptography and Information Security:Guest Associate Editors
2015～現在 SC22/C++WG小委員会準賛助委員
2008～現在「数論アルゴリズムとその応用」研究部会 JANT 幹事
2008～2015 SC22/C++WG小委員会アドバイザ
Implementing pairing-based protocols(Pairing2013)
A Fast Implementation of the Optimal Ate Pairing over BN curve on Intel Haswell Processor [ePrint 2013/362]
2013年類似化合物のプライバシ保護検索を行うための効率的なプロトコル
2008年 F_3⁹⁷上のη_Tペアリングの最速実装(very fast etaT pairing for Core 2 Duo)
2005年 Toyocrypt解読に従事(IPA)

クラウド時代の暗号化技術論 @IT 2015

Effective Modern C++勉強会主催
x86/x64最適化勉強会主催

x86/x64の最適化大好き面白いこと大好き
画像, 動画, 音声コーデックなどの高速な実装いろいろ
- mp3 encoder@IA-32, ARM
- mp3 decoder, MPEG4 video decoder@TI DSP
- 某非可逆音声圧縮@IA-32, PowerPC
- 某可逆音声圧縮@IA-32
- MPEG1, MPEG2 video encoder/decoder@IA-32
- 3DES, JPEG@DAPDNA
組み込みLinux(IPL周り含む)@MIPS
webサーバ(高速データ圧縮, 画像リダクション)アクセラレータ@Windows
BMLブラウザ@Windows
libpcapアクセラレータ GigaPcap

Profile