CREST

NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines
Nested virtualization is now widely supported by major cloud vendors, allowing users to leverage virtualization-based technologies in …
PDF プロジェクト DOI
SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
Memory safety vulnerabilities remain prevalent in today’s software systems and one promising solution to mitigate them is to adopt …
PDF プロジェクト DOI
Sagitta: Facilitating Post-Fuzzing Root Cause Analysis via Data Flow Differencing
Fuzzing is an effective technique to discover software vulnerabilities by automatically generating large volumes of inputs that may …
プロジェクト
Toward Hardware-Assisted Kernel-Bypass Data Movement and Transfer
Modern datacenters spend a significant amount of CPU time on simple but frequent data movement operations such as memory copying, …
PDF プロジェクト ポスター
AML Injection Attacks on Confidential VMs
機密仮想マシン（Confidential VM）は、信頼できないクラウド上でホストされた仮想マシン（VM）において、クラウド利用者が自らの機密データを安全に処理できる新技術です。AMD SEV や Intel TDX に代表される CPU ハードウェアを信頼の基点とした …
プロジェクト スライド
AML Injection Attacks on Confidential VMs
Toward A Secure and Highly Available Credit Card Payment Scheme with Trusted Execution Environments
キャッシュレス決済への世界的な移行が加速しており、クレジットカードはその利便性から依然として人気が高い。しかし、現在のクレジットカード決済システムには、認証プロセス中にカードデータがプレーンテキストで送信されるためのセキュリティリスク、リレーセンターの障害によるシステム …
PDF プロジェクト
Toward Efficient Fuzzing for Container Escape Vulnerability Detection
近年、コンテナ技術はそのリソース効率とクラウドネイティブアプリケーションへの適合性により注目を集めている。しかし、コンテナはOSカーネルを共有するため、隔離機構に欠陥が生じた際にコンテナエスケープ攻撃に対する脆弱性を抱えており、これが不正アクセスやセキュリティ侵害を引き …
PDF プロジェクト
Toward LLM-based Large-scale C-to-Rust Code Translation
RustはCに比べてメモリ安全性が高い言語として注目を集めており、既存のCプログラムをRustに変換することへの強い動機がある。これまでの研究では、LLMsを用いたコード翻訳が検討されてきたが、数百行のプログラムであってもRustコードを正常にコンパイルすることが困難で …
PDF プロジェクト
Toward NUMA-aware Multi-VM Cooperative Resource Scheduling
データ集約型アプリケーションの急速な成長により、メモリ容量の需要が大幅に増加し、非一様メモリアクセス（NUMA）アーキテクチャの広範な採用が進んでいる。NUMAはメモリ容量とパフォーマンスの面で大きな利点を提供する一方で、特に仮想化環境において、NUMAトポロジがゲスト …
PDF プロジェクト
TEEを用いた安全かつ可用性の高いクレジットカード決済スキームの実現
クレジットカード決済においては，カードを挿入した決済端末からカード発行会社であるイシュアのサーバに対して，決済のたびに決済電文を送信して決済承認判定を依頼する必要がある．しかし現行の決済スキームでは，この決済承認判定手続における決済電文内のカード情報の保護が十分でないと …
PDF プロジェクト