Card-Based Zero-Knowledge Proof Protocols for Graph Problems and Their Computational Model. - Daiki Miyahara; Hiromichi Haneda; Takaaki Mizuki (ProvSec, 2021)

Crystalor: Persistent Memory Encryption Mechanism with Optimized Metadata Structure and Fast Crash Recovery. - Rei Ueno; Hiromichi Haneda; Naofumi Homma; Akiko Inoue; Kazuhiko Minematsu (IACR Cryptol. ePrint Arch., 2023)

Crystalor: Recoverable Memory Encryption Mechanism with Optimized Metadata Structure. - Rei Ueno; Hiromichi Haneda; Naofumi Homma; Akiko Inoue; Kazuhiko Minematsu (CCS, 2024)