Naoki MATSUMOTO
基本情報
- 松本 直樹(まつもと なおき)
- Twitter: @PiBVT
- GitHub: naoki9911
- Keybase: pibvt
- Blog (tech): 外部記憶装置
- Blog (for diary): 外部補助記憶装置
所属
- 2023年4月～ 京都大学大学院情報学研究科 通信情報システムコース 博士後期課程 (岡部研究室)
- 2021年4月～ 2023年3月京都大学大学院情報学研究科 知能情報学専攻 修士課程 (岡部研究室)
- 2017年4月～ 2021年3月 京都大学工学部情報学科計算機科学コース
- 2014年4月～ 2017年3月 愛媛県立松山東高等学校
職歴
- 2023年10月～ 現在 株式会社 Preferred Networks Part-time Employee
- 2023年4月～ 現在 日本学術振興会 特別研究員(DC1)
- 2020年9月～ 現在 京都大学 ティーチングアシスタント
- 計算機科学実験及び演習3 HW(プロセッサ設計)(2022年4月-2022年8月,2023年4月-2023年7月,2024年4月-2024年6月)
- Basic SecCap PBL演習-M 不正アクセス解析演習(2020年9月,2021年9月,2022年9月,2023年11月)
- 物理学実験(2022年4月-2022年5月)
- コンピュータネットワーク(2021年4月-2021年7月)
- 2023年8月～ 2023年9月 株式会社 Preferred Networks インターン「キャッシュを利⽤した機械学習・深層学習ワークロードの加速」
- 2022年2月 NTT研究所 インターン「コンテナランタイムの実装と評価」
- 2018年4月～ 2023年3月 株式会社 CO-CONV 開発アルバイト
資格等
- 柔道 初段
- 第4級アマチュア無線技士
開発
- sl_on_uefi: UEFI上でSLが走る
- Virtual Secure Platform: 暗号化されたプログラムの実行基盤
- bypass4netns: Rootlessコンテナにおける通信速度の高速化
- MPTCP-Proxy: TCP接続からMPTCP接続への変換プロキシ
- tls13-zig: TLS1.3のZig実装
- d4c: コンテナイメージの差分更新(D4C: Delta updating for Comtainer images)
- meta-fuse-csi-plugin: FUSE 向け汎用 CSI プラグイン
論文等
論文誌
- Naoki Matsumoto, Daisuke Kotani and Yasuo Okabe, D4C: Fast and Efficient Container Image Updating for Edge with Delta Encodings, IEICE Transactions on Communications, Accepted, Early Access
- Naoki Matsumoto, Daisuke Kotani and Yasuo Okabe, CREBAS: Enabling Network Access Control in a Home with One Click, Journal of Information Processing, 2023, Volume 31, pp. 174-184.
国際会議(査読有り)
- 〇Naoki Matsumoto and Akihiro Suda, bypass4netns: Accelerating TCP/IP Communications in Rootless Containers, Asian Internet Engineering Conference (AINTEC 2024), Sydney, August 2024. paper, slide
- 〇Naoki Matsumoto, Daisuke Kotani and Yasuo Okabe, Efficient Container Image Updating in Low-bandwidth Networks with Delta Encoding, 11th IEEE International Conference on Cloud Engineering (IC2E 2023), Boston, September 2023. paper, slide
- 〇Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga and Kohei Suenaga, Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption, 34th International Conference on Computer Aided Verification(CAV 2022), August 2022.
- 〇Naoki Matsumoto, Daisuke Kotani and Yasuo Okabe, Capability Based Network Access Control for Smart Home Devices, The 2022 International Workshop on Pervasive Information Flow (PerFlow'22), pp.551-556, Online, March 2022. slide
- 〇Kotaro Matsuoka, Ryotaro Banno, Naoki Matsumoto, Takashi Sato and Song Bian, Virtual Secure Platfrom: A Five-Stage Pipeline Processor over TFHE, 30th USENIX Security Symposium, August 2021.
国内会議(査読なし)
- 〇松本 直樹, 川西 智也, 大平 健司, 小塚 真啓, 解析処理単位の認可および監査に基づく柔軟なデータ流通処理基盤の提案, 第16回データ工学と情報マネジメントに関するフォーラム(DEIM 2024), T2-B-2-03, 2024年2月.
- 〇松本 直樹, 小谷 大祐, 岡部 寿男, バイナリ差分を用いたコンテナイメージ更新の高速化, 信学技報, vol. 122, no. 359, IA2022-70, pp. 14-21, 2023年1月.
- 〇Naoki Matsumoto, Akihiro Suda, Accelerating TCP/IP Communications in Rootless Containers by Socket Switching. 研究報告システムソフトウェアとオペレーティング・システム（OS）, 2022-OS-156 pp. 1-7, SWoPP2022(海峡メッセ下関), 2022年7月. paper(copyright notice),slide
- 〇橋詰 陽太, 古川 修平, 松本 直樹, 伴野 良太郎, 松岡 航太郎, 佐藤 高史, 完全準同型暗号における BNN を用いた高速な秘匿推論手法の実装と評価. 情報処理学会第84回全国大会, 5ZC-04, vol. 3, pp.505-506, 2022年3月.
- 〇伴野 良太郎, 松岡 航太郎, 松本 直樹, Bian Song, 和賀 正樹, 末永 幸平, 完全準同型暗号を用いた秘匿LTLオンラインモニタリング, Computer Security Symposium 2021, 2021年10月
- 〇松本 直樹, 小谷 大祐, 岡部 寿男, Capabilityモデルに基づくスマートホームデバイスのネットワークアクセス制御, マルチメディア、分散、協調とモバイル(DICOMO2021)シンポジウム, pp.1498-1508, 2021年6月.
- 〇松本 直樹, 小谷 大祐, 岡部 寿男, ホームネットワークにおけるCapabilityに基づくユーザー主体の認可及びアクセス制御, 信学技報, vol. 120, no. 381, IA2020-48, pp. 85-92, 2021年3月.
Pre-print
- Naoki Matsumoto and Akihiro Suda, bypass4netns: Accelerating TCP/IP Communications in Rootless Containers, arXiv, Feburary 2024
その他
- Naoki MATSUMOTO, D4C: Leveraging Delta Encodings for Faster and Lighter Container Image Updating, FOSDEM2025, February 2025.slide
- 松本 直樹, 詳解 bypass4netns: Rootless Container Network の仕組みと高速化, Container Runtime Meetup #6, 2024年12月.slide
- 松本 直樹, TLS 1.3 で学ぶ暗号技術, 情報科学若手の会春の陣2023, 2023年3月.slide
- 松本 直樹, 伴野 良太郎, 暗号化したプログラムを復号せず実行できるプラットフォーム VSP の開発, セキュリティ・キャンプフォーラム2022, 2022年3月.
- 松本 直樹, 丸山 伸, 高負荷環境にも対応するTFTPサーバの実装, 第45回インターネット技術第163委員会研究会(ITRC meet45), 2019年5月.
- 森村 吉貴, 渥美 紀寿, 元木 環, 古村 隆明, 中井 大介, 松本 直樹, 岡本 康洋, 松本 宗一郎, 江﨑 文俊, 中澤 和紀, 学生参与型プロトタイピングを導入した教務用スマホアプリ開発, 大学ICT推進協議会2017年度年次大会, 2017年12月.
受賞
- AINTEC 2024 Best Paper Award, Naoki Matsumoto and Akihiro Suda, bypass4netns: Accelerating TCP/IP Communications in Rootless Containers, August 2024.
- 2022年度インターネットアーキテクチャ研究会 最優秀研究賞, 2023年6月
- 2022年度インターネットアーキテクチャ研究会 学生研究奨励賞, 2023年1月.
- 情報処理学会 OS研究会 優秀若手発表賞, 松本直樹, 須田 瑛大, Accelerating TCP/IP Communications in Rootless Containers by Socket Switching, 2022年7月
- 情報処理学会 2022年度（令和4年度）山下記念研究賞, 2022年.
- CSS 2021 優秀論文賞, PWS 2021 優秀論文賞, 伴野 良太郎, 松岡 航太郎, 松本 直樹, Bian Song, 和賀 正樹, 末永 幸平, 完全準同型暗号を用いた秘匿LTLオンラインモニタリング, 2021年10月.
- 情報処理学会 DICOMO2021シンポジウム ヤングリサーチャー賞, 2021年6月.
- 第16回 情報危機管理コンテスト 文部科学大臣賞, 京都大学 PandA 5号館 (畠山 昂大, 林 和幸, 松本 直樹), 2021年5月.
- 2020年度インターネットアーキテクチャ研究会 学生研究奨励賞, 2021年3月.
実績
- 令和2年度 京都大学総長賞(バーチャルセキュアプラットフォーム開発チーム)
- 令和元年度 京都大学総長賞(京大機械研究会)
- 2019年度 IPA 未踏IT人材発掘・育成事業 スーパークリエータ認定
- 2019年 Asia-Pacific Robot Contest(ABU Robocon) ベスト8(京大機械研究会)
- 2019年度 工学部長特別賞(京大機械研究会)
- 2019年 NHK学生ロボコン優勝(京大機械研究会)
その他活動
- Interop Tokyo 2022 ShowNet STM
- セキュリティ・キャンプ 全国大会 2021 Lトラック 準同型暗号アプリケーション開発ゼミ 講師(講義資料)
- セキュリティ・キャンプ 全国大会 2020 チューター
- 2019年度 IPA 未踏IT人材発掘・育成事業「準同型暗号によるバーチャルセキュアプラットフォームの開発」採択
- セキュリティ・キャンプ 全国大会 2018 参加, 2018年8月
- セキュリティ・ミニキャンプ in 兵庫 2018 参加, 2018年5月