Crittoanalisi Logica di DES

La crittografia ha sempre rivestito un ruolo primario nella storia del genere umano, dagli albori ai giorni nostri, e il periodo in cui viviamo non fa certo eccezione. Al giorno d'oggi, molti dei gesti che vengono compiuti anche solo come abitudine (operazioni bancarie, apertura automatica dell'auto, accedere a Facebook, ecc.), celano al loro interno la costante presenza di sofisticati sistemi crittografici. Proprio a causa di questo fatto, è importante che gli algoritmi utilizzati siano in qualche modo certificati come ragionevolmente sicuri e che la ricerca in questo campo proceda costantemente, sia dal punto di vista dei possibili nuovi exploit per forzare gli algoritmi usati, sia introducendo nuovi e sempre più complessi sistemi di sicurezza. In questa tesi viene proposto una possibile implementazione di un particolare tipo di attacco crittoanalitico, introdotto nel 2000 da due ricercatori dell'Università "La Sapienza" di Roma, e conosciuto come "Crittoanalisi Logica". L'algoritmo su cui è incentrato il lavoro è il Data Encryption Standard (DES), ostico standard crittografico caduto in disuso nel 1999 a causa delle dimensioni ridotte della chiave, seppur tuttora sia algebricamente inviolato. Il testo è strutturato nel seguente modo: il primo capitolo è dedicato ad una breve descrizione di DES e della sua storia, introducendo i concetti fondamentali con cui si avrà a che fare per l'intera dissertazione Nel secondo capitolo viene introdotta la Crittoanalisi Logica e viene fornita una definizione della stessa, accennando ai concetti matematici necessari alla comprensione dei capitoli seguenti. Nel capitolo 3 viene presentato il primo dei due software sviluppati per rendere possibile l'attuazione di questo attacco crittoanalitico, una libreria per la rappresentazione e la manipolazione di formule logiche scritta in Java. Il quarto ed ultimo capitolo descrive il programma che, utilizzando la libreria descritta nel capitolo 3, elabora in maniera automatica un insieme di proposizioni logiche semanticamente equivalenti a DES, la cui verifica di soddisfacibilità, effettuata tramite appositi tools (SAT solvers) equivale ad effettuare un attacco di tipo known-plaintext su tale algoritmo.

Palladio digitale. Studio e ricostruzione di un progetto palladiano : villa Mocenigo.

L’obiettivo che l’elaborato si prefigge consiste nel dar forma ad un progetto palladiano rimasto sulla carta attraverso l’utilizzo delle tecnologie informatiche. Nello specifico si è ricostruita Villa Mocenigo in forma tridimensionale attraverso uno schizzo del progetto fatto su carta dallo stesso Palladio nel 1550. Lo schizzo della pianta, conservato al RIBA di Londra, anticiperebbe il successivo progetto finale pubblicato ne “I Quattro Libri dell’Architettura” ma rimasto comunque incompiuta. Il linguaggio di base utilizzato per la definizione dell’ipotesi progettuale del modello 3D è stato attinto dalle regole generali di proporzionamento “alla maniera degli antichi” che lo stesso Architetto illustra nel suo trattato. Al fine di rendere l’ipotesi ricostruttiva il più possibile in linea con il metodo di proporzionamento palladiano, come esercitazione, si è partiti dallo studio preparatorio di un altro progetto: Villa Sarego, edificata solo in parte. A partire quindi dalla ricostruzione 3D basata sui disegni dei rilievi eseguiti dal CISAAP è stata avanzata l’ipotesi di ricostruzione totale della villa, completa della parte incompiuta. Lo studio sintetizzato in questo elaborato ha anche riguardato: la composizione architettonica e lo studio delle regole proporzionali evolutesi nel tempo; il processo di digitalizzazione e archiviazione delle opere palladiane e i progetti attualmente in corso; escursus storico sulle ville romane; le opera di Palladio, costruite e progettate.

Studio di un nuovo processo per la sintesi di acido adipico.

Obiettivo del mio lavoro di tesi è stato quello di verificare la fattibilità di un nuovo processo per la produzione di acido adipico da cicloesene con due stadi di reazione. Il primo stadio di reazione prevede l’ossidazione del cicloesene con soluzione acquosa di acqua ossigenata a formare l’epossido, che idrata a 1,2-cicloesandiolo, mentre nel secondo stadio il glicole viene ossidato con ossigeno ad acido adipico. Il lavoro è stato focalizzato sullo studio del meccanismo di reazione per l’ossidazione del 1,2-cicloesandiolo ad acido adipico, utilizzando catalizzatori a base di Ru(OH)3/Al2O3, Ru(OH)3-Bi(OH)3/Al2O3, Cu/C e Cu/TiO2. Le prove condotte hanno dimostrato che i catalizzatori usati sono attivi nell’ossidazione di 1,2-cicloesandiolo, ma sono caratterizzati da scarsa selettività ad acido adipico. Dall’analisi dei risultati ottenuti si desume che la reazione richiede condizioni fortemente basiche per potere avvenire. In queste condizioni però si vengono a formare degli intermedi che reagiscono rapidamente con l’acqua e con l’ossigeno, dando luogo alla formazione di una serie di prodotti primari e secondari.

