eMail: alessandro [dot] reina [at] gmail [dot] com
Gpg Key: EEBCC72A
(Fingerprint: FB13 C1D9 5F03 AB2C 8E62 CAB2 27B9 0D17 EEBC C72A)
gpg --keyserver wwwkeys.eu.pgp.net --recv-key EEBCC72A
Download English version (out of date): [PDF-eng]
I got my M.Sc. degree in Computer Science on April 26, 2010 at Università degli Studi di Milano (University of Milan, Italy) with a final grade of 110/110 cum Laude.
The work I did for my M.Sc. thesis is titled "Progetto e realizzazione di uno strumento di misura 'on-line' della concentrazione di particolato in aria mediante tecniche di diffusione ottica" (available on request by email)
I got my B.Sc. degree in Computer Science on December 12, 2006 at Università degli Studi di Milano (University of Milan, Italy) with a final grade of 110/110 cum Laude.
The work I did for my B.Sc. thesis is titled "Sviluppo, implementazione e simulazione di un algoritmo distribuito di autolocalizzazione per reti di sensori wireless" (available in Italian language only).
Download Italian version: [PDF-ita]
KEmuFuzzer is protocol-specific fuzzer for system virtual machines. KEmuFuzzer generates floppy images to boot a virtual machine and to execute a specific test-case. The same test-case is executed also in an oracle, based on hardware-assisted virtualization. The states obtained are compared to detect defects in the virtual machine. Test-cases are generated using a special compiler that applies certain mutations before compiling.
KEmuFuzzer homepage
Hiding LKM 2.6.X: hiding linux kernel module playing with proc entry and file operations.
[code]
[PDF-ita]
Template XCode-AVR: XCode IDE for Embedded AVR Software Development.
[code]
[PDF-eng]