Sulla Sicurezza di Alcuni Protocolli per il Voto Crittografico

Questo lavoro ha come obiettivo la dimostrazione rigorosa e formale della sicurezza del protocollo di voto elettronico Minivoting (nella sua versione più semplice), nel modello computazionale. Dopo aver introdotto il modello computazionale e le primitive crittografiche nonché gli schemi su cui si basa Minivoting, vengono presentati i due dimostratori usati, CryptoVerif ed EasyCrypt, rispettivamente automatico e semiautomatico. Infine, viene descritto il protocollo Minivoting e data una dimostrazione sperimentale della sua sicurezza prima sfruttando CryptoVerif, poi mediante EasyCrypt.