Quadratic Relation of S-box and its Application to the Linear Attack of Full Round DES (1998)

Cached

Download Links

by Takeshi Shimoyama , Toshinobu Kaneko
Venue:Advances in Cryptology - Crypto’98, volume 1462 of LNCS
Citations:15 - 0 self

Active Bibliography

103 REDLOG Computer Algebra Meets Computer Logic – Andreas Dolzmann, Thomas Sturm - 1996
63 Applying Linear Quantifier Elimination – Rüdiger Loos, Volker Weispfenning - 1993
41 Non-linear Loop Invariant Generation using Gröbner Bases – Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna - 2004
36 Computational Invariant Theory – Gregor Kemper - 1998
35 Solving parametric polynomial systems – Daniel Lazard, Fabrice Rouillier - 2007
34 Simplification of Quantifier-free Formulas over Ordered Fields – Andreas Dolzmann, Thomas Sturm - 1995
32 Real Quantifier Elimination in Practice – Andreas Dolzmann, Thomas Sturm, Volker Weispfenning - 1998
31 Using Galois Ideals For Computing Relative Resolvents – Philippe Aubry, Annick Valibouze - 1998
29 The shape of the Shape Lemma – Eberhard Becker, Maria Grazia Marinari, Teo Mora, Carlo Traverso - 1993