• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Groebner attacks on the discrete logarithm problem over elliptic curves

Research Project

Project/Area Number 15K16003
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Information security
Research InstitutionOchanomizu University

Principal Investigator

Dahan Xavier  お茶の水女子大学, 理学部, 学部教育研究協力員 (50567518)

Project Period (FY) 2015-04-01 – 2018-03-31
Project Status Completed (Fiscal Year 2017)
Budget Amount *help
¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2017: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2016: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2015: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Keywordsグレブナー基底 / ヘンゼル環 / 最大公約因数 / 中国剰余定理 / 最大公約多項式 / 準素イデアル / グレブナ基底 / 楕円離散対数問題 / 多変数多項式 / ポスト量子暗号 / 楕円曲線離散対数問題 / 多変数公開鍵暗号
Outline of Final Research Achievements

I introduced a new GCD of two monic polynomials defined over rings with nilpotent elements. This was applied to the computation of cofactors (also known as Bezout coefficients) in the Chinese Remainder Theorem for polynomials with coefficients in such rings. Then, this was exploited to estimate the coefficients growth in the computation of a non-radical triangular set (a special lexicographic Groebner basis). This Chinese Remainder Remainder theorem can be seen as a kind of Hermite interpolation. Then we have investigated in some special cases the conversion to the more amenable barycentric form of Hermite interpolation.
This new ability to treat polynomials with coefficients in such rings opens the way to new directions of research, which were limited so far to the "radical" case. Some of these directions are ongoing research.

Report

(4 results)
  • 2017 Annual Research Report   Final Research Report ( PDF )
  • 2016 Research-status Report
  • 2015 Research-status Report
  • Research Products

    (13 results)

All 2017 2016 2015 Other

All Journal Article (3 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 3 results,  Acknowledgement Compliant: 2 results,  Open Access: 1 results) Presentation (9 results) (of which Int'l Joint Research: 5 results) Remarks (1 results)

  • [Journal Article] On the bit-size of non-radical triangular sets2017

    • Author(s)
      Xavier Dahan
    • Journal Title

      Lecture Notes in Computer Science (Bloemer J., Kotsireas I., Kutsia T., Simos D. (eds) Mathematical Aspects of Computer and Information Sciences. MACIS 2017)

      Volume: 10683 Pages: 264-269

    • DOI

      10.1007/978-3-319-72453-9_19

    • ISBN
      9783319724522, 9783319724539
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Gcd modulo a primary triangular set of dimension zero2017

    • Author(s)
      Xavier Dahan
    • Journal Title

      International Symposium on Symbolic and Algebraic Computations

      Volume: 印刷中 Pages: 109-116

    • DOI

      10.1145/3087604.3087612

    • Related Report
      2017 Annual Research Report 2016 Research-status Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Bit-size reduction of triangular sets in two and three variables2016

    • Author(s)
      Yamashita Tetsuro, Xavier Dahan
    • Journal Title

      7th International Symposium on Symbolic Computation in Software Science

      Volume: EPiC Series in Computing 39 Pages: 169-182

    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Presentation] Fast interpolation of lexicographic Groebner bases2017

    • Author(s)
      Xavier Dahan
    • Organizer
      Application of Computer Algebra 2017. Session "High-Performance Computing" (Jerusalem, July 17-22)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Cayley graphs based on octonions and their implementation in MAGMA2017

    • Author(s)
      Xavier Dahan
    • Organizer
      Application of Computer Algebra 2017. Session "ComputerAlgebra in Algebraic Graph Theory" (Jerusalem, July 17-22)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On rationals solutions of polynomial systems of dimension zero over a finite field2017

    • Author(s)
      Xavier Dahan
    • Organizer
      Application of Computer Algebra 2017. Session "Post-Quatum Cryptography" (Jerusalem, July 17-22)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Gcd modulo a primary triangular set of dimension zero2017

    • Author(s)
      Xavier Dahan
    • Organizer
      International Symposium on Symbolic and Algebraic Computations 2017 (Kaiserslautern, July 24-28)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On the bit-size of non-radical triangular sets2017

    • Author(s)
      Xavier Dahan
    • Organizer
      Mathematical Aspects of Computer and Information Sciences 2017 (Vienna, November 15-17)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 根基でないイデアルの三角形集合のビット長2017

    • Author(s)
      Xavier Dahan
    • Organizer
      RIMS共同研究(公開型) Computer Algebra - Theory and its Applications (12月19-21日)
    • Related Report
      2017 Annual Research Report
  • [Presentation] (チュートリアル) Groebner bases: introduction, main algorithms2016

    • Author(s)
      Xavier Dahan
    • Organizer
      SCSS 2016
    • Place of Presentation
      お茶の水女子大学
    • Year and Date
      2016-03-28
    • Related Report
      2015 Research-status Report
  • [Presentation] From lexicographic Groebner bases to triangular sets2015

    • Author(s)
      Xavier Dahan
    • Organizer
      ICIAM 2015
    • Place of Presentation
      Beijing, China
    • Year and Date
      2015-08-11
    • Related Report
      2015 Research-status Report
  • [Presentation] A Multivariate Quadratic challenge toward post-quantum generation cryptography (ポスターを用いて)2015

    • Author(s)
      Xavier Dahan
    • Organizer
      ISSAC 2015
    • Place of Presentation
      University of Bath, UK
    • Year and Date
      2015-07-07
    • Related Report
      2015 Research-status Report
  • [Remarks] http://xdahan.sakura.ne.jp

    • Related Report
      2016 Research-status Report

URL: 

Published: 2015-04-16   Modified: 2019-03-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi