Timing attack di Paul C. Kocher: attacco al sistema di sicurezza RSA mediante strumenti di statistica

In questa tesi ho voluto descrivere il Timing Attack al sistema crittografico RSA, il suo funzionamento, la teoria su cui si basa, i suoi punti di forza e i punti deboli. Questo particolare tipo di attacco informatico fu presentato per la prima volta da Paul C. Kocher nel 1996 all’“RSA Data Security and CRYPTO conferences”. Nel suo articolo “Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems” l’autore svela una nuova possibile falla nel sistema RSA, che non dipende da debolezze del crittosistema puramente matematiche, ma da un aspetto su cui nessuno prima di allora si era mai soffermato: il tempo di esecuzione delle operazioni crittografiche. Il concetto è tanto semplice quanto geniale: ogni operazione in un computer ha una certa durata. Le variazioni dei tempi impiegati per svolgere le operazioni dal computer infatti, necessariamente dipendono dal tipo di algoritmo e quindi dalle chiavi private e dal particolare input che si è fornito. In questo modo, misurando le variazioni di tempo e usando solamente strumenti statistici, Kocher mostra che è possibile ottenere informazioni sull’implementazione del crittosistema e quindi forzare RSA e altri sistemi di sicurezza, senza neppure andare a toccare l’aspetto matematico dell’algoritmo. Di centrale importanza per questa teoria diventa quindi la statistica. Questo perché entrano in gioco molte variabili che possono influire sul tempo di calcolo nella fase di decifrazione: - La progettazione del sistema crittografico - Quanto impiega la CPU ad eseguire il processo - L’algoritmo utilizzato e il tipo di implementazione - La precisione delle misurazioni - Ecc. Per avere più possibilità di successo nell’attaccare il sistema occorre quindi fare prove ripetute utilizzando la stessa chiave e input differenti per effettuare analisi di correlazione statistica delle informazioni di temporizzazione, fino al punto di recuperare completamente la chiave privata. Ecco cosa asserisce Kocher: “Against a vulnerable system, the attack is computationally inexpensive and often requires only known ciphertext.”, cioè, contro sistemi vulnerabili, l’attacco è computazionalmente poco costoso e spesso richiede solo di conoscere testi cifrati e di ottenere i tempi necessari per la loro decifrazione.

Modelli diffusivi ed effetti di ritardo nella conduzione del calore e nella dinamica delle popolazioni.

In questi tesi viene studiata la teoria classica di diffusione del calore come modello parabolico per cui viene calcolata una soluzione attraverso il metodo di separazione delle variabili e il metodo delle onde dispersive. Viene poi affrontata la teoria alternativa proposta da Cattaneo del modello iperbolico del calore, allo scopo di superare il paradosso di velocità di propagazione infinita. Si conclude con alcuni esempi in cui lo stesso ragionamento viene applicato in diverse teorie diffusive e di reazione-diffusione in ambiti bio-matematici, come ad esempio la dinamica delle popolazioni.

Dipendenza dai dati per equazioni differenziali ordinarie

Problema di Cauchy, teorema di dipendenza continua dai dati iniziali, teorema di dipendenza regolare dai dati e dai parametri.

Diffusion maps in the Subriemannian motion group and perceptual grouping

Il presente lavoro è motivato dal problema della constituzione di unità percettive a livello della corteccia visiva primaria V1. Si studia dettagliatamente il modello geometrico di Citti-Sarti con particolare attenzione alla modellazione di fenomeni di associazione visiva. Viene studiato nel dettaglio un modello di connettività. Il contributo originale risiede nell'adattamento del metodo delle diffusion maps, recentemente introdotto da Coifman e Lafon, alla geometria subriemanniana della corteccia visiva. Vengono utilizzati strumenti di teoria del potenziale, teoria spettrale, analisi armonica in gruppi di Lie per l'approssimazione delle autofunzioni dell'operatore del calore sul gruppo dei moti rigidi del piano. Le autofunzioni sono utilizzate per l'estrazione di unità percettive nello stimolo visivo. Sono presentate prove sperimentali e originali delle capacità performanti del metodo.

Conflict affected peoples’ access to education: IDP pupils in Georgia

