データの利活用を促進するセキュアシステムの証明可能安全性に関する研究

点击翻译按钮获取中文摘要

(1) サーバとブラウザ間でEnd-to-End暗号化通信を行いつつキャッシュサービスを提供する暗号化キャッシュシステムに対し, スケーラブルなアクセス制御を実現する手法を提案し, 国際会議ICISSP2023に採録された. (2) IDベース平文一致確認可能暗号について, 内部攻撃者を考慮した既存方式が非常に強い暗号学的道具立てを用いていたところ, 共通鍵暗号と疑似ランダム置換という非常に弱い暗号学的道具立てから構成可能であることを示し, 論文誌IEICE Transactionsに採録された. (3) 昨年度提案した検索可能暗号を用いたセキュアストレージ・チャットシステムおよびEnd-to-End暗号化を達成するための鍵共有方式について, 国際会議ICEIS2022に採録された. (4) 昨年度提案の検索可能認証暗号システムの一般的構成について, 国際会議ACM APKC 2022に採録された. さらに検索可能認証暗号システムの拡張 (放送型, フォワード安全性, 複数サーバ方式) の一般的構成をそれぞれ提案し, プレプリントサーバに公開した. (5) ブロックチェーンを用いたオークションシステムにおいて, 入札額の上限漏洩を防止した資金拘束型の封印入札オークションを提案し, IEEE Blockchain 2022に採録された. (6) コントラクトウォレットが直接トランザクションを発行するアカウントアブストラクションがプライバシー保護にも有用であることに着目し, プライバシー保護コントラクトウォレットシステムを提案, 国内会議暗号と情報セキュリティシンポジウム (SCIS) にて発表した. (7) 鍵付き準同型暗号を応用した暗号化制御システムを提案し, 国内会議コンピュータセキュリティシンポジウム (CSS) および自動制御連合講演会にて発表した.