Recent Publications

📝 All Publications

Reima Ishii, Takaaki Fukai, Takahiro Shinagawa (2026). NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines. EuroSys 2026.

PDF Project DOI

Momoko Shiraishi, Yinzhi Cao, Takahiro Shinagawa (2026). SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence. ICSE 2026.

PDF Project DOI

Katsunori Aoki, Takahiro Shinagawa (2025). Sagitta: Facilitating Post-Fuzzing Root Cause Analysis via Data Flow Differencing. ACSAC 2025.

Guojun Wu, Keisuke Iida, Satoru Takekoshi, Takahiro Shinagawa (2025). Toward Process-Level TEEs with OS Compatibility and Minimal TCB. In SOSP 2025.

PDF Project Poster

Satoru Takekoshi, Manami Mori, Takaaki Fukai, Takahiro Shinagawa (2025). BadAML: Exploiting Legacy Firmware Interfaces to Compromise Confidential Virtual Machines. ACM CCS 2025.

Luhao Liu, Maximilian Jakob Heer, Takahiro Shinagawa, Gustavo Alonso (2025). Shinano: A Heterogeneous Application-Specific TLB Architecture for Streaming Accelerators. DIMES ‘25.

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.

Keisuke Iida, Takahiro Shinagawa (2025). Toward Hardware-Assisted Kernel-Bypass Data Movement and Transfer. In OSDI 2025.

PDF Project Poster

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.

PDF Project Poster