Le reti in Sanità

Il presente lavoro di ricerca intende analizzare l’importanza dei modelli organizzativi a reti per rispondere alla sfida della complessità del momento storico, politico, sociologico, economico; in modo particolare in Sanità per rispondere all’esigenza di mettere al centro la persona nel percorso di cura ed ottenere una migliore integrazione delle cure. Sebbene i vantaggi delle reti siano bene descritti in letteratura sono ancora pochi gli studi nell’ambito della valutazione. Il caso di studio ha riguardato la rete oncologica romagnola così come percepita dagli informatori chiave, dagli operatori (medici, infermieri, amministrativi) e dalle persone con esperienza di tumore. Dall’analisi degli informatori chiave emerge forte che la rete nasce per dare risposte di qualità ai bisogni dei pazienti, mentre per gli operatori quanto sia importante la dimensione delle relazioni umane e avere valori condivisi per raggiungere obiettivi di efficacia e qualità delle cure. Per quanto riguarda invece la percezione delle persone con esperienza di tumore si rileva quanto sia importante l’appropriatezza della traiettoria di cura nonché l’avere continuità in un percorso, già di per sé difficile, oltre all’importanza dell’umanizzazione dei servizi e della corretta comunicazione medico paziente.

Chirurgia dermatologica pediatrica

Le caratteristiche istologiche, immunologiche e fisiologiche della cute in età pediatrica sono responsabili di quadri dermatologici differenti nel bambino rispetto all’adulto, per cui la dermatologia pediatrica sta acquisendo sempre maggiore importanza come branca specifica nell’ambito sia della dermatologia generale che della pediatria. Il problema cruciale che si incontra nel management delle dermatosi pediatriche è legato alle difficoltà diagnostiche incontrate, che comportano spesso la necessità di eseguire una biopsia cutanea. Mentre gli studi epidemiologici relativi alla frequenza delle patologie dermatologiche pediatriche siano ampiamente riportati in letteratura, i dati e le revisioni relative alla chirurgia pediatrica dermatologica, nell’ambito dei servizi di Dermatologia Pediatrica, sono ridotti. Nell’arco dei tre anni di dottorato, la mia attività è stata finalizzata a valutare la possibilità di organizzare un servizio ambulatoriale per i prelievi bioptici in età pediatrica, con il solo ausilio di anestetici topici e locali. Durante i tre anni di Dottorato di Ricerca sono stati eseguiti 296 prelievi. Le biopsie eseguite sono state suddivise in 3 gruppi: biopsie diagnostiche su patologie dermatologiche (108 pz, 36%), biopsie su neoformazioni cutanee (174 pz, 59 %) e biopsie su lesioni follicolari ( 14 pz, 5%). Di ciascun gruppo sono state valutate le patologie riscontrate, l’età, il sesso, l’impiego di anestetico topico associato ad anestetico locale. In 180 (61%) pazienti dopo la biopsia si è proceduto all’applicazione di punti di sutura. Si sono valutati inoltre i vantaggi e gli svantaggi di tale attività ambulatoriale rispetto ai prelievi eseguiti avvalendosi di una sedazione profonda.

Caratteristiche ortopediche-ortodontiche in pazienti affetti da Sindrome di Nooan

La sindrome di Noonan (SN) è una patologia a trasmissione autosomica dominante caratterizzata da bassa statura, difetti cardiaci congeniti, dismorfia facciale. In letteratura sono stati pubblicati pochi case reports riguardanti le condizioni orali-facciali in pazienti affetti da SN. Obiettivo. Individuare patologie di pertinenza ortopedico-ortodontica caratteristiche della sindrome utilizzando un campione di pazienti con diagnosi di SN. Metodi. Un gruppo di 10 pazienti affetti da SN è stato sottoposto a esame obiettivo extraorale ed intraorale, ortopantomografia, teleradiografia latero-laterale, impronte delle arcate dentarie. Le misurazioni sulle TLL sono state effettuate sulla base dell'analisi MBT; i valori palatali provengono dai modelli di studio dell’arcata superiore. È stata utilizzato il test t-Student per mettere a confronto il gruppo di studio e il gruppo di controllo riguardo le misure cefalometriche e i valori palatali. Risultati. Nel gruppo di studio sono state rilevate anomalie di numero (un dente deciduo soprannumerario e una agenesia di un dente permanente). Il test t-Student rivela differenze statisticamente significative per 7 variabili cefalometriche su 13 e per 2 variabili palatali. Conclusioni. Basandosi su questo studio è possibile concludere che i pazienti con SN mostrano II classe scheletrica di tipo mandibolare, crescita iperdivergente, tendenza al morso aperto scheletrico, palatoversione degli incisivi superiori, palato stretto. Questi risultati possono fornire informazioni utili sia per la diagnosi di SN sia per la pianificazione del corretto trattamento ortodontico.

