Martin Kreuzer

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 17

Top Topics

Conjunctive Normal Form

Top Venues

Math. Comput. Sci.

Int. J. Comput. Math. Comput. Syst. Theory

J. Symb. Comput.

Publications

Martin Kreuzer, Florian Walsh
Computing the binomial part of a polynomial ideal. J. Symb. Comput. 124 (2024)
Bernhard Andraschko, Julian Danner, Martin Kreuzer
SAT Solving Using XOR-OR-AND Normal Forms. CoRR (2023)
Benjamin Fine, Martin Kreuzer, Gerhard Rosenberger
Further potential applications of group theory in information security. Int. J. Comput. Math. Comput. Syst. Theory 6 (4) (2021)
Julian Danner, Martin Kreuzer
A Fault Attack on the Family of Enocoro Stream Ciphers. Cryptogr. 5 (4) (2021)
Julian Danner, Martin Kreuzer
A fault attack on KCipher-2. Int. J. Comput. Math. Comput. Syst. Theory 6 (4) (2021)
Jan Horácek, Martin Kreuzer, Ange-Salomé Messeng Ekossono
A Signature Based Border Basis Algorithm. Math. Comput. Sci. 14 (1) (2020)
Jan Horácek, Martin Kreuzer
On conversions from CNF to ANF. J. Symb. Comput. 100 (2020)
Martin Kreuzer, Le Ngoc Long, Lorenzo Robbiano
Computing subschemes of the border basis scheme. Int. J. Algebra Comput. 30 (08) (2020)
Amir Hashemi, Martin Kreuzer, Samira Pourkhajouei
Computing Coupled Border Bases. Math. Comput. Sci. 14 (1) (2020)
Julian Danner, Martin Kreuzer
A fault attack on the Niederreiter cryptosystem using binary irreducible Goppa codes. CoRR (2020)
Jan Horácek, Martin Kreuzer
Refutation of Products of Linear Polynomials. SC-Square@FLOC (2018)
Jan Horácek, Martin Kreuzer
3BA: A Border Bases Solver with a SAT Extension. ICMS (2018)
Jan Horácek, Martin Kreuzer
On Conversions from CNF to ANF. SC²@ISSAC (2017)
Jan Burchard, Ange-Salomé Messeng Ekossono, Jan Horácek, Mael Gay, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
Towards mixed structural-functional models for algebraic fault attacks on ciphers. IVSW (2017)
Jan Horácek, Jan Burchard, Bernd Becker, Martin Kreuzer
Integrating Algebraic and SAT Solvers. MACIS (2017)
Jan Burchard, Mael Gay, Ange-Salomé Messeng Ekossono, Jan Horácek, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. FDTC (2017)
Jan Horácek, Martin Kreuzer, Ange-Salomé Messeng Ekossono
Computing Boolean Border Bases. SYNASC (2016)
Franz J. Király, Martin Kreuzer, Louis Theran
Learning with Cross-Kernels and Ideal PCA. CoRR (2014)
Martin Kreuzer, Alexey D. Myasnikov, Alexander Ushakov
A Linear Algebra Attack to Group-Ring-Based Key Exchange Protocols. ACNS (2014)
Franz J. Király, Martin Kreuzer, Louis Theran
Dual-to-kernel learning with ideals. CoRR (2014)
Ilia Polian, Martin Kreuzer
Fault-based attacks on cryptographic hardware. DDECS (2013)
Michael Till Beck, Hermann de Meer, Stefan Schuster, Martin Kreuzer
Estimating Photo-Voltaic Power Supply without Smart Metering Infrastructure. E2DC (2013)
Philipp Jovanovic, Martin Kreuzer, Ilia Polian
Multi-Stage Fault Attacks on Block Ciphers. IACR Cryptol. ePrint Arch. 2013 (2013)
Philipp Jovanovic, Martin Kreuzer, Ilia Polian
An Algebraic Fault Attack on the LED Block Cipher. IACR Cryptol. ePrint Arch. 2012 (2012)
Philipp Jovanovic, Martin Kreuzer, Ilia Polian
A Fault Attack on the LED Block Cipher. COSADE (2012)
Martin Kreuzer, Henk Poulisse
Subideal border bases. Math. Comput. 80 (274) (2011)
Philipp Jovanovic, Martin Kreuzer
Algebraic attacks using SAT-solvers. Groups Complex. Cryptol. 2 (2) (2010)
Daniel Heldt, Martin Kreuzer, Sebastian Pokutta, Hennie Poulisse
Approximate computation of zero-dimensional polynomial ideals. J. Symb. Comput. 44 (11) (2009)
Martin Kreuzer, Stefan Kühling
Alles logisch, oder was? Inform. Spektrum 32 (1) (2009)
Martin Kreuzer, Hennie Poulisse
Algebraisches Erdöl. Inform. Spektrum 32 (1) (2009)
Martin Kreuzer
Algebraic Attacks Galore! Groups Complex. Cryptol. 1 (2) (2009)
Peter Ackermann, Martin Kreuzer
Gröbner Basis Cryptosystems. Appl. Algebra Eng. Commun. Comput. 17 (3-4) (2006)
John Abbott, Martin Kreuzer, Lorenzo Robbiano
Computing zero-dimensional schemes. J. Symb. Comput. 39 (1) (2005)
Massimo Caboara, Martin Kreuzer, Lorenzo Robbiano
Efficiently computing minimal sets of critical pairs. J. Symb. Comput. 38 (4) (2004)
John Abbott, Anna Maria Bigatti, Martin Kreuzer, Lorenzo Robbiano
Computing Ideals of Points. J. Symb. Comput. 30 (4) (2000)