• Verification Tool
• Microsoft .NET
• Framework .NET
• Static Analysis
• Intermediate Language
• CIL
• Information Flow
• Data Protection

In questa tesi si propone uno strumento di analisi statica del codice atto a rilevare il trattamento improprio di informazioni personali da parte di applicazioni .NET.
Il flusso di propagazione delle informazioni viene tracciato in base ad impostazioni di livello di sicurezza, fornite in modo manuale o automatico ai Tipi definiti nell'applicazione .NET.
A partire dalle informazioni di sicurezza vengono definite una serie di regole atte a formalizzare il comportamento del codice .NET in questo nuovo contesto. Obiettivo finale del lavoro è stato lo sviluppo di uno strumento in grado di rilevare possibili violazioni della privacy, dovute all'esecuzione di programmi che hanno accesso ad informazioni riservate.