Martin Kreuzer

According to our database, Martin Kreuzer authored at least 35 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

SAT Solving Using XOR-OR-AND Normal Forms.

Bernhard Andraschko, Julian Danner, Martin Kreuzer

Math. Comput. Sci., December, 2024

Computing the binomial part of a polynomial ideal.

Martin Kreuzer, Florian Walsh

J. Symb. Comput., 2024

2021

Further potential applications of group theory in information security.

Benjamin Fine, Martin Kreuzer, Gerhard Rosenberger

Int. J. Comput. Math. Comput. Syst. Theory, 2021

A fault attack on KCipher-2.

Julian Danner, Martin Kreuzer

Int. J. Comput. Math. Comput. Syst. Theory, 2021

A Fault Attack on the Family of Enocoro Stream Ciphers.

Julian Danner, Martin Kreuzer

Cryptogr., 2021

2020

A Signature Based Border Basis Algorithm.

Jan Horácek, Martin Kreuzer, Ange-Salomé Messeng Ekossono

Math. Comput. Sci., 2020

Computing Coupled Border Bases.

Amir Hashemi, Martin Kreuzer, Samira Pourkhajouei

Math. Comput. Sci., 2020

On conversions from CNF to ANF.

Jan Horácek, Martin Kreuzer

J. Symb. Comput., 2020

Computing subschemes of the border basis scheme.

Martin Kreuzer, Le Ngoc Long, Lorenzo Robbiano

Int. J. Algebra Comput., 2020

A fault attack on the Niederreiter cryptosystem using binary irreducible Goppa codes.

Julian Danner, Martin Kreuzer

CoRR, 2020

2018

Refutation of Products of Linear Polynomials.

Jan Horácek, Martin Kreuzer

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

3BA: A Border Bases Solver with a SAT Extension.

Jan Horácek, Martin Kreuzer

Proceedings of the Mathematical Software - ICMS 2018, 2018

2017

Integrating Algebraic and SAT Solvers.

Jan Horácek, Jan Burchard, Bernd Becker, Martin Kreuzer

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 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, Tobias Schubert, Martin Kreuzer, Ilia Polian

Proceedings of the IEEE 2nd International Verification and Security Workshop, 2017

AutoFault: Towards Automatic Construction of Algebraic Fault Attacks.

Jan Burchard, Mael Gay, Ange-Salomé Messeng Ekossono, Jan Horácek, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian

Proceedings of the 2017 Workshop on Fault Diagnosis and Tolerance in Cryptography, 2017

2016

Computing Boolean Border Bases.

Jan Horácek, Martin Kreuzer, Ange-Salomé Messeng Ekossono

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

2014

Learning with Cross-Kernels and Ideal PCA.

Franz J. Király, Martin Kreuzer, Louis Theran

CoRR, 2014

Dual-to-kernel learning with ideals.

Franz J. Király, Martin Kreuzer, Louis Theran

CoRR, 2014

A Linear Algebra Attack to Group-Ring-Based Key Exchange Protocols.

Martin Kreuzer, Alexey D. Myasnikov, Alexander Ushakov

Proceedings of the Applied Cryptography and Network Security, 2014

2013

Multi-Stage Fault Attacks on Block Ciphers.

Philipp Jovanovic, Martin Kreuzer, Ilia Polian

IACR Cryptol. ePrint Arch., 2013

Estimating Photo-Voltaic Power Supply without Smart Metering Infrastructure.

Michael Till Beck, Hermann de Meer, Stefan Schuster, Martin Kreuzer

Proceedings of the Energy-Efficient Data Centers - Second International Workshop, 2013

Fault-based attacks on cryptographic hardware.

Ilia Polian, Martin Kreuzer

Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013

2012

An Algebraic Fault Attack on the LED Block Cipher.

Philipp Jovanovic, Martin Kreuzer, Ilia Polian

IACR Cryptol. ePrint Arch., 2012

A Fault Attack on the LED Block Cipher.

Philipp Jovanovic, Martin Kreuzer, Ilia Polian

Proceedings of the Constructive Side-Channel Analysis and Secure Design, 2012

2011

Subideal border bases.

Martin Kreuzer, Henk Poulisse

Math. Comput., 2011

2010

Algebraic attacks using SAT-solvers.

Philipp Jovanovic, Martin Kreuzer

Groups Complex. Cryptol., 2010

2009

Approximate computation of zero-dimensional polynomial ideals.

Daniel Heldt, Martin Kreuzer, Sebastian Pokutta, Hennie Poulisse

J. Symb. Comput., 2009

Algebraisches Erdöl.

Martin Kreuzer, Hennie Poulisse

Inform. Spektrum, 2009

Alles logisch, oder was?

Martin Kreuzer, Stefan Kühling

Inform. Spektrum, 2009

Algebraic Attacks Galore!

Martin Kreuzer

Groups Complex. Cryptol., 2009

2006

Gröbner Basis Cryptosystems.

Peter Ackermann, Martin Kreuzer

Appl. Algebra Eng. Commun. Comput., 2006

Logik für Informatiker.

Martin Kreuzer, Stefan Kühling

Pearson Studium, ISBN: 978-3-8273-7215-4, 2006

2005

Computing zero-dimensional schemes.

John Abbott, Martin Kreuzer, Lorenzo Robbiano

J. Symb. Comput., 2005

2004

Efficiently computing minimal sets of critical pairs.

Massimo Caboara, Martin Kreuzer, Lorenzo Robbiano

J. Symb. Comput., 2004

2000

Computing Ideals of Points.

John Abbott, Anna Maria Bigatti, Martin Kreuzer, Lorenzo Robbiano

J. Symb. Comput., 2000