Martin Kreuzer

45 papers B 1C 2Misc 1Journal 33Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Subgroups of Cyclically Amalgamated Free Products. Groups Complex. Cryptol. Martin Kreuzer, Anja I. S. Moldenhauer, Gerhard Rosenberger
2025	J	`jnl`	Code Equivalence, Point Set Equivalence, and Polynomial Isomorphism. CoRR Martin Kreuzer
2025	J	`jnl`	Efficient Checking of Separating Indeterminates. Math. Comput. Sci. Bernhard Andraschko, Martin Kreuzer, Le Ngoc Long
2025	J	`jnl`	Elimination by substitution. J. Symb. Comput. Martin Kreuzer, Lorenzo Robbiano
2024	J	`jnl`	Computing the binomial part of a polynomial ideal. J. Symb. Comput. Martin Kreuzer, Florian Walsh
2024	J	`jnl`	Computing the unit group of a commutative finite $\mathbb{Z}$-algebra. Groups Complex. Cryptol. Martin Kreuzer, Florian Walsh
2024	J	`jnl`	Efficient Algorithms for Finite ℤ-Algebras. Groups Complex. Cryptol. Martin Kreuzer, Florian Walsh
2024	J	`jnl`	SAT Solving Using XOR-OR-AND Normal Forms. Math. Comput. Sci. Bernhard Andraschko, Julian Danner, Martin Kreuzer
2023	J	`jnl`	SAT Solving Using XOR-OR-AND Normal Forms. CoRR Bernhard Andraschko, Julian Danner, Martin Kreuzer
2021	J	`jnl`	A Fault Attack on the Family of Enocoro Stream Ciphers. Cryptogr. Julian Danner, Martin Kreuzer
2021	J	`jnl`	A fault attack on KCipher-2. Int. J. Comput. Math. Comput. Syst. Theory Julian Danner, Martin Kreuzer
2021	J	`jnl`	Further potential applications of group theory in information security. Int. J. Comput. Math. Comput. Syst. Theory Benjamin Fine, Martin Kreuzer, Gerhard Rosenberger
2021	J	`jnl`	The Axiomatics of Free Group Rings. Groups Complex. Cryptol. Benjamin Fine, Anthony M. Gaglione, Martin Kreuzer, Gerhard Rosenberger, Dennis Spellman
2020	J	`jnl`	A Signature Based Border Basis Algorithm. Math. Comput. Sci. Jan Horácek, Martin Kreuzer, Ange-Salomé Messeng Ekossono
2020	J	`jnl`	A fault attack on the Niederreiter cryptosystem using binary irreducible Goppa codes. CoRR Julian Danner, Martin Kreuzer
2020	J	`jnl`	A fault attack on the Niederreiter cryptosystem using binary irreducible Goppa codes. Groups Complex. Cryptol. Julian Danner, Martin Kreuzer
2020	J	`jnl`	Computing Coupled Border Bases. Math. Comput. Sci. Amir Hashemi, Martin Kreuzer, Samira Pourkhajouei
2020	J	`jnl`	Computing subschemes of the border basis scheme. Int. J. Algebra Comput. Martin Kreuzer, Le Ngoc Long, Lorenzo Robbiano
2020	J	`jnl`	On conversions from CNF to ANF. J. Symb. Comput. Jan Horácek, Martin Kreuzer
2018	—	`conf`	3BA: A Border Bases Solver with a SAT Extension. ICMS Jan Horácek, Martin Kreuzer
2018	—	`conf`	Refutation of Products of Linear Polynomials. SC-Square@FLOC Jan Horácek, Martin Kreuzer
2017	C	`conf`	AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. FDTC Jan Burchard, Mael Gay, Ange-Salomé Messeng Ekossono, Jan Horácek, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
2017	—	`conf`	Integrating Algebraic and SAT Solvers. MACIS Jan Horácek, Jan Burchard, Bernd Becker, Martin Kreuzer
2017	—	`conf`	On Conversions from CNF to ANF. SC²@ISSAC Jan Horácek, Martin Kreuzer
2017	—	`conf`	Towards mixed structural-functional models for algebraic fault attacks on ciphers. IVSW Jan Burchard, Ange-Salomé Messeng Ekossono, Jan Horácek, Mael Gay, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
2016	Misc	`conf`	Computing Boolean Border Bases. SYNASC Jan Horácek, Martin Kreuzer, Ange-Salomé Messeng Ekossono
2014	B	`conf`	A Linear Algebra Attack to Group-Ring-Based Key Exchange Protocols. ACNS Martin Kreuzer, Alexey D. Myasnikov, Alexander Ushakov
2014	J	`jnl`	Dual-to-kernel learning with ideals. CoRR Franz J. Király, Martin Kreuzer, Louis Theran
2014	J	`jnl`	Learning with Cross-Kernels and Ideal PCA. CoRR Franz J. Király, Martin Kreuzer, Louis Theran
2013	—	`conf`	Estimating Photo-Voltaic Power Supply without Smart Metering Infrastructure. E2DC Michael Till Beck, Hermann de Meer, Stefan Schuster, Martin Kreuzer
2013	C	`conf`	Fault-based attacks on cryptographic hardware. DDECS Ilia Polian, Martin Kreuzer
2013	J	`jnl`	Multi-Stage Fault Attacks on Block Ciphers. IACR Cryptol. ePrint Arch. Philipp Jovanovic, Martin Kreuzer, Ilia Polian
2012	—	`conf`	A Fault Attack on the LED Block Cipher. COSADE Philipp Jovanovic, Martin Kreuzer, Ilia Polian
2012	J	`jnl`	An Algebraic Fault Attack on the LED Block Cipher. IACR Cryptol. ePrint Arch. Philipp Jovanovic, Martin Kreuzer, Ilia Polian
2011	J	`jnl`	Subideal border bases. Math. Comput. Martin Kreuzer, Henk Poulisse
2010	J	`jnl`	Algebraic attacks using SAT-solvers. Groups Complex. Cryptol. Philipp Jovanovic, Martin Kreuzer
2009	J	`jnl`	Algebraic Attacks Galore! Groups Complex. Cryptol. Martin Kreuzer
2009	J	`jnl`	Algebraisches Erdöl. Inform. Spektrum Martin Kreuzer, Hennie Poulisse
2009	J	`jnl`	Alles logisch, oder was? Inform. Spektrum Martin Kreuzer, Stefan Kühling
2009	J	`jnl`	Approximate computation of zero-dimensional polynomial ideals. J. Symb. Comput. Daniel Heldt, Martin Kreuzer, Sebastian Pokutta, Hennie Poulisse
2006	J	`jnl`	Gröbner Basis Cryptosystems. Appl. Algebra Eng. Commun. Comput. Peter Ackermann, Martin Kreuzer
2006	—	`book`	Logik für Informatiker. Martin Kreuzer, Stefan Kühling
2005	J	`jnl`	Computing zero-dimensional schemes. J. Symb. Comput. John Abbott, Martin Kreuzer, Lorenzo Robbiano
2004	J	`jnl`	Efficiently computing minimal sets of critical pairs. J. Symb. Comput. Massimo Caboara, Martin Kreuzer, Lorenzo Robbiano
2000	J	`jnl`	Computing Ideals of Points. J. Symb. Comput. John Abbott, Anna Maria Bigatti, Martin Kreuzer, Lorenzo Robbiano