Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2025/12/01 Vol. E108-DNo. 12pp. 1484-1495 Type of Manuscript: Special Section PAPER (Special Section on Information and Communication System Security) Category: Keyword: ARM TrustZone, trusted execution environment, microkernel, trusted computing,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2024/03/01 Vol. E107-DNo. 3pp. 245-256 Type of Manuscript: Special Section PAPER (Special Section on Empirical Software Engineering) Category: Keyword: Linux kernel, memory safety, undefined behavior, memory reclamation component, Rust,