Publications

Ryo Nakashima, Takahiro Shinagawa (2025). vRM: Verifying Reference Monitors via Exhaustive Access Pattern Generation. COMPSAC 2025.

Momoko Shiraishi, Takahiro Shinagawa (2025). Hardware Authenticator Binding: A Secure Alternative to Passkeys. COMPSAC 2025.

Satoru Takekoshi, Manami Mori, Takaaki Fukai, Takahiro Shinagawa (2024). AML Injection Attacks on Confidential VMs. Black Hat Europe 2024.

Sungying Chiang, Ryo Hayashi, Masanori Misono, Takahiro Shinagawa (2024). Toward NUMA-aware Multi-VM Cooperative Resource Scheduling. In APSys 2024.

Momoko Shiraishi, Takahiro Shinagawa (2024). Toward LLM-based Large-scale C-to-Rust Code Translation. In APSys 2024.

Saiga Ueno, Takahiro Shinagawa (2024). Toward Efficient Fuzzing for Container Escape Vulnerability Detection. In APSys 2024.

Shintaro Hodai, Takahiro Shinagawa (2024). Toward A Secure and Highly Available Credit Card Payment Scheme with Trusted Execution Environments. In APSys 2024.

Ryo Nakashima, Takahiro Shinagawa (2024). Toward Efficient Formal Verification of Reference Monitors for Isolated Execution. In EuroSys 2024.