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 Project 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 Project 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 …
Project
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 Project Poster
Toward Efficient Fuzzing for Container Escape Vulnerability Detection
In recent years, container technology has gained popularity due to its resource efficiency and suitability for cloud-native …
PDF Project
Toward LLM-based Large-scale C-to-Rust Code Translation
Rust is gaining attention as a language that is more memory-safe compared to C, and there is a strong motivation to convert existing C …
PDF Project
Toward NUMA-aware Multi-VM Cooperative Resource Scheduling
The rapid growth of data-intensive applications has significantly increased the demand for memory capacity, driving the widespread …
PDF Project