Recent Publications

📝 All Publications

Momoko Shiraishi, Yinzhi Cao, Takahiro Shinagawa (2026). PILOT: Command-line Interface Fuzzing via Path-Guided, Iterative Large Language Model Prompting. IEEE S&P 2026.

Cite arXiv

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

Cite DOI arXiv

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.

Cite DOI arXiv

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

Cite Slides DOI

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

Poster Abstract

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

Cite Slides DOI

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

DOI

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

Slides DOI

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

DOI

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

Poster Abstract

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

Slide Video

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

Abstract

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

Abstract

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

Abstract

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

Abstract

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

Poster Abstract