This work seeks to understand what kind of impact educational policies have had on the secondary school students among internally displaced persons (IDPs) and their identity reconstruction in Georgia. The study offers a snapshot of the current situation based on desk study and interviews conducted among a sample of secondary school IDP pupils. In the final chapter, the findings will be reflected against the broader political context in Georgia and beyond. The study is interdisciplinary and its methodology is based on social identity theory. I shall compare two groups of IDPs who were displaced as a result of two separate conflicts. The IDPs displaced as a result of conflict in Abkhazia in 1992–1994 are named as old caseload IDPs. The second group of IDPs were displaced after a conflict in South Ossetia in 2008. Additionally, I shall touch upon the situation of the pupils among the returnees, a group of Georgian old caseload IDPs, who have spontaneously returned to de facto Abkhazia. According to the interviews, the secondary school student IDPs identify themselves strongly with the Georgian state, but their group identities are less prevailing. Particularly the old case load IDP students are fully integrated in local communities. Moreover, there seems not to be any tangible bond between the old and new caseload IDP students. The schools have neither tried nor managed to preserve IDP identities which would, for instance, make political mobilisation likely along these lines. Right to education is a human right enshrined in a number of international conventions to which the IDPs are also entitled. Access to education or its denial has a deep impact on individual and societal development. Furthermore, education has a major role in (re)constructing personal as well as national identity.

Applicazione della logica fuzzy al docking tra dirigibili

Progetto e analisi delle performance di un controllore realizzato con la metodologia fuzzy per una manovra di docking fra due dirigibili. Propedeutica a questo, è stata la campagna, presso la galleria del vento messa a disposizione dalla Clarkson University, di raccolta di dati sperimentali, che sono stati poi utilizzati per realizzare un simulatore con cui testare il controllore. Nel primo capitolo, si è presentato la tecnologia dei dirigibili, le varie tipologie ed una descrizione dei moderni concepts. Successivamente, sono state presentate le applicazioni nelle quali i moderni dirigibili possono essere impiegati. L’ultima parte tratta di due esempi di docking fra mezzi aerei: il rifornimento in volo e i “parasite aircrafts”. Il secondo capitolo, tratta della logica utilizzata dal controllore: la logica fuzzy. Le basi della teoria insiemistica classica sono state il punto di partenza per mostrare come, introducendo le funzioni di appartenenza, sia possibile commutare tra la teoria classica e fuzzy. La seconda parte del capitolo affronta le nozioni della teoria fuzzy, esponendo la metodologia con la quale è possibile inserire un controllore di questo tipo in un sistema “tradizionale”. Il terzo capitolo presenta il modello di volo dei dirigibili. Partendo dalla legge di Newton, introdotto il concetto di inerzia e massa aggiunte, si arriva alle equazioni del moto non lineari. L’ultima parte è stata dedicata alla linearizzazione delle equazioni e alla condizione di trim. Il quarto capitolo riguarda la campagna sperimentale di test in galleria del vento, con la realizzazione dei modelli in scala e la calibrazione della bilancia; successivamente, nel capitolo si commentano i dati sperimentali raccolti. Il quinto capitolo, mostra la metodologia con cui è possibile progettare un controllore fuzzy per il controllo della manovra di docking fra dirigibili. La seconda parte mostra le performance ottenute con questo tipo di sistema.

Modellazione CAD di modulo abitativo per stazione spaziale

L’interesse per missioni spaziali verso la luna, il pianeta Marte o asteroidi vicini NEA (near earth asteroids) è in continuo aumento; ne sono prova i numerosi concorsi di idee innovative da applicare a possibili missioni spaziali. A partire dai profili di missione e da altri dati forniti dai gruppi di ricerca attivi nel settore, mi sono occupato di svolgere la modellazione CAD concettuale di un modulo abitabile per due astronauti e, in particolare, di pensare a livello concettuale come possano essere risolte problematiche di dispiegamento del modulo e montaggio nello spazio. E’ infatti fondamentale che la struttura ripiegata possa essere inserita all’interno di un lanciatore già definito, e che possa espandersi una volta in orbita. Ho quindi svolto il disegno del modulo abitativo sia in configurazione di lancio che in configurazione dispiegata, cercando di fornire alcune prime indicazioni riguardo alle possibili configurazioni costruttive e ad una possibile sequenza di montaggio.

Lo sviluppo di disturbi psichiatrici in pazienti hcv+ sottoposti a terapia antivirale: L'impatto dei nuovi farmaci

