Biografia

Paolo Masci è assegnista di ricerca al Dipartimento di Ingegneria dell'Informazione (Università di Pisa) e ricercatore associato all'Istituto di Scienze e Tecnologie dell'Informazione (Consiglio Nazionale delle Ricerche, Pisa). Attualmente si occupa dell'analisi di protocolli di comunicazione delle reti wireless, in particolare verifica formale della correttezza delle specifiche funzionali e valutazione quantitativa di metriche di performance e robustezza. Negli anni passati, si è occupato dello sviluppo di soluzioni software per la riconfigurazione di reti di sensori e della verifica del bytecode Java su dispositivi con risorse limitate.

Tesi Disponibili

Estensione di un framework per l'analisi di protocolli di comunicazione (triennale / specialistica)
Sviluppo di un tool per interfacciare il framework Mobius con gnuplot / matlab (triennale)

altre...

Pubblicazioni Recenti

Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities.
P. Masci, F. Di Giandomenico, S. Chiaradonna
To appear in EDCC2010, the 8th European Dependable Computing Conference
Valencia, Spain, 2010.
[bibtex] 


Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios.
C. Bernardeschi, P. Masci, H. Pfeifer
In SSS09, the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Lyon, France, 2009.
[bibtex]  [pdf]


A tool for checking secure interaction in java cards.
M. Avvenuti, C. Bernardeschi, N. De Francesco, P. Masci
In EWDC09, the 12th European Workshop on Dependable Computing
Toulose, France, 2009.
[bibtex]  [pdf]

altre...