L'efficienza degli indici azionari: un'analisi empirica

La studio dell’efficienza di un indice azionario ha accresciuto la propria importanza nell’industria dell’asset management a seguito della diffusione dell’utilizzo di benchmark e investimenti indicizzati. Il presente lavoro valuta il livello di efficienza dei principali indici del mercato azionario statunitense, dell’Area Euro e italiano. Lo studio empirico ricorre a quattro misure di efficienza: il GRS, un test small-sample multivariato fondato sul CAPM; il test large sample di Wald, implementato tramite una simulazione bootstrap; il test GMM, che è stato applicato in una cornice non-gaussiana attraverso una simulazione block bootstrap; la misura di efficienza relativa di Kandel e Stambaugh. I risultati empirici forniscono una prova evidente della superiore efficienza degli indici equiponderati. Questa conclusione è interpretata sulla base della letteratura scientifica esistente, analizzando le diverse cause di ordine teorico ed empirico che sono state proposte.

Metamorfosi temporali e spaziali: dal “Revisore” di Nikolaj Gogol’ alla “Morte accidentale di un anarchico” di Dario Fo.

La tesi si propone di tracciare un confronto tra due autori molto distanti tra loro sia nel tempo che nello spazio: Nikolaj Gogol’ e Dario Fo; in particolare si analizzano le commedie Il Revisore di Gogol’ (1836) e Morte accidentale di un anarchico di Fo (1970). Il nesso tra le due opere è stato individuato dalla critica italiana (Franco Quadri, Ferdinando Taviani, Paolo Puppa). Tuttavia gli spunti interpretativi e comparativi non sono mai stati sviluppati appieno della critica. Nonostante le grandi distanze temporali e spaziali, l’analisi si propone dunque di evidenziare i numerosi motivi di consonanza tra le due opere e i due autori, che peraltro testimoniano anche della grande fortuna arrisa all’estero all’autore ucraino, attraverso la mediazione del teatro russo-sovietico del XX secolo. L’approccio metodologico adottato si fonda sui testi dei formalisti russi, di Lotman, sulla Stilkritik di Aurbach, sugli studi di Frye sulla Bibbia intesa come “grande canone” della letteratura occidentale, e soprattutto sull’analisi della cultura carnevalesca e popolare condotta da Bachtin. Lo studio è indirizzato su alcuni elementi precisi: la trama, lo scambio della personalità, l’impostura, la paura e il riso. Per ciascun di questi elementi è stata svolta l’analisi comparativa delle due opere, situandole in un contesto letterario e culturale che va all’antichità e al Medio Evo, dal quale entrambi gli autori mutuano molte suggestioni.

Modellazione di processo in impianti di depurazione urbana finalizzata allo sviluppo di linee guida progettuali. Simulazioni e confronti su dati HERA full - scale.

