coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: mukesh tiwari <mukeshtiwari.iiitm AT gmail.com>
- To: Stefan Monnier <monnier AT iro.umontreal.ca>
- Cc: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Electronic Voting Machines in French Elections
- Date: Wed, 27 Apr 2022 11:13:53 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mukeshtiwari.iiitm AT gmail.com; spf=Pass smtp.mailfrom=mukeshtiwari.iiitm AT gmail.com; spf=None smtp.helo=postmaster AT mail-ej1-f52.google.com
- Ironport-data: A9a23:6xIcVK6h8Bb4HRFk1lwaegxRtAbBchMFZxGqfqrLsTDasY5as4F+v mUcXWnVMvqNYGb9fNgiPI/k8hgC6JWEzoRrQQQ5/HthZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOK6UoYoAwgpLeNeYH5JZSlLxqho2uaEvfDjW1nX4 Y+o/ZWEULOY82cc3lw8u/rrRCxH56yaVAMw5jTSstgW1LN2vyB94KM3fcldHVOgKmVnNrLSq 9L48V2M1jixEyHBpT+Suu2TnkUiGtY+NOUV45Zcc/DKbhNq/kTe3kunXRYRQR8/ttmHozx+4 Mppjd+wUgpwAvLrm8VEbgtlDwV8ZoQTrdcrIVDn2SCS50jPcn+pzvc3SU9rZ8sX/eF4BWwI/ vsdQNwPRkrb1qTmnfThE7kq255LwMrDZOvzvlll0DLUFvY6QI/KWaSM5N5ZwDIYicVHHPKYb M0cAdZqRE2aPkERag1KYH44tOX2gEPkYjdGkWiIoaUsu275yzdhgae4ZbI5ffTTHZkP9qqCn UrN+H28CRUHPvSE2D+d+zStgPXOlGX1Quov+KaQ8/drhBiexDVWBkBME1S8pva9hwi1XNc3x 1EoFjQGsowKt0ywQ4DBADq7gSe5rCMAf9gLOrhvgO2S8Zb87wGcD2kCazdObt06qcM7LQDGM HfZzrsF4hQ/4NWopWKhGqS89mztZHBERYMWTWpVEltfuoiLTJQb10qXFr5e/LiJYsoZ8AwcL hiPpSk6wrgR1IsFiv/98lfAjDah4JPOS2bZBzk7vEr1sWuVh6b/P+REDGQ3C94ecu51qXHf4 RA5dzC2trxmMH10vHXlrB8xNL+o/e2ZFzbXnERiGZIsnxz0pSP7LNsJsG8jexg0WirhRdMPS B+C0e+2zM8DVEZGkYcqC25MI596lvi/ToSNug78N4IVMskpHON4wM2eTRfIgzqFfLkEnqY4N pOWGftA/l5LYZmLOAGeHr9HuZdynn5W7TqKGfjTkkr6uZLDOyb9YepUaDOmM7FihIvZ8VW92 4gFa6OilU4EOMWgOXm/zGLmBQpVRZTNLcum9ZI/my/qClYOJVzN/NeMn+N8I9A1w/U9eyWh1 ijVZ3K0AWHX3RXvQThmoFg6AF82dZog/389IwI2OlOkhyoqbYq1vfUQcpI2ef8s8+k6lax4S PwMesOhBPVTS2Sfq25NM8Wl9IEyJg62gQ+uPja+ZGdtcpNlQTvP8IC2cwbq8h4IESfq59A1p Ket11+ATJdaH1ZiAc/aZeiB1VS0uXRByut+U1GZcNZWcUTotoNtLnWp3PMwJsgNLzTFxyebh 17GW0dG+bGVrtZsotfThK2Co4O4KMdEHxJXTzvB8LK7FSjG5W78k4JNVeC/ezqCBm75/aOVY /oMk6PxPfgBq1Z9s4RmFoFtw69jtcDkoKVXz1g9EXjGMwarB7dnLiXU1MVDrPcWlLpQuA/zV 0DWv9cHY/OGP8TqFFNXLw0gN7zR2fYRkzjUzPI0PESqu3MtreTfCR1fb0uWlShQDLppK4d5k +0vj8gbtl6kgR0wP9fa0y1ZqzaWInobX/l1v50WGtWw2A8iy1UHbJ6FTyGruteAbNJDNkRsK TiR3fKQi7NZz0vEUnwyCXmdgrYH1MpW4EhHnA0YOlCEutvZnftrjhdfxjI6E1ZOxRJd3uMvZ 2VmOiWZ/0lVE+uEWSSCY4ytJ+2FLBiQ+0i0xllQ0WOEFQ+nUWvCKGB7MuGIlKzcH6SwYRADl Ix0Ck68OdopQC019iQ3UE9h7ffkSLSdMyXczdu/EZ3t84YSOFLYb2zHWYbMgxTiCMI1wkbAo IGGOQq2hbLTbUYtnkHwN2VWOXn8hvxJyKyujMyNJJ80IFw=
- Ironport-hdrordr: A9a23:Le4VC66YnDUWCMYqgwPXwPfXdLJyesId70hD6qm+c20tTiX4rb HXoB1/73XJYVkqKRQdcLy7Scu9qDbnhP1ICOoqXItKPjOW3FdARbsKheDfKn/bexEWndQtsp uIHZIObuEYzmIXsS852mSF+hobr+VvOZrHudvj
- Ironport-phdr: A9a23:snA1MBN4gJCbIkoyyEIl6nZRBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv64r1QKCB92Tq6odzbaM6ea4AS1IyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf71/I A+roQjRucUan5duIbs1xhfVv3dEYetbyX12KV6Jgxrw+sK894N//ipNvP4s69ROWrjgcaQiS rxYAjUmM2Qr68DuqBLOUwiB6GYCX2sPihZHDBTL4x/8Xpfqryv1rfF91zWAPc33Vr87RzKv5 Lp2RRDyiScHMzk58HzLisF1kalWrg6tqwB5zoXJe4yeKuZwcb3BctMbXWpBX9heVypdAoOnc oADC/MNMftEo4XholcDqwa1CwuxC+P10jJHiXH20q863eovEg/IwRIuEM4VvXvOsNn4Lr0fX fypwKTKyzjIcvNY2S366IjNah0hpOyMXbFufsrKyUkkCh/FjlSeqIP/JTOV1/kGvm+e7+p9V uKglXUnqwFtojiuyMYjkJPJhoMPxlDF9CV5wZo1JdijRU50ZN6rCppQtyWAO4RqRcMiRnhlt SAnwbIJpZC1ZjIFyIg7xxHBcfyHdZCF7x3sWuuMLjp0mXFoda++ihqu8EWs1u3xW8q33VhKs yZIltvBu3ID2RDO5MaJRfhw80ii1DuP1g3d5P1JLFwqmKfdNpUvzLkwlp8JvkTCGC/7gEv3j K6VdkUl4uin9fnoYrT8qZOGMI90kA7+P6IzkcK8GeQ1KhYCU3Sf9Oim17Du/Vf1TKtXgvA1i KXUsI7WKMIGraCjGQBVyJws6xOnAjemztsYmX4HIUpAeB2djojpP0jCL+76Dfuimlisnjdmy +7cMr3uBZXNKXfDkLP/crpn90Fczw8zwche55JSFL4BPOr+VlHtuNHcFBM0MAy5z/z5BNlg1 Y4SQ2KCDrGBPKPXq1CI5+YvI+eWZI8SvTbwM/0l5+PtjXAngl8dfbWp3ZoZaX+iBPRmIl+VY XvtgtcADWcKuxEzTOPviFKYUD5TY2y+UL475jE+EI6mC5zMSZi3gLOdxCe7AoFWZmdeB1yRC XvobZmLW+8QaCKOJc9siiALVb+4S4M4yR6usBL6xKF8I+rP+iwYsIrj28Jv6+3SkxEy7z10A N6H32GDVWEn1l8PEgQq0a52pwRYzVGF0KViy6hdEtpV5v5TegYgMtjByut8F8r/UwaHdd7fG 3i8RdDzBCwyQ8kxi8MPfE9nGp32iw3A0jGqH74KnqaKQp01877Z93f0Lsd5jX3B0f9y3BEdX sJTODj+1eZE/A/JCtuMyh3B/07LXaEV3SqWsXyG0XLLp0ZAFgh5TaTCW3kbIErQt9XwoE3YH Pe1EbpyFAxHxIaZL7dSLMXzhABDWfTuI9TCYn24gWb2BBeJ2rakY4/jemFb1yLYWwAfiw5Gx X+dLkAlAzu55WfXDThgD1XqNkbx8uRlqG+6UUYuzkeLbkx90pK6/xcUgbqXTPZAlqkctnIHr DN5VE24w8qQC9eEoF95e75AZNom/Fpd/WfQtgg4M575aq4/3BgRdAN4u06o3BJyYmlZue4tq n5ijA97KKbDlUhEayvdxpfofLveNmj1+hmrLa/QwFDXltiMqO8J77wjplPvsRvMdAJq+mh70 9RTz3qX54nbRAsUX5XrV08r9h9877jEayg57onQ2DViK66x+jPF3tsoAqMixHPCN59aLaCJD w/uEtITHcnoKe0rh12BYRcNPeQU/6kxfoune/aAxK+3LbN4hjv16AYPqIt500+K6299UruSh 8dDk6zehFLXEWqm3zLD+ojtlItJZC8fBD+6wCngX8tKY7FqOJ0MESGoKtG2wdN3g9jsXWRZ/ RitHQBjuofhdByMYlj6xQAV214QpCntnDa7wid0jzA2p7Cemi3PwvjnXBUCM29PAmJliB2/R Or8x8BfR0WuYwUzwVGg+EX33KhHpbt2NWiVQEZJYy3eIGRrU6/2vb2HKZ0qittgoWBcV+KyZ kqfQ7j2rk4B0i/tKGBZwSgyazCgvpiRcwVSsGuGNz4zqXPYfZo13hLD/JnHQuYX2DMaRS5+g D2RB16mPtDv88/G35vEt+m/USqmWPgxOWHu0ICNryun5HJjGxz5nvGyhtjPHg0z0Cu93N5vH SnFtxfzZID32r/ya7o2OBk1QgWlu4wnQMl3ie5SzNkI1GIfh4mJ8HZPimr1PdhBmOr/YHcLW T8X0ovQ6Qnh1ldkKyHBzIb4W3OBh8p5MoPiMyVGh2RntpAMVf3Hid4M1TF4qVe5sw/LNP10n zNGjOAr9GZfmOYR/gwk0iSaBLkWW0heJy3l0RqSvLXc5O1aYniidb+o2Q9wh9ekWfuHvwJRQ 3ble4grBy4278R+LFfk33j664Wic97VJ4F21FXcg1Lbgu5ZJYhk3P8Xhid8OX78onQ/yqg6j B1y2Lm1uYGGLyNm+6fzUXs6fnXlIsgU/D/ql6NXmM2bipuuEptWETIORJL0TPisHWFapbH9O g2JCjF5tmaDFO+VA1qE8Ek/5SGqcdjjJzSNKXIe19knWBSNOBkVnlUPRDtj1p8hSlLxmYq4I R8/vGxOoAa/8EcEy/o0ZUejFD2E/0HxNG9yEN/GfX80pklD/xuHb5LYt7opWXkeptr79ESMM jDJOVoOVz1YHBzcQQikZOHm5MGcobfCQLPiaaKfO/PW7rUOMpXAjZO3jtk5o3DVbJjJZj86S KRlkktbASIgQ5SfwmpQDXxRz2WXNoaavEvuo3Is6JnurLKzHlqovNXqafMaMM0zqUru0OHTa qjJ3nY/cXEBidsN3SOakuFBmgNCzXg/LX/1Vu1R/S/VEPCKw/ERVUVKLXgpcpMPtvNZvEEFL 8ffjpmdOqdQqPkzBh8FUFXgnprsfskWOySmM0uBAk+XNbOALDmNwsftYKr6R6cCxONT/wa9v zqWCSqBdnyKiiXpWhazMOpNkDDTPRpQv5u4ewpsDm6rRczvaxmyOtt6xTMsxrh8inTPPG8ae T9yFiEF5qWX9j9di+5jFnZp63NkKayJmX/c4bSCbJkRtvRvD2J/kOcbqHU2xr1J7T1VEfx4n CyBy7wm61qik+SJ1n9mSE8U8mcN1N/N5xwyf/iDpfwiET7e8RkA7HudEUEPrtphUZj0vrxIj 8PIjOT1IStD9NTd+Y0dAdLVIYSJKilEU1KhFTjKAQ8CVTPuO3vYghkXleyR+2aVspklo4Lt3 psPS6NefFMwH/IeTE9iGZZRRfU/FiNhirOdgMMSsDCmqwLNQcxBop3dfvebAPGqJTTAyLcZP V0HxrT3KYlVPYr+kR8HCBEyjMHBHEzeWspIqytqY1ovoUlDx3N5S3U6x0Pvbg7FCJo7Gvu9n xpwgQx7M7xFHNbE5l42Ih/HpnJ1nhRr39rihj+VfXj6K6LiBem+5AL7skEwNtXwRAMnNGWP
- Ironport-sdr: 2FdV0RIeNdxAk2rNxjNBI2JtPtFZ+IXeqirlhdIP8l3uME6owXV+Vjl2cPyP7yWIiLj0hTCWqo voTOxGbQkurFZN2AbkcezAfgrPmWNM6nVMYKzzU0NZyjP5TwXoLEPpxLVie2FR+3nZidmbTHRr mD8WEShRuqK0mO8cvAjI2Hh+ko8WSYbvIi01HCh90oWymCtMo4iZmMjhEL5Tu14QLuX/3hGTJM wZDr37s9u1YZUhPU6vlOUbfkOPSlDmQWn7LtN+2687FqWo6j3PCORP18Es/I9HV1/eZ2Q0zU24 3zf/gMMKQCPOWp87VNsq3DC9
Hi Stefan,
Electronic voting machine (EVM) solved the booth capturing [1] problem of India. Basically, many political candidates hired goons to forcefully capture the polling booths, specially in rural areas where police can’t reach easily, to get all the votes in their favour. It was one of the major weakness of paper ballot. When electronic voting machines were introduced in India, it had 5 minutes (or there was some time gap between two votes) delay between two votes. After the induction of EVM, there were some initial incident of booth capturing, but it was not worth for the goons/candidates time and money, and it eventually stopped. (Btw, I grew up in one such place, a rural village in India, and I distinctly remember the fear on the people’s faces when the booth of my village was captured. People feared for their lives).
Best,
Mukesh
On Wed, 27 Apr 2022 at 00:22, Stefan Monnier <monnier AT iro.umontreal.ca> wrote:
> But imagine that voting machines are formally verified from hardware
> to software,
What problem do electronic voting machines solve?
Stefan
- Re: [Coq-Club] Electronic Voting Machines in French Elections, (continued)
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Sam Kuper, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Agnishom Chattopadhyay, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Stefan Monnier, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Jean-Francois Monin, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Xavier Urbain, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Mario Carneiro, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Dominic Mulligan, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Jean-Francois Monin, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, martin, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Sylvain Boulmé, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Jean-Francois Monin, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Stefan Monnier, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, mukesh tiwari, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Stefan Monnier, 04/29/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Rajeev Gore, 04/30/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Abhishek Anand, 04/30/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Stefan Monnier, 04/29/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Timothy Carstens, 04/27/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Pierre-Marie Pédrot, 04/27/2022
Archive powered by MHonArc 2.6.19+.