本研究では、マルチパーティセッション型を用いてTCPプロトコルの実装を行い、Rustプログラミング言語でその検証を行った。これにより、セッション型理論をトランスポート層プロトコルに適用する初めての取り組みを示した。
SCTPのセキュリティを厳密な形式手法に基づいて研究し、攻撃合成とパッチ検証を行う。