DuskZone - by Dario Scarpa - materiale esami Informatica

Laurea Triennale

tesi:
- Una libreria per l'interazione hand-based in ambienti virtuali
  - dettagli, documenti, slides e video

Laurea Specialistica

tesi:
- Solid Angle based Ambient Obscurance in Image Space
  - dettagli, documenti, slides e video

Ambienti Virtuali Interattivi e Videogiochi
- progetto
  - Slugs
    Ho sviluppato (in gruppo con Angelo Cafaro e Giannicola Scarpa) il videogioco Slugs, ispirato al concept di Worms. Abbiamo utilizzato Ogre3D in tandem a OgreAL (wrapper di OpenAL) e NxOgre (wrapper di Physx).
    - dettagli e video

Programmazione Concorrente e Parallela
- progetto
  - Simple MPI Ray Tracer
    Ho parallelizzato una semplice implementazione del ray tracing sperimentando varie features di MPI e diverse strategie di distribuzione del lavoro (splitting statico e adattivo, tasks e pool di workers con double buffering e comuniczione asincrona).
    - dettagli e sorgenti

Programmazione Algoritmica Avanzata
- Pubblicare le soluzioni rovinerebbe il divertimento, ma inserisco un link alla mia pagina di statistiche. Se qualcuno è curioso di sapere come ho ottenuto un certo tempo in uno dei problemi indicati, può contattarmi via e-mail.
  - mie statistiche

Sicurezza su reti 2
- tesina
  - Introduzione all'exploiting: Linux x86 stack buffer overflows
    Cenni introduttivi su vulnerability assessment ed exploiting, e poi un'analisi estensiva della problematica degli stack buffer overflows. Preparazione del payload (shellcode), layout di un programma in memoria, uso dello stack nelle chiamate a funzione. Tecnica dello "stack smashing" e analisi delle contromisure introdotte nel corso degli anni (ASLR, ProPolice, NX stack). Esempio completo di exploiting di una vulnerabilità remota.
- documentazione relativa ad alcuni task di laboratorio
  - AttivitÃ pre-analisi forense
    Ho impersonato un utente medio e un attaccante mettendo in scena una violazione di sicurezza. La maliziosa LadyNastenka raggira l'utente e gli installa un server FTP clandestino: l'utente si trova inconsapevolmente a distribuire contenuti illegali. La Virtual Machine attaccata sarebbe poi stata consegnata a un altro gruppo per l'analisi forense: sarà riuscito a stabilire le effettive responsabilità in gioco?
    - documento
  - Malware Analysis & Removal Tool
    Mi è stata data da analizzare una virtual machine "infetta" da un malware giocattolo programmato da un altro gruppo. Il documento mostra alcune tecniche di validità generale nell'analisi di software malizioso e un esempio di come si possa preparare un semplice tool di rimozione.
    - documento
    - slides
Strumenti di Crittografia per la Sicurezza dell'Informazione
- esercizio
  - Cifratura simmetrica e HMAC di file di grandezza arbitraria
    Buona parte degli esempi relativi all'utilizzo delle librerie OpenSSL per la cifratura simmetrica agisce su buffer (e in alcuni casi interi files vengono caricati in memoria prima di agire). Ovviamente non si tratta di un approccio pratico nel caso di file di grandi dimensioni, che invece vengono trattati piÃ¹ ragionevolmente dai tools realizzati, utili da prendere come esempio per gestire situazioni del genere in maniera non totalmente naive.
    L'archivio include i sorgenti dei tools ccaKeyGen, ccaEncrypt e ccaDecrypt:
    - ccaKeyGen genera una chiave random k di dimensioni adeguate all'algoritmo di cifratura simmetrica C che si indica voler utilizzare
    - ccaEncrypt, indicato un file pt (plaintext), un algoritmo di cifratura simmetrica C, una chiave k generata con ccaKeyGen per C, e un algoritmo di hashing md, produce un file ct (ciphertext) che Ã¨ ct = C(pt,k)||HMAC(C(pt,k),md)
    - ccaDecrypt, indicato un file ct (ciphertext) ottenuto con ccaEncrypt, una chiave k adeguata, e un algoritmo di hashing md,
    1) calcola HMAC(C(pt,k),md) dove C(pt,k) è la prima parte del ciphtertext ct
    2) se corrisponde con l'HMAC riportato in coda a ct, considera il file autentico e quindi procede con la decifratura, altrimenti segnala l'errore.
    - archivio sorgenti
- progetto
  - Implementazione del Commitment di Pedersen basata sull'utilizzo di certificati digitali
    Utile come esempio di utilizzo delle librerie OpenSSL per manipolare certificati e CSR introducendo estensioni custom.
    L'archivio include i sorgenti dei due tool commitment_req e commitment_chk che, rispettivamente, si occupano di calcolare e inserire l'estensione "commitment" all'interno di una CSR, e di estrarre e verificare tale valore dalla CSR stessa (la CA può effettuare il decommitment dalla CSR) o dal certificato, una volta che questo sarà rilasciato dalla CA.
    Incluso anche uno script bash che, invocando l'utility openssl e i tools sviluppati, permette di provare rapidamente il sistema.
    - archivio sorgenti
    - progetto su GitHub