Formal analysis of attacks for e-voting system.

Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita

Browse the full CRiSIS paper archive.