Poster

Toward A Secure and Highly Available Credit Card Payment Scheme with Trusted Execution Environments
The global shift toward cashless payments is accelerating, with credit cards remaining popular due to their convenience. However, …
PDF
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
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
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
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 …
PDF Poster