I principali strumenti giuridici per lo scambio di dati tra le pubbliche amministrazioni

Lo scopo del seguente lavoro sara' quello di illustrare i mezzi utilizzati in ambito amministrativo per garantire la privacy delle comunicazioni: stiamo parlando della PEC, ovvero della posta elettronica certificata. Inizialmente si tratteranno aspetti piu' tecnici legati a tale strumento, dandone una definizione e illustrando i metodi di funzionamento; successivamente si affronteranno invece aspetti legati piu' nel dettaglio all’ambito giuridico,

Nuovi catalizzatori a base di idrotalcite per la sintesi di biodiesel

Abbiamo studiato una nuova classe di catalizzatori per la sintesi di biodiesel mediante transesterificazione di trigliceridi in fase liquida con metanolo. Si sono preparate diverse serie di catalizzatori rispettivamente a base di magnesio ossido e idrotalcite dispersi su allumina commerciale mesoporosa. Partendo dai medesimi precursori ottenuti tramite wet-impregnation dell’allumina con soluzioni di magnesio metossido, si sono poi seguiti differenti metodi di calcinazione. Per la creazione della fase idrotalcite si è sfruttato un processo idrotermale di dealluminazione, comunemente impiegato nella sintesi delle zeoliti. Gli spettri XRD e le analisi TPD con biossido di carbonio confermano l’avvenuta formazione delle fasi ricercate. Il confronto tra il rapporto Mg/Al superficiale (ottenuto da analisi XPS) e bulk (ottenuto da analisi SEM/EDX) suggeriscono che la formazione della fase idrotalcite è dovuta ad una reazione allo stato solido avvenuta a seguito del trattamento dei campioni con vapore ad alta temperatura. Tutti i materiali preparati si sono dimostrati essere catalizzatori attivi per la transesterificazione in fase liquida del tributirrato e del triottanoato (molecole modello per la sintesi del biodiesel) con metanolo. I catalizzatori a base di idrotalcite hanno dimostrato le migliori proprietà catalitiche.

Cocristalli di acidi dicarbossilici: sintesi, caratterizzazione e stabilità allo stato solido

It is well-known that crystalline materials obtain their fundamental physical properties from the molecular arrangement within the solid, and altering the placement and or interactions between these molecules can impact the properties of the particular solid. Solid state chemistry looks at an attempt to alter the chemical and physical solid-state properties of APIs through many different strategies as the formation of salts, polymorphs, hydrates, solvates, and cocrystals. The final aim of this work is to study the chemical and physical propriety of new crystal structures. The work consists of three parts. The first is the cocrystallization of α,ω-alkanedicarboxylics acids with pirimidine. Single-crystal X-ray diffraction analysis of this adduct have been carried out at RT, 150 and 200 K. The cocrystals show an alteration of their melting point similar to pure acids. The two significant deviations are for the cocrystals with succinico and glutarico acids. The second object of work is the structure determination of β polymorph undecandioic acids. In literature is known the other polymorph α. We observed that the thermodynamic relation for this dimorphics system is monotropic. In the third part we synthesized and analyzed the stability of four new salts of serine and oxalic acid. This project highlights the advantage of the solid state synthesis.

Sintesi di catalizzatori supportati Au/Cu e studio della loro reattività per l'ossidazione selettiva del 5-idrossimetilfurfurale

