研究発表

公開件数: 28 件
No. 会議種別 タイトル 会議名 開催年月日 URL 概要
1 口頭発表(一般)
LINE Encryption Version 1.0のProVerifによる検証
暗号と情報セキュリティシンポジウム
2017/01


2 口頭発表(一般)
検証可能フォワード安全動的検索可能暗号の改良
暗号と情報セキュリティシンポジウム
2017/01


3 口頭発表(一般)
ビジネスチャットにおけるエンドツーエンド暗号化を実現するためのグループメッセージングプロトコルの提案
暗号と情報セキュリティシンポジウム
2017/01


4 口頭発表(一般)
長期秘密鍵漏洩時の動的多者鍵配布プロトコルにおける後方鍵の安全性について
暗号と情報セキュリティシンポジウム
2017/01


5 口頭発表(一般)
非対話参加可能なIDベース動的多者鍵配布プロトコルの提案とその実装評価
暗号と情報セキュリティシンポジウム
2017/01


6 口頭発表(一般)
通信のメタデータを漏らさないグループ鍵交換
暗号と情報セキュリティシンポジウム
2017/01


7 口頭発表(一般)
ORAMにおけるアクセスタイミングの秘匿について
暗号と情報セキュリティシンポジウム
2017/01


8 口頭発表(一般)
同種写像に基づくUnified Model認証鍵交換プロトコル
暗号と情報セキュリティシンポジウム
2017/01


9 口頭発表(一般)
シグマプロトコルの合成における複製可能性について
暗号と情報セキュリティシンポジウム
2017/01


10 口頭発表(一般)
ストレージ効率のよい検証可能フォワード安全動的検索可能暗号
暗号と情報セキュリティシンポジウム
2017/01


11 口頭発表(一般)
秘匿ブルームフィルタープロトコルの拡張
暗号と情報セキュリティシンポジウム
2017/01


12 口頭発表(一般)
クライアント間の通信なしで安全な検証可能委譲秘匿共通集合演算
暗号と情報セキュリティシンポジウム
2017/01


13 口頭発表(一般)
セキュアビジネスチャットにおけるIDに基づくスケーラブルな動的多者鍵配布プロトコル
暗号と情報セキュリティシンポジウム
2017/01


14 口頭発表(一般)
A Note on Using Sigma Protocols in Cryptographic Protocols
日本応用数理学会2016年度年会
2016/09


15 口頭発表(招待・特別)
セキュリティプロトコル安全性検証の理想と現実
CRYPTRECシンポジウム2016
2016/06


16 口頭発表(一般)
TLSへのLogjam攻撃のProVerifによる形式化と検出
暗号と情報セキュリティシンポジウム
2016/01


17 口頭発表(一般)
乱数暴露に対しても匿名性を保つグループ署名
暗号と情報セキュリティシンポジウム
2016/01


18 口頭発表(一般)
UC安全性を満たす効率的で動的な検索可能暗号
暗号と情報セキュリティシンポジウム
2016/01


19 口頭発表(一般)
RSA問題に基づくIDベース署名における安全性証明の再考
暗号と情報セキュリティシンポジウム
2016/01


20 口頭発表(一般)
冪の上での紛失多項式計算の再考
暗号と情報セキュリティシンポジウム
2016/01


21 口頭発表(一般)
スケーラブルな動的多者鍵配布プロトコル
暗号と情報セキュリティシンポジウム
2016/01


22 口頭発表(一般)
形式検証に向けたQUICの安全性定義の検討
日本応用数理学会2015年度年会
2015/09


23 口頭発表(一般)
ツケ払いに適した楽観的公平交換
暗号と情報セキュリティシンポジウム
2015/01


24 口頭発表(一般)
検証可能暗号化準同型署名
暗号と情報セキュリティシンポジウム
2015/01


25 口頭発表(一般)
PKIベースからIDベース認証鍵交換への一般的変換法
暗号と情報セキュリティシンポジウム
2015/01


26 口頭発表(一般)
UCコミットメントの形式検証による厳密な仮定の導出に向けて
暗号と情報セキュリティシンポジウム
2015/01


27 口頭発表(招待・特別)
チュートリアル:暗号プロトコルの結合可能安全性とその形式検証
日本応用数理学会2014年度年会
2014/09


28 口頭発表(一般)
国際会議 ASIACRYPT2013 参加報告
電子情報通信学会技術研究報告
2014/05