Matches in SemOpenAlex for { <https://semopenalex.org/work/W2291874751> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2291874751 abstract "Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shortest linear straight-line program for a given set of linear forms is known to be MaxSNP-complete, i.e., there is no ε-approximation for the problem unless <math>P = NP</math>. This paper reiterates a non-approximative approach for finding the shortest linear straight-line program. After showing how to search for a circuit of XOR gates with the minimal number of such gates by a reduction of the associated decision problem (Is there a program of length <math>k</math>?) to satisfiability of propositional logic, we show that using modern SAT solvers, provably optimal solutions to interesting problem instances from cryptography can be obtained. We substantiate this claim by a case study on optimizing the AES S-Box." @default.
- W2291874751 created "2016-06-24" @default.
- W2291874751 creator A5045363254 @default.
- W2291874751 creator A5058200123 @default.
- W2291874751 date "2018-01-23" @default.
- W2291874751 modified "2023-09-23" @default.
- W2291874751 title "Optimizing the AES S-Box using SAT" @default.
- W2291874751 cites W1526394790 @default.
- W2291874751 cites W1605798759 @default.
- W2291874751 cites W1900929702 @default.
- W2291874751 cites W2133652069 @default.
- W2291874751 cites W2151575947 @default.
- W2291874751 cites W3123523937 @default.
- W2291874751 cites W5815757 @default.
- W2291874751 cites W91193428 @default.
- W2291874751 doi "https://doi.org/10.29007/h5s4" @default.
- W2291874751 hasPublicationYear "2018" @default.
- W2291874751 type Work @default.
- W2291874751 sameAs 2291874751 @default.
- W2291874751 citedByCount "3" @default.
- W2291874751 countsByYear W22918747512015 @default.
- W2291874751 crossrefType "proceedings-article" @default.
- W2291874751 hasAuthorship W2291874751A5045363254 @default.
- W2291874751 hasAuthorship W2291874751A5058200123 @default.
- W2291874751 hasConcept C106544461 @default.
- W2291874751 hasConcept C111335779 @default.
- W2291874751 hasConcept C111919701 @default.
- W2291874751 hasConcept C11413529 @default.
- W2291874751 hasConcept C118615104 @default.
- W2291874751 hasConcept C148730421 @default.
- W2291874751 hasConcept C168773769 @default.
- W2291874751 hasConcept C177264268 @default.
- W2291874751 hasConcept C178489894 @default.
- W2291874751 hasConcept C187455244 @default.
- W2291874751 hasConcept C198352243 @default.
- W2291874751 hasConcept C199360897 @default.
- W2291874751 hasConcept C2524010 @default.
- W2291874751 hasConcept C33923547 @default.
- W2291874751 hasConcept C41008148 @default.
- W2291874751 hasConcept C45737032 @default.
- W2291874751 hasConcept C6943359 @default.
- W2291874751 hasConcept C80444323 @default.
- W2291874751 hasConcept C94375191 @default.
- W2291874751 hasConceptScore W2291874751C106544461 @default.
- W2291874751 hasConceptScore W2291874751C111335779 @default.
- W2291874751 hasConceptScore W2291874751C111919701 @default.
- W2291874751 hasConceptScore W2291874751C11413529 @default.
- W2291874751 hasConceptScore W2291874751C118615104 @default.
- W2291874751 hasConceptScore W2291874751C148730421 @default.
- W2291874751 hasConceptScore W2291874751C168773769 @default.
- W2291874751 hasConceptScore W2291874751C177264268 @default.
- W2291874751 hasConceptScore W2291874751C178489894 @default.
- W2291874751 hasConceptScore W2291874751C187455244 @default.
- W2291874751 hasConceptScore W2291874751C198352243 @default.
- W2291874751 hasConceptScore W2291874751C199360897 @default.
- W2291874751 hasConceptScore W2291874751C2524010 @default.
- W2291874751 hasConceptScore W2291874751C33923547 @default.
- W2291874751 hasConceptScore W2291874751C41008148 @default.
- W2291874751 hasConceptScore W2291874751C45737032 @default.
- W2291874751 hasConceptScore W2291874751C6943359 @default.
- W2291874751 hasConceptScore W2291874751C80444323 @default.
- W2291874751 hasConceptScore W2291874751C94375191 @default.
- W2291874751 hasLocation W22918747511 @default.
- W2291874751 hasOpenAccess W2291874751 @default.
- W2291874751 hasPrimaryLocation W22918747511 @default.
- W2291874751 hasRelatedWork W1597588219 @default.
- W2291874751 hasRelatedWork W2109577721 @default.
- W2291874751 hasRelatedWork W2122281698 @default.
- W2291874751 hasRelatedWork W21453999 @default.
- W2291874751 hasRelatedWork W2769752329 @default.
- W2291874751 hasRelatedWork W2981948274 @default.
- W2291874751 hasRelatedWork W3022075301 @default.
- W2291874751 hasRelatedWork W3155868457 @default.
- W2291874751 hasRelatedWork W3194244812 @default.
- W2291874751 hasRelatedWork W83935621 @default.
- W2291874751 isParatext "false" @default.
- W2291874751 isRetracted "false" @default.
- W2291874751 magId "2291874751" @default.
- W2291874751 workType "article" @default.