Bando SMFI-BS-03/2023 per il conferimento di n. 1 Borsa Ricerca dal titolo "Sviluppo di un analizzatore statico per software blockchain" sotto la responsabilità scientifica del prof. Vincenzo Arceri

Titolo del Progetto di ricerca: Sviluppo di un analizzatore statico per software blockchain
Tematiche del Progetto di ricerca:  Il progetto prevede lo sviluppo di un analizzatore statico basato su interpretazione astratta per software blockchain scritto in linguaggi general-purpose, per il rilevamento di vulnerabilità di non-determinismo e overflow numerici.
Responsabile scientifico del Progetto: Prof. Vincenzo Arceri - E-Mail: vincenzo.arceri@unipr.it
Titolo di studio richiesto per l’accesso alla selezione: Diploma di laurea in Informatica classe L31
Eventuali requisiti o competenze specifiche richieste: Si richiede conoscenza di base, sia pratica e che teorica, di analisi statica dei programmi tramite interpretazione astratta.
Durata della borsa: 4 mesi, eventualmente rinnovabili