Logic minimization techniques with applications to cryptology (Q2377070): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00145-012-9124-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2003858108
@@ Property / OpenAlex ID: W2003858108 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof verification and the hardness of approximation problems
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Tight bounds for the multiplicative complexity of symmetric functions
+Normal rank
@@ Property / cites work @@
+On the multiplicative complexity of Boolean functions over the basis (\(\land,\oplus,1)\).
+Normal rank
@@ Property / cites work @@
+On the Shortest Linear Straight-Line Program for Computing Linear Forms
+Normal rank
@@ Property / cites work @@
+Q4331740
@@ Property / cites work: Q4331740 / rank @@
+Normal rank
@@ Property / cites work @@
+A Very Compact S-Box for AES
@@ Property / cites work: A Very Compact S-Box for AES / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the Machine Calculation of Complex Fourier Series
+Normal rank
@@ Property / cites work @@
+Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
+Normal rank
@@ Property / cites work @@
+Tensor rank is NP-complete
@@ Property / cites work: Tensor rank is NP-complete / rank @@
+Normal rank
@@ Property / cites work @@
+A fast algorithm for computing multiplicative inverses in \(\text{GF}(2^ m)\) using normal bases
+Normal rank
@@ Property / cites work @@
+Faster and Timing-Attack Resistant AES-GCM
@@ Property / cites work: Faster and Timing-Attack Resistant AES-GCM / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of unique 2-prover 1-round games
@@ Property / cites work: On the power of unique 2-prover 1-round games / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Garbled Circuit: Free XOR Gates and Applications
+Normal rank
@@ Property / cites work @@
+Q4425698
@@ Property / cites work: Q4425698 / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed Bases for Efficient Inversion in ${{\mathbb F}{((2^2)^2)}{2}}$ and Conversion Matrices of SubBytes of AES
+Normal rank
@@ Property / cites work @@
+Optimization, approximation, and complexity classes
+Normal rank
@@ Property / cites work @@
+Q4474178
@@ Property / cites work: Q4474178 / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the Computation of Linear Forms
@@ Property / cites work: An Algorithm for the Computation of Linear Forms / rank @@
+Normal rank
@@ Property / cites work @@
+Q2934692
@@ Property / cites work: Q2934692 / rank @@
+Normal rank
@@ Property / cites work @@
+On the number of multiplications necessary to compute certain functions
+Normal rank
@@ Property / cites work @@
+Q4472066
@@ Property / cites work: Q4472066 / rank @@
+Normal rank