Gli impianti di depurazione rappresentano, nei contesti urbani, elementi di imprescindibile importanza nell’ambito di una corretta gestione e tutela della risorsa idrica e dell’ambiente. Il crescente grado di antropizzazione delle aree urbanizzate e parallelamente le sempre minori disponibilità in termini di spazi utilizzabili a fini depurativi comportano sempre di più la necessità di ottimizzare i processi di dimensionamento degli impianti. Inoltre, l’obiettivo di aumentare l’efficienza del ciclo depurativo andando a minimizzare i costi correlati alla gestione degli stessi indirizza verso una omogeneizzazione nei criteri di dimensionamento adottati. In questo senso, la normativa tecnica di settore risulta carente, andandosi a concentrare prevalentemente sul rispetto di fissati standard ambientali senza però fornire indicazioni precise sui criteri di progettazione da adottare per perseguire tali standard. La letteratura scientifica pur indicando range di possibili valori di riferimento da adottare, nel dimensionamento degli impianti, lascia un ampio margine di discrezionalità al progettista. La presente tesi si pone pertanto, a partire da tali valori di letteratura, di andare a definire da un lato le caratteristiche quali-quantitative del refluo in ingresso e dall’altro i valori di riferimento da adottare in sede di progettazione per perseguire gli obiettivi precedentemente indicati. La prima parte, di valenza generale, oltre alla caratterizzazione dell’influente descrive nel dettaglio le diverse fasi del processo e il loro dimensionamento che in tutte le sezioni, ad eccezione del biologico, viene effettuato attraverso equazioni semplificate mettendo a confronto e analizzando i parametri progettuali proposti da letteratura. Per quanto riguarda il comparto biologico la maggior complessità del fenomeno da descrivere rende difficile la valutazione delle grandezze che caratterizzano il funzionamento mediante l’utilizzo di equazioni semplificate. Per questo si è deciso di modellare questo comparto, unito a quello della sedimentazione, attraverso un software (WEST) che permette non solo di simulare il processo ma anche, attraverso le analisi di scenario, di determinare quelli che sono i valori progettuali puntuali che consentono di ottenere da un lato una minimizzazione dei costi dell’impianto, sia costruttivi che gestionali, e dall’altro la massimizzazione delle rese depurative. Nello specifico si è fatto riferimento ad impianto fanghi attivi a schema semplificato con potenzialità fissata pari a 10000 AE. Il confronto con i dati di esercizio di alcuni impianti di analoga tipologia ha evidenziato che una buona capacità dello strumento di modellazione utilizzato di descrivere i processi. E’ possibile quindi concludere che tali strumenti, affiancati ad una lettura critica dei risultati ottenuti possono essere ottimi strumenti di supporto sia in fase di progettazione che in prospettiva di gestione dell’impianto al fine di ottimizzare i processi e quindi i costi.

Analisi del ciclo di vita di processi chimici industriali: applicazione alla sintesi di acrilonitrile mediante reazione di ammonossidazione

La green chemistry può essere definita come “l’utilizzo di una serie di principi che riducono o eliminano l’uso o la formazione di sostanze pericolose nella progettazione, produzione e applicazione di prodotti chimici”. . È in questo contesto che si inserisce la metodologia LCA (Life Cycle Assessment), come strumento di analisi e di valutazione. Lo scopo del presente lavoro di tesi è l’analisi degli impatti ambientali associati a processi chimici, ambito ancora poco sviluppato nella letteratura degli studi di LCA. Viene studiato e modellato il ciclo di vita (dall’ottenimento delle materie prime fino alla produzione del prodotto) della reazione di ammonossidazione per la produzione di acrilonitrile, valutando e comparando due alternative di processo: quella tradizionale, che utilizza propilene ( processo SOHIO), e le vie sintetiche che utilizzano propano, ad oggi poco sviluppate industrialmente. Sono stati pertanto creati sei scenari: due da propene (SOHIO FCC, con propene prodotto mediante Fluid Catalytic Cracking, e SOHIO Steam), e quattro da propano (ASAHI, MITSUBISHI, BP povero e ricco in propano). Nonostante la produzione dell’alcano abbia un impatto inferiore rispetto all’olefina, dovuto ai minori stadi di processo, dai risultati emerge che l’ammonossidazione di propano ha un impatto maggiore rispetto a quella del propene. Ciò è dovuto ai processi catalitici che utilizzano propano, che differiscono per composizione e prestazioni, rispetto a quelli da propene: essi risultano meno efficienti rispetto ai tradizionali, comportando maggiori consumi di reattivi in input . Dai risultati emerge che gli scenari da propano presentano maggiori impatti globali di quelli da propene per le categorie Cambiamento climatico, Formazione di materiale e Consumo di combustibili fossili. Invece per la categoria Consumo di metalli un impatto maggiore viene attribuito ai processi che utilizzano propene, per la maggior percentuale di metalli impiegata nel sistema catalitico, rispetto al supporto. L’analisi di contributo, eseguita per valutare quali sono le fasi più impattanti, conferma i risultati. Il maggior contributo per la categoria Consumo di combustibili fossili è ascrivibile ai processi di produzione del propano, dell’ammoniaca e del solfato di ammonio ( legato all’ammoniaca non reagita ). Stessi risultati si hanno per la categoria Cambiamento climatico, mentre per la categoria Formazione di materiale particolato, gli impatti maggiori sono dati dai processi di produzione del solfato di ammonio, del propano e dell’acido solforico (necessario per neutralizzare l’ammoniaca non reagita). Per la categoria Consumo di metalli, il contributo maggiore è dato dalla presenza del catalizzatore. È stata infine eseguita un’analisi di incertezza tramite il metodo Monte Carlo, verificando la riproducibilità dei risultati.

