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
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