Accelerating the Search of Differential and Linear Characteristics with the SAT Method

Ling Sun 0001, Wei Wang, Meiqin Wang. Accelerating the Search of Differential and Linear Characteristics with the SAT Method. IACR Cryptology ePrint Archive, 2021:213, 2021. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.