Introduzione:l’interferone (IFN) usato per l’eradicazione del virus dell’Epatite C, induce effetti collaterali anche riferibili alla sfera psichica. I dati sugli eventi avversi di tipo psichiatrico dei nuovi farmaci antivirali (DAA) sono limitati. Lo scopo di questo studio è di valutare lo sviluppo di effetti collaterali di tipo psichiatrico in corso di due distinti schemi di trattamento: IFN-peghilato e ribavirina [terapia duplice (standard o SOC)]; DAA in associazione a IFN-peghilato e ribavirina (terapia triplice). Metodi: pazienti HCV+ consecutivi seguiti presso l’Ambulatorio delle Epatiti Croniche della Semeiotica Medica del Dipartimento di Scienze Mediche e Chirurgiche dell’Università di Bologna in procinto di intraprendere un trattamento antivirale a base di IFN, sottoposti ad esame psicodiagnostico composto da intervista clinica semistrutturata e test autosomministrati: BDI, STAXI-2, Hamilton Anxiety Scale, MMPI – 2. Risultati: Sono stati arruolati 84 pazienti, 57/84 (67.9%) nel gruppo in triplice e 27/84 nel gruppo SOC. Quasi tutti i pazienti arruolati hanno eseguito l’intervista clinica iniziale (82/84; 97.6%), mentre scarsa è stata l’aderenza ai test (valori missing>50%). Ad eccezione dell’ansia, la prevalenza di tutti gli altri disturbi (irritabilità, astenia, disfunzioni neurocognitive, dissonnia) aumentava in corso di trattamento. In corso di terapia antivirale 43/84 (51.2%) hanno avuto bisogno di usufruire del servizio di consulenza psichiatrica e 48/84 (57.1%) hanno ricevuto una psicofarmacoterapia di supporto, senza differenze significative fra i due gruppi di trattamento. Conclusioni : uno degli elementi più salienti dello studio è stata la scarsa aderenza ai test psicodiagnostici, nonostante l’elevata prevalenza di sintomi psichiatrici. I risultati di questo studio oltre ad evidenziare l’importanza dei sintomi psichiatrici in corso di trattamento e la rilevanza della consulenza psicologica e psichiatrica per consentire di portare a termine il ciclo terapeutico previsto (migliorandone l’efficacia), ha anche dimostrato che occorre ripensare gli strumenti diagnostici adattandoli probabilmente a questo specifico target.

Progettazione agli elementi finiti di una pedana dinamometrica per l'acquisizione della dinamica del cammino a regime

Il lavoro proposto consiste nella progettazione di una doppia pedana dinamometrica per lo studio del cammino a regime. Il progetto si pone, inoltre, l’obiettivo di progettare la pedana senza l’ausilio di celle di carico commerciali. Gli aspetti analizzati sono sia riguardanti i materiali sia la fisica necessaria per l’acquisizione di segnali di deformazione. Per quanto riguarda i materiali si è deciso di utilizzare per il TOP un pannello sandwich honeycomb in alluminio e per i POST cilindri cavi anch’essi in alluminio. Per l’acquisizione si è optato per estensimetri resistivi. Una volta ottenuto, dalla teoria, gli elementi base del progetto si è passati ad uno studio agli elementi finiti, tramite l’utilizzo di COMSOL Multiphysics, passando prima per l’omogeneizzazione del core alveolare. Si è fatta un’analisi modale per la determinazione della frequenza di risonanza ed una statica per risolvere il problema elastico. Infine si è ottenuta la matrice di calibrazione del sistema la quale dà risultati ragionevolmente positivi.

Sviluppo di un'attrezzatura per prove di fatica ultrasonica

Nella prima parte di questo lavoro di tesi è stata effettuata una ricerca sullo stato dell’arte attuale delle macchine per prove a fatica con principio di risonanza. Pertanto viene riportata una descrizione delle necessità che portarono all’interesse verso questa metodologia di prove a fatica oltre che una descrizione delle macchine ad ultrasuoni di concezione moderna, delle loro caratteristiche e dei loro componenti tipici. Successivamente si sono riportati i dibattiti principali riguardanti la validità delle prove ottenute con questa tipologia di macchine. Si è, di seguito, utilizzata la teoria classica delle onde elastiche per illustrare il principio di funzionamento della macchina. Si sono ottenute le soluzioni esatte dei campi di spostamento, deformazione e sforzo nel caso di provini o sonotrodi a sezione costante confrontando successivamente i risultati così ottenuti con soluzione in ambito FEM per dimostrare la validità degli stessi. Lo stesso tipo di analisi è stata effettuata anche per il provino tipico di prove a fatica, ossia il provino circolare, dove la soluzione esatta è stata ottenuta per similitudine nel provino, catenoidale. Sono riportati un breve riassunto dei nuovi fenomeni di fatica che si sono riscontrati grazie alle possibilità di effettuare test in regione VHCF, laddove non era possibile con le macchine convenzionali, e le conclusioni del presente lavoro di tesi.