Studio della reazione di N-alchilazione di alchilidenossindoli con etil gliossilato

L’organocatalisi asimmetrica costituisce quella parte della chimica organica che è in grado di favorire con grande efficienza la formazione di prodotti enantiomericamente arricchiti, sfruttando l’azione di piccole molecole organiche per catalizzare reazioni chimiche. Questi catalizzatori organici non comprendendo la presenza di metalli, generalmente sono quindi atossici, stabili, facilmente disponibili e sintetizzabili. Nel corso del progetto presentato in questa tesi, è stato condotto uno studio sulla reazione di N-alchilazione enantioselettiva di alchilidenossindoli organocatalizzata. Le prove sono state principalmente incentrate sulla ricerca del catalizzatore adatto alla reazione, tentando di effettuare la reazione via base catalisi. Quest’approccio introduce un’importante vantaggio di carattere sintetico, effettuando un tipo di reazione che innanzitutto è raramente riportata in letteratura, e che, inoltre, non risulta essere mai stata effettuata in maniera enantioselettiva ed organocatalizzata. L’importanza sintetica dello scheletro derivante dagli ossindoli e le condizioni di reazione, costituiscono altri due valori aggiunti di questo progetto di ricerca.

The school environment as a teacher. The role of space and place in enhancing ecological literacy and social competence development in children and young people

Can space and place foster child development, and in particular social competence and ecological literacy? If yes, how can space and place do that? This study shows that the answer to the first question is positive and then tries to explain the way space and place can make a difference. The thesis begins with the review of literature from different disciplines – child development and child psychology, education, environmental psychology, architecture and landscape architecture. Some bridges among such disciplines are created and in some cases the ideas from the different areas of research merge: thus, this is an interdisciplinary study. The interdisciplinary knowledge from these disciplines is translated into a range of design suggestions that can foster the development of social competence and ecological literacy. Using scientific knowledge from different disciplines is a way of introducing forms of evidence into the development of design criteria. However, the definition of design criteria also has to pass through the study of a series of school buildings and un-built projects: case studies can give a positive contribution to the criteria because examples and good practices can help “translating” the theoretical knowledge into design ideas and illustrations. To do that, the different case studies have to be assessed in relation to the various themes that emerged in the literature review. Finally, research by design can be used to help define the illustrated design criteria: based on all the background knowledge that has been built, the role of the architect is to provide a series of different design solutions that can give answers to the different “questions” emerged in the literature review.

Child Abuse: il ruolo del medico legale nell'assistenza, nella prevenzione e nella preparazione di linee guida

Con questo mio lavoro di tesi ho voluto esplorare il fenomeno del maltrattamento e dell’abuso sui minori delineandone, sulla base della letteratura scientifica nazionale ed internazionale, gli aspetti clinici, epidemiologici ed i fattori di rischio. Un breve excursus giuridico illustrerà, poi, gli articoli di legge relativi alla tutela dei minori; in particolare, ci si soffermerà ad illustrare quegli articoli che normano i doveri dei sanitari nei confronti dell’autorità giudiziaria nel caso si sospetti un abuso su minori. La conoscenza della semeiotica dell’abuso, il suo riconoscimento all’interno di una diagnostica differenziale clinico-forense, la corretta repertazione e la consapevolezza che, un approccio autenticamente tutelante verso la vittima, deve sempre realizzarsi all’interno di una cornice giuridica fanno si che, il ruolo della medicina legale, competente in tutti questi ambiti, diventi senza ombra di dubbio “primum inter pares” all’interno dei team multidisciplinari ed interistituzionali che si occupano di minori vitti. Il gruppo scientifico in cui sono stata inserita e con cui si è proceduto alla redazione del manuale è il Gruppo di lavoro per l’abuso e il maltrattamento dell’infanzia coordinato dalla dott.ssa Maria Rosa Giolito ed ha coinvolto professionisti italiani afferenti a tre differenti aree sanitarie: quella ginecologica, quella medico-legale e quella pediatrica. Il testo elaborato è stato immaginato come un aiuto ai professionisti medici che si trovano a valutare un soggetto prepubere con sospetto di abuso sessuale. Non costituisce una linea-guida per la diagnosi di abuso sessuale, ma definisce alcuni requisiti essenziali e diffonde alcune conoscenze per evitare errori che possano ripercuotersi negativamente sulla valutazione clinica e sull’eventuale conseguente iter giudiziario.

