紛失通信拡張の耐量子安全性のタイトな安全性証明

量子通信路の漸近的可逆性(作用素環論の発展)

厳密な量子多体傷跡状態の構成

算術演算を行う量子回路の構成

量子信頼性函数の補助函数の性質

量子非対称鍵暗号の最適性について

量子計算機に対する暗号の安全性解析