最近の研究発表

📝 全ての研究発表

白石 桃子, Yinzhi Cao, 品川 高廣 (2026). PILOT: Command-line Interface Fuzzing via Path-Guided, Iterative Large Language Model Prompting. IEEE S&P 2026.

引用 arXiv

石井 玲真, 深井 貴明, 品川 高廣 (2026). NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines. EuroSys 2026.

引用 DOI arXiv

白石 桃子, Yinzhi Cao, 品川 高廣 (2026). SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence. ICSE 2026.

引用 DOI arXiv

青木 克憲, 品川 高廣 (2025). Sagitta: Facilitating Post-Fuzzing Root Cause Analysis via Data Flow Differencing. ACSAC 2025.

引用 スライド DOI

呉 国駿, 飯田 圭祐, 竹腰 開, 品川 高廣 (2025). Toward Process-Level TEEs with OS Compatibility and Minimal TCB. SOSP 2025.

Poster Abstract

竹腰 開, Manami Mori, 深井 貴明, 品川 高廣 (2025). BadAML: Exploiting Legacy Firmware Interfaces to Compromise Confidential Virtual Machines. ACM CCS 2025.

引用 スライド DOI

刘 璐豪, Maximilian Jakob Heer, 品川 高廣, Gustavo Alonso (2025). Shinano: A Heterogeneous Application-Specific TLB Architecture for Streaming Accelerators. DIMES ‘25.

DOI

中島 諒, 品川 高廣 (2025). vRM: Verifying Reference Monitors via Exhaustive Access Pattern Generation. COMPSAC 2025.

スライド DOI

白石 桃子, 品川 高廣 (2025). Hardware Authenticator Binding: A Secure Alternative to Passkeys. COMPSAC 2025.

DOI

飯田 圭祐, 品川 高廣 (2025). Toward Hardware-Assisted Kernel-Bypass Data Movement and Transfer. OSDI 2025.

Poster Abstract

飯田 圭祐, 品川 高廣 (2025). 専用ハードウェアエンジンによるカーネル内メモリ操作オフロード. 2025年5月OS研究発表会.

研究報告

竹腰 開, Manami Mori, 深井 貴明, 品川 高廣 (2024). AML Injection Attacks on Confidential VMs. Black Hat Europe 2024.

Slide Video

中島 諒, 品川 高廣 (2024). SMTソルバを用いたアクセスパターンの網羅的生成による参照モニタの容易な形式検証. ComSys 2024.

PDF

江 松穎, Ryo Hayashi, Masanori Misono, 品川 高廣 (2024). Toward NUMA-aware Multi-VM Cooperative Resource Scheduling. In APSys 2024.

Abstract

白石 桃子, 品川 高廣 (2024). Toward LLM-based Large-scale C-to-Rust Code Translation. In APSys 2024.

Abstract

上野 清雅, 品川 高廣 (2024). Toward Efficient Fuzzing for Container Escape Vulnerability Detection. In APSys 2024.

Abstract

寳代 晋太郎, 品川 高廣 (2024). Toward A Secure and Highly Available Credit Card Payment Scheme with Trusted Execution Environments. In APSys 2024.

Abstract

寳代 晋太郎, 品川 高廣 (2024). TEEを用いた安全かつ可用性の高いクレジットカード決済スキームの実現. SWoPP 2024.

研究報告

中島 諒, 品川 高廣 (2024). Toward Efficient Formal Verification of Reference Monitors for Isolated Execution. EuroSys 2024.

Poster Abstract