• Non ci sono risultati.

Università degli Studi di Verona

N/A
N/A
Protected

Academic year: 2021

Condividi "Università degli Studi di Verona"

Copied!
1
0
0

Testo completo

(1)

Università degli Studi di Verona

Dipartimento di Informatica

Ca' Vignal 2 Strada le Grazie 15 37134 Verona - Italia Tel. +39 045 802 7992 Fax +39 045 802 7068 Verona, 15.12.09 Dottorato di Ricerca in Informatica, XXIV ciclo

Scuola di Dottorato in Scienze, Ingegneria e Medicina Università di Verona

PROFILO DEL DOTT. ENRICO VISENTINI

Enrico si è occupato di tecniche di trasformazione del codice dedicate al suo offuscamento ed al nascondimento di informazione sensibile, quale watermarks o fingerprints. Le

tecniche utilizzate si basano sulla trasformazione di strutture iterative e ricorsive finalizzate alla inserzione ed estrazione di watermarks, nonché all'offuscamento della loro presenza. Lo studio è stato sviluppato in parte a Verona ed in parte presso UofA (University of

Arizona). Le trasformazioni introdotte permettono di rappresentare watermarks complessi e sono state dimostrare robuste contro attacchi distorsivi e collusivi.

Lo studio fatto da Enrico è stato molto approfondito sulle tecniche di trasformazione di loop tipicamente utilizzate in comiplatori ottimizzanti. Queste trasformazioni sono state pienamente formalizzate come trasformazioni di programma attraverso lo schema proposta da Patrick e Radhia Cousot per la definizione di trasformazioni di programma mediante interpretazione astratta, ovvero associando una trasformazione di codice a trasformazioni semantiche derivate da schemi di punto-fisso. Queste trasformazioni

sono state modificate da Enrico per l'inserzione robusta di watermarks. Lo studio è iniziato dall'analisi del loop-unrolling come trasformazione elementare di strutture iterative. Il watermark è stato inserito utilizzando l'operazione di unrolling e rolling come

rispettivamente le operazioni di rivelazione e nascondimento del watermark. Questa tecnica, pubblicata in SAS 2008, è stata successivamente generalizzata a famiglie di trasformazioni di strutture iterative note nel dominio delle trasformazioni ottimizzanti dei compilatori. La generalizzazione proposta da Enrico, come autore singolo, è stata accettata al FM 2009 Doctoral Symposium e pubblicata nei relativi atti. Essa si fonda su una profonda riformulazione delle principali trasformazioni del codice, in particolare dei comandi iterativi, come interpretazioni astratte e di un loro utilizzo come operazioni di rivelazione e nascondimento di watermarks.

Gli algoritmi generalizzati sono estremamente innovativi rispetto allo stato dell'arte. Enrico Visentini ha dimostrato di essere capace di contribuire alla ricerca scientifica, con spirito critico e competenza tecnica. La sua tesi contiene diversi contributi innovativi. Notevole la sua capacità formale mediante la quale è riuscito ad esporre tecniche

estremamente complesse ad un livello di dettaglio tecnico veramente apprezzabile. Eglii ha saputo dimostrare maturità e capacità analitica nell'affrontare i problemi, oltre ad una grandissima autonomia.

Riferimenti

Documenti correlati

Non è invece verificato l'assioma delle parallele: infatti, data una retta AB e un punto C ad essa esterno vi sono infinite rette (tutte quelle che nella figura appartengono alla

La simmetria centrale di centro M è la trasformazione geometrica (isometria) che a ogni punto P del piano fa corrispondere il punto P’ tale che M è il punto medio del

trasformano il punto medio M di un segmento nel punto M' del segmento corrispondente conservano costante il rapporto delle aree di figure corrispondenti ; tale rapporto costante

[r]

LA SECONDA LEGGE DI GAY-LUSSAC: PRESSIONE E TEMPERATURA DI UN GAS A VOLUME COSTANTE... SECONDA LEGGE DI GAY-LUSSAC E TEMPERATURA

Siccome le trasformazioni spaziali operano sulle frequenze, questi operatori considerano i cambiamenti di valori di grigio nell’intorno di ciascun pixel, e non l’intensità dei

Come sostiene Jin Feng in generale la prosa di Ding Ling negli anni trenta dimostrava non solo l’adattamento alla sua nuova identità politica ma anche i cambiamenti che

Si immagi- na cioè che un qualunque esperimento fisico conforme alla legge in un certo sistema di riferimento inerziale S, venga osservato contemporaneamente sia da S che da un