Utilizzo del Rituximab nel trattamento della vasculiti ANCA associate.

Introduzione. Recenti studi hanno dimostrato che il Rituximab (RTX) è un’alternativa sicura ed efficace alla ciclofosfamide nell’indurre la remissione in pazienti con severa vasculite ANCA-associata (AAV) di nuova diagnosi o recidiva. Scopo dello studio era valutare l’efficacia e la sicurezza del RTX nei nostri pazienti con AAV. Metodi. Studio retrospettivo delle caratteristiche cliniche, dei risultati e della tolleranza al RTX dei pazienti con AAV trattati presso il nostro centro da Gennaio 2006 a Dicembre 2011. Inizialmente veniva utilizzato lo schema convenzionale delle 4 somministrazioni settimanali da 375 mg/m2. Dal 2011 sulla base dell’esperienza maturata e dei nuovi dati della letteratura si decideva di non adottare uno schema fisso per le recidive, ma di somministrare una o due dosi secondo la severità della recidiva ed il rischio infettivo. Risultati. Venivano trattati 51 pazienti con AAV, 15/51 (29%) di nuova diagnosi e 36/51 (71%) ad una recidiva. La maggior parte dei pazienti con nuova diagnosi presentavano una micropoliangioite con severo interessamento renale, 5/15 (33%) erano in dialisi dall’esordio. 32/36 (89%) pazienti trattati ad una recidiva presentavano una recidiva granulomatosa di Granulomatosi di Wegener (WG). Tutti ottenevano una remissione, più rapidamente per le manifestazioni vasculitiche. 2/5 pazienti in dialisi dall’esordio recuperavano la funzione renale. Si osservavano 11 recidive in 9 pazienti con GW mediamente dopo 23.1 mesi, tutti ottenevano nuovamente la remissione. Ad un follow-up medio di 20.1 mesi si registravano 4 decessi, 3 (3/15, 20%) nel gruppo di pazienti con nuova diagnosi, uno (1/36, 3%) nel gruppo trattato ad una recidiva. Quattro pazienti sospendevano il RTX per infezioni. Conclusioni. Nella nostra casistica il RTX si è dimostrato efficace e sicuro nell’indurre la remissione in pazienti con severa AAV, sia all’esordio che alla recidiva. I pazienti con WG presentano maggior rischio di recidiva e dovrebbero pertanto essere mantenuti in terapia immunosoppressiva dopo RTX.

Women writing Ireland, 1798 – 1921: il popular novel tra identità nazionale e immaginario religioso nelle autrici cattoliche e protestanti.

La presente tesi si concentra sul romanzo popolare irlandese scritto da donne, nel periodo compreso tra il 1798 e il 1921. Quattro sono le autrici prese in considerazione: Charlotte Elizabeth Tonna, Sydney Owenson (meglio conosciuta come Lady Morgan), Edith Somerville e Katharine Tynan, le cui vite e opere coprono un periodo storico fondamentale per l’uscita dell’Irlanda dal dominio coloniale britannico e la formazione della nazione irlandese nel sud del paese. L’interesse principale è quello di analizzare il modo in cui nei loro testi prende forma la nazione, e in particolare attraverso quali immagini e riferimenti religiosi. Il senso è quello, dunque, di rileggere tali testi prestando maggiore attenzione alla religione, uno dei principali collanti tra autrici e pubblico: all’epoca in cui l’Irlanda stava acquisendo i confini che oggi ancora mantiene, esisteva un terreno d’incontro tra discorso politico e letterario, quello della nazione, e tale terreno veniva attraversato anche dal messaggio religioso. Il fine ultimo è quello di dimostrare che la letteratura popolare non è “seconda” ad altre quanto a valori che è in grado di trasmettere e a messaggi che è in grado di veicolare: trascurarla significa non capire i meccanismi attraverso i quali una società si sviluppa e si modifica.

Dalla "postmémoire" alla scrittura dell'oblio nell'opera di Sylvie Germain