Ricostruzione della colonna anteriore dopo resezione tumorale: Utilizzo di gabbia in titanio/carbonio o innesto osseo allogenico armato in titanio?

Il rachide è stato suddiviso in tre colonne da Denis: anteriore e centrale comprendono la metà anteriore del corpo vertebrale, la metà posteriore e l’inizio dei peduncoli, mentre la colonna posteriore comprende l’arco e i peduncoli stessi. In caso di resezione o lesione della colonna anteriore e media è indicata la ricostruzione. Diverse tecniche e materiali possono essere usati per ricostruire il corpo vertebrale. Innesti vascolarizzati, autograft, allograft sono stati usati, così come impianti sintetici di titanio o materiale plastico come il PEEK (Poly etere etere ketone). Tutti questi materiali hanno vantaggi e svantaggi in termini di proprietà intrinseche, resistenza meccanica, modulo di elasticità, possibilità di trasmissione malattie, capacità di fondersi con l’osso ospite o meno. Le soluzioni più usate sono le cage in titanio o carbonio, il PMMA ( Poli methil metacrilato), gli innesti ossei massivi. Si è effettuato uno studio di coorte retrospettivo paragonando due gruppi di pazienti oncologici spinali trattati da due chirurghi esperti in un centro di riferimento, con vertebrectomia e ricostruzione della colonna anteriore: un gruppo con cage in carbonio o titanio, l’altro gruppo con allograft massivo armato di innesto autoplastico o mesh in titanio. Si sono confrontati i risultati in termini di cifosi segmenterai evolutiva, fusione ossea e qualità di vita del paziente. Il gruppo delle cage in carbonio / titanio ha avuto risultati leggermente migliori dal punto di vista biomeccanico ma non statisticamente significativo, mentre dal punto di vista della qualità di vita i risultati sono stati migliori nel gruppo allograft. Non ci sono stati fallimenti meccanici della colonna anteriore in entrambi i gruppi, con un Fu tra 12 e 60 mesi. Si sono paragonati anche i costi delle due tecniche. In conclusione l’allogar è una tecnica sicura ed efficace, con proprietà meccaniche solide, soprattutto se armato con autograft o mesi in titanio.

La teoria dei giochi in classe: cos'e cambiato.

La tesi descrive una sperimentazione condotta su quattro classi di scuola secondaria di secondo grado: la motivazione degli alunni è analizzata con riferimento a un laboratorio di Teoria dei Giochi. Nel primo capitolo è data la definizione di motivazione in matematica in relazione alle diverse teorie esistenti, elaborate da psicologi e ricercatori in Didattica della matematica; nel secondo capitolo si tratta di Teoria dei Giochi e si analizzano dal punto di vista matematico alcuni argomenti cui si fa riferimento nel laboratorio; nel terzo capitolo è descritta la sperimentazione e nel quarto le relative conclusioni.

Studio preliminare di flusso attorno ad un pantografo per treno ad alta velocità

In questo elaborato di tesi viene presentata la comparazione tra due codici CFD, rispettivamente Fluent e OpenFOAM, mediante simulazioni che sono alla base di uno studio numerico di flusso attorno ad un pantografo per treno ad alta velocità. Si è apprezzato quindi la facilità d’uso di un software venduto tramite licenza e la difficoltà di un software open source come OpenFOAM, il quale però ha vantaggi in termini di adattamento ai casi più specifici. Sono stati quindi studiati due casi, scambio termico in regime laminare attorno ad un cilindro bidimensionale e flusso turbolento completamente sviluppato in un canale. Tutte le simulazioni numeriche hanno raggiunto convergenza e sono state validate positivamente mediante confronto con dati sperimentali. Il primo caso prevede un cilindro investito da un flusso a temperatura minore rispetto alla temperatura della superficie del cilindro; per avere più riscontri, sono state condotte diverse prove a valori differenti del numero di Prandtl, e per ogni simulazione è stato ricavato il corrispettivo numero di Nusselt, successivamente comparato con i dati sperimentali per la validazione delle prove. A partire dalla creazione della griglia di calcolo, è stato effettuato uno studio del fenomeno in questione, creando così una griglia di calcolo sviluppata a valle del cilindro avente maggior densità di celle a ridosso della parte del cilindro. In aggiunta, svolgendo le prove con schemi numerici sia del primo che del secondo ordine, si è constatata la miglior sensibilità degli schemi numerici del secondo ordine rispetto a quelli del primo ordine. La seconda tipologia di simulazioni consiste in un flusso turbolento completamente sviluppato all’interno di un canale; sono state svolte simulazioni senza e con l’uso delle wall functions, e quindi usate griglie di calcolo differenti per i due tipi di simulazioni, già disponibili per entrambi i software. I dati ottenuti mostrano uno sforzo computazionale maggiore per le simulazioni che non prevedono l’uso delle wall functions, e quindi una maggiore praticità per le simulazioni con le wall functions. Inoltre, le simulazioni di questo secondo caso sono state svolte con diversi modelli di turbolenza; in Fluent sono stati utilizzati i modelli k-ε e RSM mentre in OpenFOAM è stato utilizzato solo il modello k-ε in quanto il modello RSM non è presente. La validazione dei risultati è affidata alla comparazione con i dati sperimentali ricavati da Moser et all mediante simulazioni DNS, mettendo in risalto la minor accuratezza delle equazioni RANS.

