IIJ技術研究所

メンバー：山本和彦

カテゴリー: Underpinning

概要

プログラミング言語Haskellを用いて、さまざまなネットワークプロトコルを実装し、相互接続性を検証している。

ポジションペーパー：Network Protocol Programming in Haskell, ACM SIGCOMM 2017 The Third Workshop on Networking and Programming Languages (NetPL 2017)
ソフトウェア：network, warp, tls, http2, http2-tls, quic, http3
QUICをゆっくり解説, IIJ エンジニアブログ, 2021〜2022.
HaskellによるQUICの実装, Internet Infrastructure Review（IIR）Vol.52, 2021.
TLS 1.3の標準化と実装, IIJ エンジニアブログ, 2018.
TLSの動向, Internet Infrastructure Review（IIR）Vol.31, 2016.
Exploring HTTP/2 Header Compression, Kazuhiko Yamamoto, Tatsuhiro Tsujikawa and Kazuho Oku. In Proceedings of CFI 2017, the 12th Internatinal Conference on Future Internet Technologies.
Experience Report: Developing High Performance HTTP/2 Server in Haskell, Kazuhiko Yamamoto. In Proceedings of Haskell Symposium 2016.
Mio: A High-Performance Multicore IO Manager for GHC, Andreas Voellmy, Junchang Wang, Paul Hudak and Kazuhiko Yamamoto. In Proceedings of Haskell Symposium 2013.

http2 サーバ・アーキテクチャの刷新: ストリーミングの際に大量に軽量スレッドを利用する問題を解決すると同時に、コードを簡潔にした。またそれに関して、ブログ記事を書いた
quic サーバアーキテクチャの刷新: コネクト済ソケット方式をやめて、ワイルドカードソケットを用いるように変更し、中間に頻繁にポートを変更するNATが存在しても通信を可能とした。またそれに関して、ブログ記事を書いた

ネットワーク・ライブラリ群の安定化: tls/http2/http2-tls/quic/http3ライブラリに実装しているデバッグツールの機能を統一し、網羅的なテストを可能とした。このテストで新たに発見した複数のバグと、DNS への応用の際に発見したバグを取り、安定化させた
TLSの複数チケットへの対応: 複数のチケットを送ってくるTLSサーバに対応し、セッションの再開を安定化させた。その際発見した0-RTTのバグも修正した

tls ライブラリの0-RTT：ハンドシェイクの実装を非同期化し、クライアント側が送信する0-RTTデータを動的に決定可能にした。DNS over TLSで0-RTTを使用し、実用性を確かめた
quic ライブラリの安定化：New Connection ID フラッド攻撃へ対処した。DNSover QUICで0-RTTを使用し、実用性を確かめた

tls ライブラリ：大幅リファクタリング、TLS 1.0/1.1を削除、CBC暗号スイートを削除、テストの洗練化、channel binding の実装
tls-session-manager ライブラリ：セッションチケット方式を実装した
network-control ライブラリ：フロー制御の共通部分を抽出しライブラリとしてリリースした
quic ライブラリ：フロー制御の仕組みを刷新した。Path Challengeフラッド攻撃へ対処した
http2 ライブラリ：HTTP/2 rapid reset 攻撃へ対処した。DNSパイプラインへ効率よく対応するための機構を組み込んだ。フロー制御の仕組みを刷新した