Formal Verification and Implementation of an E-Voting System

Said Meghzili, Allaoua Chaoui, Raida Elmansouri, Bardis Nadjla Alloui, Amina Bouabsa. Formal Verification and Implementation of an E-Voting System. IJSI, 10(1):1-22, 2022. [doi]

Abstract

Abstract is missing.