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.

ネットワーク・ライブラリ群の安定化: 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パイプラインへ効率よく対応するための機構を組み込んだ。フロー制御の仕組みを刷新した