Al giorno d’oggi i combustibili fossili come carbone, olio e gas naturale forniscono più del 75% dell’energia mondiale. Tuttavia, la crescente richiesta di queste fonti di energia non rinnovabili, si manifesta in un momento in cui le riserve naturali si stanno esaurendo; è stato infatti stimato che le riserve petrolifere di tutto il mondo possano essere sufficienti per fornire energia e produrre prodotti chimici per i prossimi quarant’anni. Per questo motivo la conversione delle biomasse per produrre energia e prodotti chimici sta diventando una valida alternativa per diversificare le fonti energetiche e ridurre il surriscaldamento globale. Le biomasse, infatti, oltre ad essere una fonte rinnovabile, generano minori emissioni di gas serra rispetto ai combustibili fossili, perché la CO2 rilasciata nei processi di utilizzo viene bilanciata da quella consumata nel processo di crescita delle biomasse stesse. Lo sfruttamento delle biomasse per la produzione di building blocks per la chimica suscita particolare interesse, poiché le molecole ottenute sono già parzialmente funzionalizzate; ciò significa che la sintesi di prodotti chimici specifici richiede un minor numero di stadi rispetto ai building blocks petroliferi, con conseguente diminuzione di prodotti di scarto e sottoprodotti. Un esempio di queste potenziali “molecole piattaforma” è il 5-idrossimetilfurfurale (HMF), un importante composto derivato dalla disidratazione di zuccheri, intermedio chiave per la sintesi di un’ampia varietà di prodotti chimici e combustibili alternativi, tra cui l’acido 2,5- furandicarbossilico (FDCA), che è stato identificato tra i dodici composti chimici più importanti degli ultimi anni. Per esempio, il FDCA è un possibile sostituto dell’acido tereftalico, usato per produrre il polietilentereftalato (PET). Recentemente alcuni autori hanno riportato interessanti risultati sull’ossidazione dell’HMF a FDCA utilizzando catalizzatori a base di Au supportato. Questi catalizzatori mostrano però significativi problemi di disattivazione. Lo scopo di questo lavoro di tesi è stato quindi lo sviluppo di catalizzatori attivi e stabili nella reazione di ossidazione dell’HMF a FDCA. Il lavoro portato avanti ha avuto come obbiettivi principali: l’ottimizzazione della sintesi di nanoparticelle di oro e oro/rame a diverso rapporto molare, mediante un processo di sintesi, in acqua, a basso impatto ambientale. Tale metodo di sintesi si basa sull’azione riducente del sistema glucosio-NaOH ed è stato messo a punto in lavori di tesi precedenti. Le nanoparticelle sintetizzate sono state utilizzate, quali fase attiva, per la preparazione di catalizzatori supportati su TiO2 e CeO2 lo studio dell’attività catalitica e riusabilità dei catalizzatori preparati nell’ossidazione in fase liquida del HMF a FDCA.

Sintesi di 4-bromo-pirazoli quali precursori di sistemi eterociclici condensati. Sintesi della 3a,4,5,6,7,7a-esaidro-N-metil-1H-1,4,6-(epietano-1,1,2-triil)indeno-4,8-dicarbossimmide e di composti relazionati tramite reazione Diels-Alder intramolecolare.

Il progetto di tesi specialistica svolto durante questo anno accademico si è suddiviso in due parti: un primo periodo, da settembre 2010 a gennaio 2011, presso il dipartimento di Chimica Organica “A. Mangini” della Facoltà di Chimica Industriale dell’Università di Bologna e un secondo periodo in Spagna, da marzo ad agosto 2011, presso la Unitat de Química Farmacèutica de la Facultat de Farmàcia de la Universitat de Barcelona. Nel primo periodo a Bologna mi sono occupato della sintesi di 4-bromo-pirazoli da utilizzare come precursori di composti eterociclici condensati. Inizialmente è stato sintetizzato un pirazolo 1,3,5-trisostituito tramite cicloaddizione 1,3-dipolare tra un acetilene e una nitril immina generata in situ da un idrazonoil cloruro. Il pirazolo è stato poi bromurato facendo uno screening di diversi agenti bromuranti e condizioni di reazione per ottenere la migliore resa e chemoselettività. Infine è stata studiata la ciclizzazione intramolecolare del prodotto bromurato tramite reazione di cross-coupling catalizzata da metalli di transizione. Nel secondo periodo a Barcellona mi sono occupato della sintesi di dicarbossimmidi tricicliche con struttura a gabbia con il fine di creare alcheni altamente piramidalizzati e di studiarne la dimerizzazione ad un derivato del dodecaedrano. La strategia sintetica è stata impostata utilizzando come reagente di partenza una semplice succinimmide per giungere, dopo numerosi passaggi, al precursore del prodotto triciclico, del quale è stata studiata la ciclizzazione tramite reazione Diels-Alder intramolecolare.

Un nuovo processo per la sintesi di acroleina e acido acrilico da glicerolo

