花岡 悟一郎 (独立行政法人産業技術総合研究所)
  

  

    
題名: 安全性証明の膨大化への新たな対応指針
  

  

    
アブストラクト: 有用な機能をもつ新たな暗号技術が開発されたとして、システ
ム設計者がその安全性を確信できないかぎり、その技術が実用システム内に導入
されることはない。しかしながら、近年新たに提案されている一連の暗号技術は、
安全性に関する数学的証明が与えられているものの、難解であるばかりでなく、
証明の記述量が膨大であり、専門的研究者であってもその安全性をただちに確信
できないものも多い。このことは、これらの暗号技術の普及の大きな阻害要因と
なっているものと考えられる。本発表では、厳密な安全性証明の記述量が膨大に
なったとしても、その直感的な理解と解釈自体が容易な暗号技術を実現するため
の方向性について議論を行う。


  
  

    

  


     
Goichiro Hanaoka (AIST)
  

  

    
Title: A Consideration on Cryptographic Schemes with Huge Security Proofs

  

  

    
Abstract: Usually, developers of security systems do not introduce novel
cryptographic technologies unless they are convinced that these
technologies are truly secure. However, in recent years, newly designed
cryptographic schemes are generally complicated, and thus their security
proofs are very difficult to understand. This is considered as one of
reasons for the fact that old (but easy-to-understand) technologies (e.g.
RSA) are still used, and new superior ones are not very often used. In
this talk, we discuss a new direction for designing cryptographic
schemes which even non-experts can be convinced with their security
level.



  
    

[Back ]