7 citations · 15 across the 6 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2021★ 3 cited
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
A. -M. Leventi-Peetz, O. Zendel, W. Lennartz +1
Performing hundreds of test runs and a source-code analysis, we empirically identified improved parameter configurations for the CryptoMiniSat (CMS) 5 for solving cryptographic CNF…
cs.CR2015★ 3 cited
Generating and Exploring S-Box Multivariate Quadratic Equation Systems with SageMath
A. -M. Leventi-Peetz, J. -V. Peetz
A new method to derive Multivariate Quadratic equation systems (MQ) for the input and output bit variables of a cryptographic S-box from its algebraic expressions with the aid of t…