New SAT-based model for constructing linear layers with good cryptographic properties and implementation

Tianling Weng, Gaoli Wang. New SAT-based model for constructing linear layers with good cryptographic properties and implementation. Frontiers of Computer Science in China, 20(10):2010812, October 2026. [doi]

Abstract

Abstract is missing.