Nagoya Institute of Technology · Faculty of Engineering · 助教

Research keywordsセキュリティ・認証・プライバシー・ネットワーク・Confidentiality・Computer・Control

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• VDDPI: Verifiable Decentralized Data Processing Infrastructure for Data Usage Control and Confidential Data Processing2026 · IEEE Transactions on Dependable and Secure Computing. 23 , 3 , p. 6068-6084 17 p. 研究成果 : ジャーナルへの寄稿 › 記事 › 査読
• PRISM: Provable and Immutable Storage Mechanism with Ethereum-based PDP2026 · Blockchain: Research and Applications. 研究成果 : ジャーナルへの寄稿 › 記事
• Formal Verification of IND-CPA Security of HQC in EasyCrypt2025
• A+Block: Web Security Add-on Service by Just Pointing to Your Website URL2025 · IEICE Transactions on Information and Systems. E108.D , 8 , p. 933-946 14 p. 研究成果 : ジャーナルへの寄稿 › 記事 › 査読

• データ提供者・利用者の相互信頼に基づく分散型データ連携フレームワークの開発
• 分散台帳技術によるメタPKIの構築
• Webサービス間におけるパーソナルデータの流動性を高めるデータ処理基盤の開発

• Official profile