Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages (Q5015592): Difference between revisions

@@ Property / describes a project that uses @@
+CryptoSAT
@@ Property / describes a project that uses: CryptoSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+R
@@ Property / describes a project that uses: R / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CryptoMiniSat
@@ Property / describes a project that uses: CryptoMiniSat / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Cryptanalysis
@@ Property / cites work: Algebraic Cryptanalysis / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and Slide Attacks on KeeLoq
@@ Property / cites work: Algebraic and Slide Attacks on KeeLoq / rank @@
+Normal rank
@@ Property / cites work @@
+Q4341750
@@ Property / cites work: Q4341750 / rank @@
+Normal rank
@@ Property / cites work @@
+Inversion Attacks on Secure Hash Functions Using sat Solvers
+Normal rank
@@ Property / cites work @@
+Cryptanalysis of MD4
@@ Property / cites work: Cryptanalysis of MD4 / rank @@
+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 @@
+Attacking Bivium Using SAT Solvers
@@ Property / cites work: Attacking Bivium Using SAT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Cryptanalysis of SMS4: Gröbner Basis Attack and SAT Attack Compared
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic attacks using SAT-solvers
@@ Property / cites work: Algebraic attacks using SAT-solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting the IDEA Philosophy
@@ Property / cites work: Revisiting the IDEA Philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Ciphers and Differential Cryptanalysis
@@ Property / cites work: Markov Ciphers and Differential Cryptanalysis / rank @@
+Normal rank
@@ Property / cites work @@
+MD4 is Not One-Way
@@ Property / cites work: MD4 is Not One-Way / rank @@
+Normal rank
@@ Property / cites work @@
+Cryptanalysis of WIDEA
@@ Property / cites work: Cryptanalysis of WIDEA / rank @@
+Normal rank
@@ Property / cites work @@
+Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
+Normal rank
@@ Property / cites work @@
+Collisions for the WIDEA-8 Compression Function
@@ Property / cites work: Collisions for the WIDEA-8 Compression Function / rank @@
+Normal rank
@@ Property / cites work @@
+Q4718481
@@ Property / cites work: Q4718481 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of SAT Solvers to Cryptanalysis of Hash Functions
+Normal rank
@@ Property / cites work @@
+A SAT-based preimage analysis of reduced \textsc{Keccak} hash functions
+Normal rank
@@ Property / cites work @@
+Progress in Cryptology - INDOCRYPT 2004
@@ Property / cites work: Progress in Cryptology - INDOCRYPT 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Information Security and Privacy
@@ Property / cites work: Information Security and Privacy / rank @@
+Normal rank
@@ Property / cites work @@
+How to Break MD5 and Other Hash Functions
@@ Property / cites work: How to Break MD5 and Other Hash Functions / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5015592