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

@@ Property / describes a project that uses @@
+cvc3
@@ Property / describes a project that uses: cvc3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRESENT
@@ Property / describes a project that uses: PRESENT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Square
@@ Property / describes a project that uses: Square / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CHUFFED
@@ Property / describes a project that uses: CHUFFED / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniZinc
@@ Property / describes a project that uses: MiniZinc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LBlock
@@ Property / describes a project that uses: LBlock / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+STP
@@ Property / describes a project that uses: STP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-88238-9_13
+Normal rank
@@ Property / OpenAlex ID @@
+W3209460961
@@ Property / OpenAlex ID: W3209460961 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2146095