Computing Ideals of Points. - John Abbott; Anna Maria Bigatti; Martin Kreuzer; Lorenzo Robbiano (J. Symb. Comput., 2000)

Efficiently computing minimal sets of critical pairs. - Massimo Caboara; Martin Kreuzer; Lorenzo Robbiano (J. Symb. Comput., 2004)

Computing zero-dimensional schemes. - John Abbott; Martin Kreuzer; Lorenzo Robbiano (J. Symb. Comput., 2005)

Logik für Informatiker. - Martin Kreuzer; Stefan Kühling (Pearson Studium, 2006)

Gröbner Basis Cryptosystems. - Peter Ackermann; Martin Kreuzer (Appl. Algebra Eng. Commun. Comput., 2006)

Algebraic Attacks Galore! - Martin Kreuzer (Groups Complex. Cryptol., 2009)

Alles logisch, oder was? - Martin Kreuzer; Stefan Kühling (Inform. Spektrum, 2009)

Algebraisches Erdöl. - Martin Kreuzer; Hennie Poulisse (Inform. Spektrum, 2009)

Approximate computation of zero-dimensional polynomial ideals. - Daniel Heldt; Martin Kreuzer; Sebastian Pokutta; Hennie Poulisse (J. Symb. Comput., 2009)

Algebraic attacks using SAT-solvers. - Philipp Jovanovic; Martin Kreuzer (Groups Complex. Cryptol., 2010)

Subideal border bases. - Martin Kreuzer; Henk Poulisse (Math. Comput., 2011)

A Fault Attack on the LED Block Cipher. - Philipp Jovanovic; Martin Kreuzer; Ilia Polian (COSADE, 2012)

An Algebraic Fault Attack on the LED Block Cipher. - Philipp Jovanovic; Martin Kreuzer; Ilia Polian (IACR Cryptol. ePrint Arch., 2012)

Fault-based attacks on cryptographic hardware. - Ilia Polian; Martin Kreuzer (DDECS, 2013)

Estimating Photo-Voltaic Power Supply without Smart Metering Infrastructure. - Michael Till Beck; Hermann de Meer; Stefan Schuster; Martin Kreuzer (E2DC, 2013)

Multi-Stage Fault Attacks on Block Ciphers. - Philipp Jovanovic; Martin Kreuzer; Ilia Polian (IACR Cryptol. ePrint Arch., 2013)

A Linear Algebra Attack to Group-Ring-Based Key Exchange Protocols. - Martin Kreuzer; Alexey D. Myasnikov; Alexander Ushakov (ACNS, 2014)

Dual-to-kernel learning with ideals. - Franz J. Király; Martin Kreuzer; Louis Theran (CoRR, 2014)

Learning with Cross-Kernels and Ideal PCA. - Franz J. Király; Martin Kreuzer; Louis Theran (CoRR, 2014)

Computing Boolean Border Bases. - Jan Horácek; Martin Kreuzer; Ange-Salomé Messeng Ekossono (SYNASC, 2016)

AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. - Jan Burchard; Mael Gay; Ange-Salomé Messeng Ekossono; Jan Horácek; Bernd Becker 001; Tobias Schubert 001; Martin Kreuzer; Ilia Polian (FDTC, 2017)

Towards mixed structural-functional models for algebraic fault attacks on ciphers. - Jan Burchard; Ange-Salomé Messeng Ekossono; Jan Horácek; Mael Gay; Bernd Becker 001; Tobias Schubert 001; Martin Kreuzer; Ilia Polian (IVSW, 2017)

Integrating Algebraic and SAT Solvers. - Jan Horácek; Jan Burchard; Bernd Becker 001; Martin Kreuzer (MACIS, 2017)

3BA: A Border Bases Solver with a SAT Extension. - Jan Horácek; Martin Kreuzer (ICMS, 2018)

Refutation of Products of Linear Polynomials. - Jan Horácek; Martin Kreuzer (SC-Square@FLOC, 2018)

A fault attack on the Niederreiter cryptosystem using binary irreducible Goppa codes. - Julian Danner; Martin Kreuzer (CoRR, 2020)

Computing subschemes of the border basis scheme. - Martin Kreuzer; Le Ngoc Long; Lorenzo Robbiano (Int. J. Algebra Comput., 2020)

On conversions from CNF to ANF. - Jan Horácek; Martin Kreuzer (J. Symb. Comput., 2020)

Computing Coupled Border Bases. - Amir Hashemi; Martin Kreuzer; Samira Pourkhajouei (Math. Comput. Sci., 2020)

A Signature Based Border Basis Algorithm. - Jan Horácek; Martin Kreuzer; Ange-Salomé Messeng Ekossono (Math. Comput. Sci., 2020)

A Fault Attack on the Family of Enocoro Stream Ciphers. - Julian Danner; Martin Kreuzer (Cryptogr., 2021)

A fault attack on KCipher-2. - Julian Danner; Martin Kreuzer (Int. J. Comput. Math. Comput. Syst. Theory, 2021)

Further potential applications of group theory in information security. - Benjamin Fine; Martin Kreuzer; Gerhard Rosenberger (Int. J. Comput. Math. Comput. Syst. Theory, 2021)

Computing the binomial part of a polynomial ideal. - Martin Kreuzer; Florian Walsh (J. Symb. Comput., 2024)

SAT Solving Using XOR-OR-AND Normal Forms. - Bernhard Andraschko; Julian Danner; Martin Kreuzer (Math. Comput. Sci., 2024)

Elimination by substitution. - Martin Kreuzer; Lorenzo Robbiano (J. Symb. Comput., 2025)