New records of pre-image search of reduced SHA-1 using SAT solvers (Q2079908): Difference between revisions

@@ Property / cites work @@
+Finding Collisions in the Full SHA-1
@@ Property / cites work: Finding Collisions in the Full SHA-1 / rank @@
+Normal rank
@@ Property / cites work @@
+Second Preimages on n-Bit Hash Functions for Much Less than 2 n Work
+Normal rank
@@ Property / cites work @@
+Keying Hash Functions for Message Authentication
@@ Property / cites work: Keying Hash Functions for Message Authentication / rank @@
+Normal rank
@@ Property / cites work @@
+From collisions to chosen-prefix collisions application to full SHA-1
+Normal rank
@@ Property / cites work @@
+The first collision for full SHA-1
@@ Property / cites work: The first collision for full SHA-1 / rank @@
+Normal rank
@@ Property / cites work @@
+Preimages for Reduced SHA-0 and SHA-1
@@ Property / cites work: Preimages for Reduced SHA-0 and SHA-1 / rank @@
+Normal rank
@@ Property / cites work @@
+Meet-in-the-Middle Preimage Attacks Against Reduced SHA-0 and SHA-1
+Normal rank
@@ Property / cites work @@
+Higher-Order Differential Meet-in-the-middle Preimage Attacks on SHA-1 and BLAKE
+Normal rank
@@ Property / cites work @@
+Q3342347
@@ Property / cites work: Q3342347 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184604
@@ Property / cites work: Q3184604 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal speedup of Las Vegas algorithms
@@ Property / cites work: Optimal speedup of Las Vegas algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Improved upper bounds for the expected circuit complexity of dense systems of linear equations over \(\mathrm{GF}(2)\)
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+The MathSAT5 SMT Solver
@@ Property / cites work: The MathSAT5 SMT Solver / rank @@
+Normal rank