Algebraic Attacks Using Binary Decision Diagrams (Q2947100): Difference between revisions

@@ Property / cites work @@
+Communication Theory of Secrecy Systems*
@@ Property / cites work: Communication Theory of Secrecy Systems* / rank @@
+Normal rank
@@ Property / cites work @@
+Solving multiple right hand sides linear equations
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / 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 @@
+Algebraic Cryptanalysis of the Data Encryption Standard
+Normal rank
@@ Property / cites work @@
+Fast Software Encryption
@@ Property / cites work: Fast Software Encryption / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Cryptanalysis
@@ Property / cites work: Algebraic Cryptanalysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3562880
@@ Property / cites work: Q3562880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628016
@@ Property / cites work: Q5628016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3393339
@@ Property / cites work: Q3393339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737247
@@ Property / cites work: Q4737247 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended BDD-Based Cryptanalysis of Keystream Generators
+Normal rank
@@ Property / cites work @@
+Obtaining and solving systems of equations in key variables only for the small variants of AES
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Solving Compressed Right Hand Side Equation Systems with Linear Absorption
+Normal rank
@@ Property / cites work @@
+Improving the variable ordering of OBDDs is NP-complete
+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 @@
+Verification of Restricted EA-Equivalence for Vectorial Boolean Functions
+Normal rank