Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study.

Mehdi Talbi, Benjamin Morin, Valrie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri

Browse the full ICICS paper archive.