論文一覧

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

プロジェクト

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

プロジェクト

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

プロジェクト

飯田 圭祐, 品川 高廣 (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 プロジェクト ポスター