dallapreda
univr
it
Mila Dalla Preda si occupa di:
- Studio e sviluppo di soluzioni software per la protezione della proprietà intellettuale e l'integrità del codice. In particolare tecniche di offuscamento del codice, tecniche di marcatura/firma del codice (sw watermarking) e tecniche di identificazione di violazioni del codice (tamper proofing)
- Studio e progettazione di strumenti automatici per il riconoscimento di comportamenti malevoli sfruttando proprietà semantiche del codice
- Studio e progettazione di strumenti automatici per l'analisi di similartà del codice seguendo sia approcci statici che dinamici. 
- Studio del comportamento di codici auto-modificanti, ovvero che cambiano durante l'esecuzione
  Insegnamenti attivi nel periodo selezionato: 0.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
		Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr. 
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.
	
| Argomento | Descrizione | Area di ricerca | 
|---|---|---|
| Analisi statica di programmi | Studio di tecniche di analisi statica per linguaggi di programmazione. Inferenza di proprietà della memoria dinamica dei programmi. Inferenza di proprietà di sicurezza per le informazioni manipolate dai programmi. | 
                  
                    
                      
                        
                          
                            Ingegneria del Software e Verifica Formale
                           Automated static analysis  | 
            
| Aspetti formali di sicurezza del software | Sviluppo di modelli e analisi, basate su interpretazione astratta, per la verifica e l'analisi di proprietà di sicurezza di programmi. | 
                  
                    
                      
                        
                          
                            Sicurezza informatica
                           Software and application security  | 
            
| Protezione del software | Sviluppo di tecniche formali e strumenti per la protezione del software. | 
                  
                    
                      
                        
                          
                            Sicurezza informatica
                           Formal methods and theory of security  | 
            
| Semantica di programmi | Studio di tecniche e modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione. | 
                  
                    
                      
                        
                          
                            Ingegneria del Software e Verifica Formale
                           Semantics and reasoning  | 
            
 © 2002 - 2025 
          Università degli studi di Verona
          Via dell'Artigliere 8, 37129 Verona  |  
          P. I.V.A. 01541040232  |  
          C. FISCALE 93009870234