論文一覧

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

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

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

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

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

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

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

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

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

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

PDF ポスター