La tesi intitolata "Dalla «postmémoire» alla scrittura dell’oblio nell’opera di Sylvie Germain" si pone l’obbiettivo di analizzare l’opera della scrittrice francese contemporanea Sylvie Germain alla luce di alcune elaborazioni teoriche sulla dialettica memoria/oblio. Basandoci sulle principali teorie-guida relative alla «memoria culturale» teorizzate da Maurice Halbwachs,Pierre Nora,Tzvetan Todorov,Paul Ricoeur e Aleida Assmann,la nostra analisi si è successivamente concentrata sugli studi condotti attorno al concetto di «postmemory» elaborato dalla studiosa americana Marianne Hirsch. Scopo di questa prospettiva critica è quello di leggere l'opera germainiana come espressione di una «affiliative postmemory», risultato della connessione generazionale di coloro che non hanno vissuto direttamente un trauma con la «literal second generation». Attraverso un approccio interdisciplinare che ha coinvolto gli studi sulla memoria culturale in rapporto alla questione del gender, si è inoltre evidenziata la specificità del ruolo rivestito dai personaggi femminili nei romanzi di Germain che assumono un peso determinante nella trasmissione della memoria individuale e collettiva, studio che ci ha permesso di sottolineare la funzione attiva svolta dalle protagoniste delle opere della scrittrice. Nella fase conclusiva sono state esaminate le opere più recenti di Sylvie Germain pubblicate tra il 2008 e il 2011 in cui l’autrice sembra avvertire la necessità di controbilanciare il peso della «troppa memoria» con una giusta dose di oblio. Sono state inoltre affrontate la questione della responsabilità etica e l’idea di debito nei confronti della memoria familiare e collettiva: la scrittura stessa diventa così per Germain lo strumento attraverso il quale l’autrice assume il ruolo di passeuse de mémoire per le generazioni future.

Lexis paidike. L'infanzia in Origene

La tesi considera la trattazione del tema dell’infanzia nell’opera di Origene di Alessandria attraverso l’analisi dei testi trasmessi nell’originale greco e delle traduzioni latine di Rufino e Gerolamo. Il motivo dell’infanzia è considerato nei suoi molteplici significati, a più livelli: esegetico, antropologico, filosofico, teologico. La ricerca non si limita dunque ad un’analisi di taglio storico, ma ambisce a definire la concezione e la considerazione della prima età dal punto di vista di Origene e nel contesto più ampio della letteratura coeva. Attraverso una lettura estensiva del corpus dell’Alessandrino sono stati isolati tutti i passi che si riferiscono all’infanzia a livello letterale e metaforico. Ne emerge una trattazione complessa del tema: il bambino è per Origene, in linea con le contemporanee dottrine filosofiche, un essere eminentemente irrazionale. Il pieno sviluppo della facoltà razionale si colloca al termine di questa prima fase dell’esistenza. L’irrazionalità infantile previene nei più piccoli l’insorgere delle passioni. A questa dottrina, di matrice stoica, si ricollegano alcuni sviluppi di grande rilievo: la non-imputabilità dei minori ed il legame tra razionalità e responsabilità individuale; la riflessione sulla sofferenza dei bambini e la ricerca di una sua causa, che non intacchi il principio della giustizia divina; l’ipotesi della preesistenza delle anime. Sul piano teologico la ricerca si focalizza sulle nozioni di paternità e filiazione e sul tema, centrale nell’orizzonte origeniano, della pedagogia. Origene concepisce la pedagogia umana, sul modello di quella divina, come una rete dinamica di relazioni che ricalca i rapporti parentali. A fianco di questi ambiti d’interesse principali l’analisi considera aspetti ulteriori: risalto è concesso, in particolare, all’elemento biografico ed all’aspetto linguistico e letterario della prosa origeniana, quest'ultimo spesso trascurato dalla critica. Lo studio mostra inoltre la vitalità di alcuni modelli esegetici origeniani nella tradizione successiva.

Mixnets e EasyCrypt: dimostrazioni crittografiche assistite da calcolatore

Negli ultimi anni l'avanzamento della ricerca in campo crittografico ha portato alla necessità di utilizzare strumenti software per la verifica delle prove formali. EasyCrypt è un tool, in fase di sviluppo, ideato per dimostrazioni basate su sequenze di giochi. Nella presente tesi viene presentato un caso di studio riguardante l'applicabilità di EasyCrypt alle mixing networks (abbr. mixnets). è presente un'esaustiva rassegna delle mixnets proposte in letteratura ed è descritta la teoria alla base delle dimostrazioni critografiche basate su sequenze di giochi. EasyCrypt viene analizzato nei suoi fondamenti teorici nonché nelle applicazioni pratiche, con riferimento particolare agli esperimenti svolti per la dimostrazione di proprietà di sicurezza delle mixnets.