Q5109519 (Q5109519): Difference between revisions

@@ Property / author @@
-Aleksandr Anatol'evich Semënov
@@ Property / author: Aleksandr Anatol'evich Semënov / rank @@
-Normal rank
@@ Property / author @@
-Oleg Sergeevich Zaikin
@@ Property / author: Oleg Sergeevich Zaikin / rank @@
-Normal rank
@@ Property / author @@
+Aleksandr Anatol'evich Semënov
@@ Property / author: Aleksandr Anatol'evich Semënov / rank @@
+Normal rank
@@ Property / author @@
+Oleg Sergeevich Zaikin
@@ Property / author: Oleg Sergeevich Zaikin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YalSAT
@@ Property / describes a project that uses: YalSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Trivium
@@ Property / describes a project that uses: Trivium / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Treengeling
@@ Property / describes a project that uses: Treengeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+URSA
@@ Property / describes a project that uses: URSA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Transalg
@@ Property / describes a project that uses: Transalg / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PySAT
@@ Property / describes a project that uses: PySAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LLBMC
@@ Property / describes a project that uses: LLBMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Grain
@@ Property / describes a project that uses: Grain / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Syrup
@@ Property / describes a project that uses: Syrup / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AIGER
@@ Property / describes a project that uses: AIGER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mkplot
@@ Property / describes a project that uses: mkplot / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Glucose
@@ Property / describes a project that uses: Glucose / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Yices
@@ Property / describes a project that uses: Yices / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Matplotlib
@@ Property / describes a project that uses: Matplotlib / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Plingeling
@@ Property / describes a project that uses: Plingeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+clasp
@@ Property / describes a project that uses: clasp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CBMC
@@ Property / describes a project that uses: CBMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lingeling
@@ Property / describes a project that uses: Lingeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MapleCOMSPS
@@ Property / describes a project that uses: MapleCOMSPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CaDiCaL
@@ Property / describes a project that uses: CaDiCaL / 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 @@
+Automatic Search of Attacks on Round-Reduced AES and Applications
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Symmetry Breaking and Global Constraints
+Normal rank
@@ Property / cites work @@
+Q3680754
@@ Property / cites work: Q3680754 / rank @@
+Normal rank
@@ Property / cites work @@
+Trivium: A Stream Cipher Construction Inspired by Block Cipher Design Principles
+Normal rank
@@ Property / cites work @@
+Algebraic Cryptanalysis of the Data Encryption Standard
+Normal rank
@@ Property / cites work @@
+Contradiction Immunity and Guess-Then-Determine Attacks on Gost
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4375756
@@ Property / cites work: Q4375756 / 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 @@
+Q3212279
@@ Property / cites work: Q3212279 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Inversion Attacks on Secure Hash Functions Using sat Solvers
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+The First Two Rounds of MD4 are Not One-Way
@@ Property / cites work: The First Two Rounds of MD4 are Not One-Way / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / 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 @@
+Q2845506
@@ Property / cites work: Q2845506 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimising Gröbner bases on Bivium
@@ Property / cites work: Optimising Gröbner bases on Bivium / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4354785
@@ Property / cites work: Q4354785 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+PySAT: a Python toolkit for prototyping with SAT oracles
+Normal rank
@@ Property / cites work @@
+URSA: A System for Uniform Reduction to SAT
@@ Property / cites work: URSA: A System for Uniform Reduction to SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating circuit-level simplifications on CNF
@@ Property / cites work: Simulating circuit-level simplifications on CNF / rank @@
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Limitations of restricted branching in clause learning
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Software Verification for Weak Memory via Program Transformation
+Normal rank
@@ Property / cites work @@
+MD4 is Not One-Way
@@ Property / cites work: MD4 is Not One-Way / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Rate Based Branching Heuristic for SAT Solvers
+Normal rank
@@ Property / cites work @@
+Formalization and implementation of modern SAT solvers
+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 @@
+Analysis of Pseudo Random Sequences Generated by Cellular Automata
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+The Monte Carlo Method
@@ Property / cites work: The Monte Carlo Method / 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 @@
+Chronological backtracking
@@ Property / cites work: Chronological backtracking / rank @@
+Normal rank
@@ Property / cites work @@
+Q5109519
@@ Property / cites work: Q5109519 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5150405
@@ Property / cites work: Q5150405 / rank @@
+Normal rank
@@ Property / cites work @@
+Correlation-immunity of nonlinear combining functions for cryptographic applications (Corresp.)
+Normal rank
@@ Property / cites work @@
+Freestart Collision for Full SHA-1
@@ Property / cites work: Freestart Collision for Full SHA-1 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing S-Box Implementations for Several Criteria Using SAT Solvers
+Normal rank
@@ Property / cites work @@
+New Message Difference for MD4
@@ Property / cites work: New Message Difference for MD4 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid System
+Normal rank
@@ Property / cites work @@
+Q5604434
@@ Property / cites work: Q5604434 / rank @@
+Normal rank
@@ Property / cites work @@
+Random sequence generation by cellular automata
@@ Property / cites work: Random sequence generation by cellular automata / 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
@@ Property / cites work @@
+ALIAS: a modular tool for finding backdoors for SAT
+Normal rank