Evaluating Coppersmith’s Criteria by way of SAT Solving

Signati, Teresa (2018) Evaluating Coppersmith’s Criteria by way of SAT Solving. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
Documenti full-text disponibili:
[img] Documento PDF (Thesis)
Disponibile con Licenza: Salvo eventuali più ampie autorizzazioni dell'autore, la tesi può essere liberamente consultata e può essere effettuato il salvataggio e la stampa di una copia per fini strettamente personali di studio, di ricerca e di insegnamento, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale. Ogni altro diritto sul materiale è riservato

Download (485kB)

Abstract

S-boxes are the non-linear part of DES cryptosystem. Along the years it has became clear that any kind of edit to the structure of DES S-boxes increases the probability of success of breaking the algorithm, which was very carefully designed. The reason why the S-boxes were built in this way was clarified by Coppersmith, years after the publication of the encryption algorithm. The aim of this thesis is to investigate on Coppersmith’s DES S-boxes design criteria and to evaluate them by way of SAT Solving, in order to analyze the performance of SAT-Solvers for different versions of DES algorithm, in which S-boxes respect only a sample of Coppersmith’s design criteria. This aim is achieved thanks to the implementation of a Python tool: DESBoxGen. The main challenge in the design of DESBoxGen is the one of finding a way to efficiently generating S-boxes satisfying certain criteria.

Abstract
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Signati, Teresa
Relatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM270
Parole chiave
SAT,DES,Python,cryptography,S-boxes,graph-based algorithms,logical cryptanalysis,Coppersmith,Picosat,CryptoMiniSat,Lingeling,CNF,Tseitin,DIMACS,SAT-Solvers,SAT Solving
Data di discussione della Tesi
18 Luglio 2018
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^