最近の研究発表

📝 全ての研究発表

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

プロジェクト DOI

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

プロジェクト

竹腰 開, 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.

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

PDF プロジェクト

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

PDF プロジェクト

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

PDF プロジェクト

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

PDF プロジェクト

竹腰 開, Manami Mori, Takaaki Fukai, 品川 高廣 (2024). AML Injection Attacks on Confidential VMs. Black Hat Europe 2024.

プロジェクト スライド

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

PDF

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

PDF プロジェクト

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

PDF プロジェクト

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

PDF プロジェクト

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

PDF プロジェクト

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

PDF プロジェクト

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

PDF プロジェクト ポスター