CREST

Toward Efficient Fuzzing for Container Escape Vulnerability Detection
近年、コンテナ技術はそのリソース効率とクラウドネイティブアプリケーションへの適合性により注目を集めている。しかし、コンテナはOSカーネルを共有するため、隔離機構に欠陥が生じた際にコンテナエスケープ攻撃に対する脆弱性を抱えており、これが不正アクセスやセキュリティ侵害を引き …
Abstract
Toward LLM-based Large-scale C-to-Rust Code Translation
RustはCに比べてメモリ安全性が高い言語として注目を集めており、既存のCプログラムをRustに変換することへの強い動機がある。これまでの研究では、LLMsを用いたコード翻訳が検討されてきたが、数百行のプログラムであってもRustコードを正常にコンパイルすることが困難で …
Abstract
Toward NUMA-aware Multi-VM Cooperative Resource Scheduling
データ集約型アプリケーションの急速な成長により、メモリ容量の需要が大幅に増加し、非一様メモリアクセス（NUMA）アーキテクチャの広範な採用が進んでいる。NUMAはメモリ容量とパフォーマンスの面で大きな利点を提供する一方で、特に仮想化環境において、NUMAトポロジがゲスト …
Abstract
TEEを用いた安全かつ可用性の高いクレジットカード決済スキームの実現
クレジットカード決済においては，カードを挿入した決済端末からカード発行会社であるイシュアのサーバに対して，決済のたびに決済電文を送信して決済承認判定を依頼する必要がある．しかし現行の決済スキームでは，この決済承認判定手続における決済電文内のカード情報の保護が十分でないと …
研究報告
Toward Efficient Formal Verification of Reference Monitors for Isolated Execution
With the development of cloud computing, it is becoming increasingly important to enhance security through isolated execution …
Poster Abstract