Le cure oncologiche e la prospettiva del paziente. Revisione di letteratura e un caso di studio

Numerose ricerche indicano i modelli di cure integrate come la migliore soluzione per costruire un sistema più efficace ed efficiente nella risposta ai bisogni del paziente con tumore, spesso, però, l’integrazione è considerata da una prospettiva principalmente clinica, come l’adozione di linee guida nei percorsi della diagnosi e del trattamento assistenziale o la promozione di gruppi di lavoro per specifiche patologie, trascurando la prospettiva del paziente e la valutazione della sua esperienza nei servizi. Il presente lavoro si propone di esaminare la relazione tra l’integrazione delle cure oncologiche e l’esperienza del paziente; com'è rappresentato il suo coinvolgimento e quali siano i campi di partecipazione nel percorso oncologico, infine se sia possibile misurare l’esperienza vissuta. L’indagine è stata svolta sia attraverso la revisione e l’analisi della letteratura sia attraverso un caso di studio, condotto all'interno della Rete Oncologica di Area Vasta Romagna, tramite la somministrazione di un questionario a 310 pazienti con neoplasia al colon retto o alla mammella. Dai risultati, emerge un quadro generale positivo della relazione tra l’organizzazione a rete dei servizi oncologici e l’esperienza del paziente. In particolare, è stato possibile evidenziare quattro principali nodi organizzativi che introducono la prospettiva del paziente: “individual care provider”,“team care provider”,“mixed approach”,“continuity and quality of care”. Inoltre, è stato possibile delineare un campo semantico coerente del concetto di coinvolgimento del paziente in oncologia e individuare quattro campi di applicazione, lungo tutte le fasi del percorso: “prevenzione”, “trattamento”,“cura”,“ricerca”. Infine, è stato possibile identificare nel concetto di continuità di cura il modo in cui i singoli pazienti sperimentano l’integrazione o il coordinamento delle cure e analizzare differenti aspetti del vissuto della persona e dell’organizzazione.

Ubersetzungstheorien. Eine einfuhrung: Traduzione e commento di parti selezionate

La presente tesi si concentra sulla traduzione di parti scelte di Übersetzungstheorien. Eine Einführung, manuale di carattere saggistico ad opera della nota linguista tedesca Radegundis Stolze contenente una spiegazione esaustiva, chiara e dettagliata delle più note teorie divenute oggetto di studio della scienza della traduzione dalla nascita della disciplina fino ai giorni nostri. Punto di partenza dell’elaborato sarà l’analisi del saggio, in cui si tracciano le caratteristiche testuali del genere, sia per quanto riguarda il testo originale tedesco, sia per quanto riguarda quello italiano, in modo da notare le differenze e mettere in evidenza le principali tecniche da prendere in considerazione per la trasmissione del messaggio da un modello all’altro. In seguito sarà effettuata un’analisi del testo di partenza secondo i criteri di Brinker (2010) e Nord (2009) con particolare interesse all’aspetto grammaticale e tematico , al rapporto autore-lettore e agli aspetti interni ed esterni al testo. Sulla base di questa analisi verranno poi indicati gli aspetti più significativi a cui prestare attenzione durante la traduzione e si procederà alla traduzione vera e propria. Questa consta di due testi particolarmente significativi per la teoria della traduzione, rispettivamente il discorso sulla traduzione delle Sacre Scritture di Nida e la spiegazione della Teoria dello skopos di Vermeer e Rice. Alla traduzione vera e propria seguiranno un commento riguardante le principali problematiche incontrate e le tecniche utilizzate di volta in volta per risolverle e un paragrafo conclusivo a riassumere i risultati ottenuti.