Solving Trivium-based Boolean equations using the method of syllogisms

MaRDI QIDQ2883180zbMATH OpenFDO

Authors Pavol Zajac

Publication date 11 May 2012

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

algebraic cryptanalysisBoolean equationsmethod of syllogismsTrivium

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
• Algebraic cryptanalysis of \textsf{Present} based on the method of syllogisms
• On Boolean ideals and varieties with application to algebraic attacks
• Attacking Bivium Using SAT Solvers
• Methods to solve algebraic equations in cryptanalysis

Cited in

(2)

• Local reduction and the algebraic cryptanalysis of the block cipher GOST
• Solving sparse MRHS systems with genetic algorithms

Describes a project that uses

Uses Software

• Trivium

This page was built for publication: Solving Trivium-based Boolean equations using the method of syllogisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883180)