Salta al contenuto principale
CODICE 62247
ANNO ACCADEMICO 2018/2019
CFU
SETTORE SCIENTIFICO DISCIPLINARE MAT/02
SEDE
  • GENOVA
PERIODO 1° Semestre
MATERIALE DIDATTICO AULAWEB

PRESENTAZIONE

Le lezioni si tengono in lingua italiana.

OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Introdurre alle principali tecniche algebriche di base per le applicazioni informatiche in crittografia e teoria dei codici, con cenni sulla teoria classica dei codici e sulla crittografia a chiave pubblica.

OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO

Introdurre alle principali tecniche algebriche di base per le applicazioni informatiche in crittografia e teoria dei codici, con cenni sulla teoria classica dei codici e sulla crittografia a chiave pubblica

La  frequenza  e  la  partecipazione  attiva  alle  attivi
tà  formative  proposte
- descrivere ed illustrare  gli elementi di base di crittografia e teoria dei codici
- conoscere i primi elementi dellla teoria dei corpi finiti
- conoscere i protocolli crittografici a chiavi pubbliche e del bitcoine
- conoscere i protocolli di base dei bitcoins

MODALITA' DIDATTICHE

Tradizionale

PROGRAMMA/CONTENUTO

  1. Crittografia: curve ellittiche [3cpu]
    • Introduzione alle curve ellittiche. Espressione di Weierstrass.
    • Determinante. Punti singolari: nodi e cuspidi.
    • Studio delle curve ellittiche sui reali.
    • Accenno al piano proiettivo. Cubiche proiettivie. Flessi. Cenni al Teorema di Bezout.
    • Parametrizzazione delle cubiche singolari.
    • Aritmetica dei punti non-singolari delle cubiche.
    • I punti di Y2+XY=X3-X-1 in GF(5).
    • Cenni sulla dimostrazione dell'associatività.
    • Proprietà dell'invariante.
    • Formula della somma di punti.
    • Invariante ed formule dell'aritmetica in caratteristica 2 e 3.
    • Algoritmi per i prodotti di un punto; signed digit representation and non-adjacent forms.
  2. Aritmetica dei Corpi Finiti [1.5cpu]
    • Ideali principali, primi, massimali. Principal ideal domain, Unique factorization domain. Norma di Dedekind-Hesse.
    • Algoritmi euclidei: Algoritmo di divisione; algoritmo euclideo; identità di Bezout. Cenni alle frazioni continue.
    • Cenni sui corpi finiti. Caratteristica.Derivata.
    • Funzioni simmetriche e Teorema Fondamentale.Teorema di Newton.
    • Traccia e Norma. Discriminante. Risultante.
    • Radici di polinomi: risoluzione delle radici cubiche; il numero immaginario.
    • Cenni sul Teorema Fondamentale dell'Algebra e sul Teorema di Abel Ruffini.
    • Teoria di Kronecker: estensioni finite di corpi; numeri algebrici e trascendenti.
    • Splitting fields. Separabilità. Corpi perfetti.
    • Struttura dei corpi finiti: corpi di Galois, radici dei polinomi sui corpi finiti.
    • Radici dell'unità e radici primitive; tecniche per il loro calcolo.
    • Rappresentazione ed aritmetica dei corpi finiti.
    • Struttura delle radici primitivi dell'unità.
    • Polinomi ciclotomici e loro calcolo.
    • Teorema del resto cinese su un dominio ad ideali principali.
    • Algoritmi di Newton e di Lagrange. Interpolazione di Lagrange.
    • Nilpotenti, idempotenti; struttura dei quozienti dei domini a ideali principali.
    • Calcolo di idempotenti e fattorizzazione dei polinomi ciclotomici su GF(2).
    • Algoritmo di fattorizzazione di Berlekamp.
  3. Introduzione alla teoria dei codici [1.5cpu]
    • Errore, rumore, tasso di informazione, probabilità; repetition code e parity check.
    • Distanza di Hamming. Maximum Likelihood Decoding. Teorema fondamentale di Shannon.
    • Codici linearli. Sindromi. Decodifica dei codici lineari. Step-by-step decoding.
    • Codici di Hammimg e codici perfetti.
    • Weight enumerator. Suo uso nell'analisi probabilistica di un codice.
    • Singleton Bound
    • Codici ciclici.
    • Usi delle radici per la decodifica.
    • Esempi dei codici di Hamming e del codice di Hamming esteso. Esempio di codici {1,3} e {1,-1}.
    • Codici BCH. BCH bound.
    • Algoritmo di Petersen-Gorenstein-Zierler per la decodifica dei codici BCH.
    • Uso della serie delle sindrome per la loro decodifica: la key equation.
  4. Protocolli e Bitcoin[1cpu] Non mutuato da Informatica
    • Digital Signature.
    • Key Exchange.
    • Authenticaltion.
    • Multiple-Key Public-Key Cryptography.
    • Secret splitting. Secret sharing. Timestemping Srvice
    • Subliminal Channel. Undeniable Digital Signature
    • Bit commtment. Fair coin flip. Mental Pocker
    • Fair cryptpsystem. All-or-nothing Disclosure of Shares. Zero-knowledge proofs. Blind Signature
    • Oblivious Transfer
    • Secure Election
    • Bitcoin, Block Chain e loro Applicazioni

TESTI/BIBLIOGRAFIA

  1. Crittografia: curve ellittiche [3cpu]
  2. Aritmetica dei Corpi Finiti [1.5cpu]
  3. Introduzione alla teoria dei codici [1.5cpu]
  4. Protocolli [1cpu] Non mutuato da Informatica
    • B.Schnrier Applied cryptography : protocols, algorithms, and source code in C (1994) CSBMI:68-1994-001

DOCENTI E COMMISSIONI

Commissione d'esame

FERDINANDO MORA (Presidente)

CHIARA MARTINENGO

MARIA EVELINA ROSSI

LEZIONI

INIZIO LEZIONI

In accordo con il calendario accademico approvato dal Consiglio di Corsi di Studi.

ESAMI

MODALITA' D'ESAME

Esame orale