Proposte di tesi

• Verifica automatica di protocolli di sincronizzazione per reti wireless
• Verifica automatica di reti wireless con dispositivi mobili
• Verifica automatica di protocolli di gossip per reti wireless
• Analisi di sicurezza di protocolli di routing per reti ad hoc

Per chiarimenti, materiale, e approfondimenti prendere contatti col docente.