Modellazione e verifica formale dei protocolli di sicurezza e zero-knowledge

Procedura di valutazione comparativa per il conferimento di 1 posizione di Post Doctoral Fellow con incarico postdoc in "Modellazione e verifica formale dei protocolli di sicurezza e zero-knowledge"