| 2026 | EuroSys | NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines. | Reima Ishii, Takaaki Fukai, Takahiro Shinagawa |
| 2026 | SP | PILOT: Command-Line Interface Fuzzing Via Path-Guided, Iterative Large Language Model Prompting. | Momoko Shiraishi, Yinzhi Cao, Takahiro Shinagawa |
| 2025 | ACSAC | Sagitta: Facilitating Post-Fuzzing Root Cause Analysis via Data Flow Differencing. | Katsunori Aoki, Takahiro Shinagawa |
| 2025 | CCS | BadAML: Exploiting Legacy Firmware Interfaces to Compromise Confidential Virtual Machines. | Satoru Takekoshi, Manami Mori, Takaaki Fukai, Takahiro Shinagawa |
| 2025 | COMPSAC | vRM: Verifying Reference Monitors via Exhaustive Access Pattern Generation. | Ryo Nakashima, Takahiro Shinagawa |
| 2025 | COMPSAC | Hardware Authenticator Binding: A Secure Alternative to Passkeys. | Momoko Shiraishi, Takahiro Shinagawa |
| 2023 | OSDI | ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities. | Vasily A. Sartakov, Llus Vilanova, Munir Geden, David M. Eyers, Takahiro Shinagawa, Peter R. Pietzuch |
| 2023 | USENIX | Translation Pass-Through for Near-Native Paging Performance in VMs. | Shai Bergman, Mark Silberstein, Takahiro Shinagawa, Peter R. Pietzuch, Llus Vilanova |
| 2022 | COMPSAC | Exploring Optimal Deep Learning Models for Image-based Malware Variant Classification. | Rikima Mitsuhashi, Takahiro Shinagawa |
| 2022 | OSDI | CAP-VMs: Capability-Based Isolation and Sharing in the Cloud. | Vasily A. Sartakov, Llus Vilanova, David M. Eyers, Takahiro Shinagawa, Peter R. Pietzuch |
| 2022 | SAC | DMAFV: testing device drivers against DMA faults. | Masanori Misono, Toshiki Hatanaka, Takahiro Shinagawa |
| 2022 | SAC | Deriving optimal deep learning models for image-based malware classification. | Rikima Mitsuhashi, Takahiro Shinagawa |
| 2022 | UCC | LLLFS: A Low-latency Library File System for Persistent Memory. | Keiichi Matsuzawa, Takahiro Shinagawa |
| 2021 | CCS | POSTER: OS Independent Fuzz Testing of I/O Boundary. | Masanori Misono, Takahiro Shinagawa |
| 2021 | IC2E | Short Paper: Highly Compatible Fast Container Startup with Lazy Layer Pull. | Shotaro Gotanda, Takahiro Shinagawa |
| 2020 | CCGRID | Multi-resource Low-latency Cluster Scheduling without Execution Time Estimation. | Hidehito Yabuuchi, Takahiro Shinagawa |
| 2020 | VEE | A robust and flexible operating system compatibility architecture. | Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden |
| 2018 | CloudCom | FaultVisor2: Testing Hypervisor Device Drivers Against Real Hardware Failures. | Masanori Misono, Masahiro Ogino, Takaaki Fukai, Takahiro Shinagawa |
| 2018 | DASC | Distributed Denial of Service Attack Prevention at Source Machines. | Masanori Misono, Kaito Yoshida, Juho Hwang, Takahiro Shinagawa |
| 2018 | SAC | Unified hardware abstraction layer with device masquerade. | Iori Yoneji, Takaaki Fukai, Takahiro Shinagawa, Kazuhiko Kato |
| 2018 | SYSTOR | The Quick Migration of File Servers. | Keiichi Matsuzawa, Mitsuo Hayasaka, Takahiro Shinagawa |
| 2017 | CloudCom | BMCArmor: A Hardware Protection Scheme for Bare-Metal Clouds. | Takaaki Fukai, Satoru Takekoshi, Kohei Azuma, Takahiro Shinagawa, Kazuhiko Kato |
| 2017 | CloudCom | VM-Aware Adaptive Storage Cache Prefetching. | Keiichi Matsuzawa, Takahiro Shinagawa |
| 2016 | SAC | Testing device drivers against hardware failures in real environments. | Satoru Takekoshi, Takahiro Shinagawa, Kazuhiko Kato |
| 2015 | ASPLOS | Improving Agility and Elasticity in Bare-metal Clouds. | Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato |
| 2015 | UCC | OS-Independent Live Migration Scheme for Bare-Metal Clouds. | Takaaki Fukai, Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato |
| 2012 | SAC | Hypervisor-based background encryption. | Yushi Omote, Yosuke Chubachi, Takahiro Shinagawa, Tomohiro Kitamura, Hideki Eiraku, Katsuya Matsubara |
| 2012 | SAC | Detecting malware signatures in a thin hypervisor. | Yoshihiro Oyama, Tran Truong Duc Giang, Yosuke Chubachi, Takahiro Shinagawa, Kazuhiko Kato |
| 2010 | COMPSAC | Using a Hypervisor to Migrate Running Operating Systems to Secure Virtual Machines. | Tsutomu Nomoto, Yoshihiro Oyama, Hideki Eiraku, Takahiro Shinagawa, Kazuhiko Kato |
| 2010 | SAC | Hypervisor-based prevention of persistent rootkits. | Yosuke Chubachi, Takahiro Shinagawa, Kazuhiko Kato |
| 2009 | VEE | BitVisor: a thin hypervisor for enforcing i/o device security. | Takahiro Shinagawa, Hideki Eiraku, Kouichi Tanimoto, Kazumasa Omote, Shoichi Hasegawa, Takashi Horie, Manabu Hirano, Kenichi Kourai, Yoshihiro Oyama, Eiji Kawai, Kenji Kono, Shigeru Chiba, Yasushi Shinjo, Kazuhiko Kato |
| 2008 | APSCC | Introducing Role-Based Access Control to a Secure Virtual Machine Monitor: Security Policy Enforcement Mechanism for Distributed Computers. | Manabu Hirano, Takahiro Shinagawa, Hideki Eiraku, Shoichi Hasegawa, Kazumasa Omote, Kouichi Tanimoto, Takashi Horie, Kazuhiko Kato, Takeshi Okuda, Eiji Kawai, Suguru Yamaguchi |
| 2006 | SRDS | SegmentShield: Exploiting Segmentation Hardware for Protecting against Buffer Overflow Attacks. | Takahiro Shinagawa |