About
News
Recruit
Member
Blog
Papers
Confs
Access
Light
Dark
Automatic
Takahiro Shinagawa
Latest
Toward A Secure and Highly Available Credit Card Payment Scheme with Trusted Execution Environments
Toward Efficient Fuzzing for Container Escape Vulnerability Detection
Toward LLM-based Large-scale C-to-Rust Code Translation
Toward NUMA-aware Multi-VM Cooperative Resource Scheduling
Toward Efficient Formal Verification of Reference Monitors for Isolated Execution
Cite
×