La trasformazione di glicerolo ad acido acrilico può essere un fattore importante per la valorizzazione del processo di produzione di biodiesel, il quale prevede la coproduzione di enormi quantità di glicerolo. La sintesi di acido acrilico in un unico step è stata studiata attraverso vari catalizzatori solidi bifunzionali di diversa natura, contenenti proprietà acide e redox. I catalizzatori devono avere un’adeguata acidità di Brønsted per promuovere la trasformazione di glicerolo ad acroleina, mentre le proprietà ossidanti, necessarie per la sintesi di acido acrilico sono ottenute mediante l’inserimento di un metallo ossidante nella struttura. Si vuole quindi sintetizzare e testare una serie di catalizzatori che mostrino questa bifunzionalità in grado di soddisfare requisiti di attività e selettività nei confronti della reazioni . Per questo studio sono stati sintetizzati e caratterizzati ossidi misti di W/V, nella forma di aggregati dispersi sulla titania ed ossidi misti di Zr/Nb/V in struttura bulk. Sono stati quindi eseguiti dei test di reattività in fase gas ed in presenza di ossigeno utilizzando un reattore tubolare in quarzo a letto fisso.

Ottimalità dell'ottimalità - Complessità della riduzione su grafi di condivisione

Trent’anni or sono il concetto di ottimalità venne formulato in senso teorico da Lévy, ma solo un decennio dopo Lamping riesce a darne elegante implementazione algoritmica. Realizza un sistema di riduzione su grafi che si scoprirà poi avere interessanti analogie con la logica lineare presentata nello stesso periodo da Girard. Ma l’ottimalità è davvero ottimale? In altre parole, l’implementazione ottimale del λ calcolo realizzata attraverso i grafi di condivisione, è davvero la migliore strategia di riduzione, in termini di complessità? Dopo anni di infondati dubbi e di immeritato oblìo, alla conferenza LICS del 2007, Baillot, Coppola e Dal Lago, danno una prima risposta positiva, seppur parziale. Considerano infatti il caso particolare delle logiche affini elementare e leggera, che possiedono interessanti proprietà a livello di complessità intrinseca e semplificano l’arduo problema. La prima parte di questa tesi presenta, in sintesi, la teoria dell’ottimalità e la sua implementazione condivisa. La seconda parte affronta il tema della sua complessità, a cominciare da una panoramica dei più importanti risultati ad essa legati. La successiva introduzione alle logiche affini, e alle relative caratteristiche, costituisce la necessaria premessa ai due capitoli successivi, che presentano una dimostrazione alternativa ed originale degli ultimi risultati basati appunto su EAL e LAL. Nel primo dei due capitoli viene definito un sistema intermedio fra le reti di prova delle logiche e la riduzione dei grafi, nel secondo sono dimostrate correttezza ed ottimalità dell’implementazione condivisa per mezzo di una simulazione. Lungo la trattazione sono offerti alcuni spunti di riflessione sulla dinamica interna della β riduzione riduzione e sui suoi legami con le reti di prova della logica lineare.

L'architettura come scienza

L'obbiettivo della presente tesi curriculare è una lettura di alcuni esami in relazione all'idea di ar-chitettura che la nostra Scuola – la Facoltà di Architettura “Aldo Rossi” – porta avanti: l'architettura come progetto collettivo e unitario nel tempo fondato sui fatti architettonici, ovvero l'architettura come scienza: Noi raccogliamo questa strada dell'architettura come scienza, della formulazione logica dei principi, della meditazione sui fatti architettonici e quindi principalmente sui monumenti e pensiamo di verificarla attraverso una serie di architetti e di opere antiche e moderne che noi scegliamo, su cui operiamo un certo tipo di scelta . Ciò che caratterizza l'architettura come scienza è il metodo progettuale: l'obbiettivo della tesi è pertanto una riflessione sulla teoria della progettazione insegnata nella nostra Scuola – intesa come momento della più generale teoria dell'architettura di Aldo Rossi – ovvero su come essa sia stata seguita per realizzare i progetti presentati. La tesi è così ordinata: una prima parte dedicata alla teoria dell'architettura di Aldo Rossi nella quale vengono indicati i principi, cioè lo scopo che la nostra Scuola di architettura persegue; una seconda parte dedicata alla teoria della progettazione nella quale viene indicato il metodo, cioè lo strumento eminente che la nostra Scuola di architettura utilizza; infine sono presentati i progetti –Laboratorio di sintesi finale: l'architettura del museo; Disegno dell'architettura II; Laboratorio di progettazione architettonica IV; – scelti per mettere in luce le distinte parti di cui il metodo consiste.

I sistemi di diffusione multimediali: il Digital Video Broadcasting (DVB)

In questo elaborato, dopo una descrizione delle procedure per la creazione degli standard per il il broadcasting numerico adottate dal DVB forum, vengono presi in considerazione i trends del mercato del broadcasting numerico e analizzato in dettaglio lo standard utilizzato per la diffusione televisiva terrestre DVB-T e la sua evoluzione DVB-T2.