岡﨑裕之

J-GLOBALへ         更新日: 18/09/01 03:05
 
アバター
研究者氏名
岡﨑裕之
 
オカザキヒロユキ
所属
信州大学
部署
大学院総合理工学研究科 工学専攻
職名
助教
学位
博士(工学)

研究分野

 
 

経歴

 
2005年11月
 - 
2007年3月
信州大学大学院工学系研究科情報工学専攻(助手)
 
2007年4月
   
 
信州大学大学院工学系研究科情報工学専攻(助教)
 

学歴

 
 
 - 
2004年3月
京都工芸繊維大学 工芸科学研究科 情報・生産科学専攻
 
 
 - 
2001年3月
京都工芸繊維大学 工芸科学研究科 電子情報工学専攻
 
 
 - 
1999年3月
京都工芸繊維大学  
 

論文

 
ヴェイユペアリングを用いた署名者の関連付けが可能なグループ署名方式
岡崎 裕之, 境 隆一, 柴山 潔, 笠原 正雄
電子情報通信学会論文誌   J87-A(No.4) 563~568   2004年
合成数P^2Qの素因数分解に適した楕円曲線
岡崎 裕之, 境 隆一, 笠原 正雄
日本応用数理学会論文誌   Vol.12(No.4) 9~19   2002年
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics   17(2) 157-162   2009年
Hiroshi Yamazaki, Noboru Endou, Yasunari Shidama,Hiroyuki Okazaki
Formalized Mathematics   15(4) 231-235   2007年
Hiroyuki Okazaki
Formalized Mathematics   17(2) 173-178   2009年

講演・口頭発表等

 
メタ暗号系に関する考察
岡崎裕之
2007年 暗号と情報セキュリティシンポジウム   2007年   
Mizarによる暗号技術教材の形式化記述について
岡崎裕之
日本Mizar学会秋季総会   2006年   
メタ署名に関する考察
岡崎裕之
2006年 暗号と情報セキュリティシンポジウム   2005年   
ヴェイユペアリングを用いたグループ署名
岡崎 裕之, 境 隆一, 柴山 潔,笠原 正雄
第5回「代数学と計算」研究集会   2003年   
ペアリングを用いた匿名著作権署名方式に関する2,3の考察
岡崎裕之
「数論アルゴリズムとその応用」研究部会第13回研究集会   2004年   

競争的資金等の研究課題

 
形式的手法による暗号理論