Automatic search for bit-based division property (Q2146095): Difference between revisions

@@ Property / cites work @@
+GIFT: A Small Present
@@ Property / cites work: GIFT: A Small Present / rank @@
+Normal rank
@@ Property / cites work @@
+PRESENT: An Ultra-Lightweight Block Cipher
@@ Property / cites work: PRESENT: An Ultra-Lightweight Block Cipher / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+The block cipher Square
@@ Property / cites work: The block cipher Square / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737238
@@ Property / cites work: Q4737238 / rank @@
+Normal rank
@@ Property / cites work @@
+\textsc{Ascon} v1.2: lightweight authenticated encryption and hashing
+Normal rank
@@ Property / cites work @@
+Finding integral distinguishers with ease
@@ Property / cites work: Finding integral distinguishers with ease / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537993
@@ Property / cites work: Q4537993 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for Bit-Vectors and Arrays
@@ Property / cites work: A Decision Procedure for Bit-Vectors and Arrays / rank @@
+Normal rank
@@ Property / cites work @@
+Q3046344
@@ Property / cites work: Q3046344 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearly equivalent s-boxes and the division property
+Normal rank
@@ Property / cites work @@
+The Saturation Attack — A Bait for Twofish
@@ Property / cites work: The Saturation Attack — A Bait for Twofish / rank @@
+Normal rank
@@ Property / cites work @@
+The Problem of Simplifying Truth Functions
@@ Property / cites work: The Problem of Simplifying Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic search of bit-based division property for ARX ciphers and word-based division property
+Normal rank
@@ Property / cites work @@
+Structural Evaluation by Generalized Integral Property
+Normal rank
@@ Property / cites work @@
+Integral cryptanalysis on full MISTY1
@@ Property / cites work: Integral cryptanalysis on full MISTY1 / rank @@
+Normal rank
@@ Property / cites work @@
+Bit-Based Division Property and Application to Simon Family
+Normal rank
@@ Property / cites work @@
+Zero-sum partitions of PHOTON permutations
@@ Property / cites work: Zero-sum partitions of PHOTON permutations / rank @@
+Normal rank
@@ Property / cites work @@
+LBlock: A Lightweight Block Cipher
@@ Property / cites work: LBlock: A Lightweight Block Cipher / rank @@
+Normal rank
@@ Property / cites work @@
+Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers
+Normal rank
@@ Property / cites work @@
+Bit-Pattern Based Integral Attack
@@ Property / cites work: Bit-Pattern Based Integral Attack / rank @@
+Normal rank