Search papers, labs, and topics across Lattice.
This paper formalizes the design space of cryptographic Boolean systems using six binary structural constraints, creating a hypercube of 64 architectural classes based on Synchronous Boolean Networks. Each class is systematically evaluated for resistance against differential, linear, and algebraic cryptanalysis using Formal Concept Analysis. The study reveals that optimal Boolean network designs arise from sparse, compatible constraint combinations, highlighting an epistatic problem largely unaddressed in classical cryptography.
The best cryptographic Boolean networks aren't defined by a single architecture, but by surprisingly sparse and synergistic combinations of structural constraints.
Boolean circuits form the foundational computational substrate of symmetric cryptography, yet the exploration of their architectural design space has remained largely confined to a handful of canonical paradigms - SPN, Feistel networks, and their immediate variants. This paper takes a deliberately broader perspective by formalizing the design space of cryptographic Boolean systems through six independent binary structural constraints: Stratification, Acyclicity, Regularity, Interleaving, Homogeneity, and Locality. These constraints generate a hypercube of $2^6 = 64$ distinct architectural classes defined over Synchronous Boolean Networks, a general model that subsumes both acyclic combinational circuits and recurrent synchronous systems. We systematically evaluate all 64 classes against three generic cryptanalytic fitness objectives - differential, linear and algebraic resistance - using a five-stage methodology centered on Formal Concept Analysis. The results reveal that the best Boolean networks are governed by the identification of sparse, mutually compatible combinations of constraints - a fundamentally epistatic problem that classical cryptography has barely addressed.
