Applications of Polynomial System Solving in Cryptology
From SIAG-AG
(Difference between revisions)
| Revision as of 00:56, 28 December 2014 (edit) Spaenlehauer (Talk | contribs) ← Previous diff |
Revision as of 12:23, 11 January 2015 (edit) (undo) Spaenlehauer (Talk | contribs) (title of Tim Hodges talk) Next diff → |
||
| Line 2: | Line 2: | ||
| Speakers: | Speakers: | ||
| - | * Jean-Charles Faugère (Inria/UPCM Univ. Paris 6/CNRS, France) - to be confirmed | + | * Jean-Charles Faugère (Inria/UPCM Univ. Paris 6/CNRS, France) - TBC |
| - | * Tim Hodges (University of Cincinnati, USA) - to be confirmed | + | * Tim Hodges (University of Cincinnati, USA) - TBC: On the existence of semi-regular sequences over F_2 |
| * Sebastian Kochinke (University of Leipzig, Germany): Index calculus on non-hyperelliptic curves and geometric considerations | * Sebastian Kochinke (University of Leipzig, Germany): Index calculus on non-hyperelliptic curves and geometric considerations | ||
| * Koh-ichi Nagao (Kanto Gakuin University, Japan): Equation systems coming from Weil descent and the elliptic curve discrete logarithm problem | * Koh-ichi Nagao (Kanto Gakuin University, Japan): Equation systems coming from Weil descent and the elliptic curve discrete logarithm problem | ||
| * Pablo Parrilo (Massachusetts Institute of Technology, USA) | * Pablo Parrilo (Massachusetts Institute of Technology, USA) | ||
| - | * Guénaël Renault (Inria/UPCM Univ. Paris 6/CNRS, France) - to be confirmed | + | * Guénaël Renault (Inria/UPCM Univ. Paris 6/CNRS, France) - TBC |
| * Igor Semaev (University of Bergen, Norway): New results in the linear cryptanalysis of DES | * Igor Semaev (University of Bergen, Norway): New results in the linear cryptanalysis of DES | ||
| * Bo-Yin Yang (Academia Sinica, Taiwan): Enumerations and Groebner Bases methods on generic multivariate polynomial systems | * Bo-Yin Yang (Academia Sinica, Taiwan): Enumerations and Groebner Bases methods on generic multivariate polynomial systems | ||
Revision as of 12:23, 11 January 2015
The security of many cryptosystems is strongly related to the hardness of solving polynomial systems over finite fields. These systems often have specific algebraic properties, which may be leveraged by specialized methods. The goal of this minisymposium is to bring together experts in cryptology and in computational algebraic geometry to discuss the interaction of recent developments in polynomial system solving and related problems arising in cryptology.
Speakers:
- Jean-Charles Faugère (Inria/UPCM Univ. Paris 6/CNRS, France) - TBC
- Tim Hodges (University of Cincinnati, USA) - TBC: On the existence of semi-regular sequences over F_2
- Sebastian Kochinke (University of Leipzig, Germany): Index calculus on non-hyperelliptic curves and geometric considerations
- Koh-ichi Nagao (Kanto Gakuin University, Japan): Equation systems coming from Weil descent and the elliptic curve discrete logarithm problem
- Pablo Parrilo (Massachusetts Institute of Technology, USA)
- Guénaël Renault (Inria/UPCM Univ. Paris 6/CNRS, France) - TBC
- Igor Semaev (University of Bergen, Norway): New results in the linear cryptanalysis of DES
- Bo-Yin Yang (Academia Sinica, Taiwan): Enumerations and Groebner Bases methods on generic multivariate polynomial systems
