Facebook Instagram Twitter RSS Feed PodBean Back to top on side

Using Local Reduction for the Experimental Evaluation of the Cipher Security

In: Computing and Informatics, vol. 37, no. 2
P. Zajac

Details:

Year, pages: 2018, 349 - 366
Keywords:
Algebraic cryptanalysis, local reduction, method of syllogisms, SAT solvers
About article:
Evaluating the strength of block ciphers against algebraic attacks can be difficult. The attack methods often use different metrics, and experiments do not scale well in practice. We propose a methodology that splits the algebraic attack into a polynomial part (local reduction), and an exponential part (guessing), respectively. The evaluator uses instances with known solutions to estimate the complexity of the attacks, and the response to changing parameters of the problem (e.g. the number of rounds). Although the methodology does not provide a positive answer („the cipher is secure“), it can be used to construct a negative test (reject weak ciphers), or as a tool of qualitative comparison of cipher designs. Potential applications in other areas of computer science are discussed in the concluding parts of the article.
How to cite:
ISO 690:
Zajac, P. 2018. Using Local Reduction for the Experimental Evaluation of the Cipher Security. In Computing and Informatics, vol. 37, no.2, pp. 349-366. 1335-9150. DOI: https://doi.org/10.4149/cai_2018_2_349

APA:
Zajac, P. (2018). Using Local Reduction for the Experimental Evaluation of the Cipher Security. Computing and Informatics, 37(2), 349-366. 1335-9150. DOI: https://doi.org/10.4149/cai_2018_2_349
About edition:
Publisher: Ústav informatiky SAV
Published: 3. 7. 2018