Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Electronic Voting Machines in French Elections

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Electronic Voting Machines in French Elections


Chronological Thread 
  • From: Stefan Monnier <monnier AT iro.umontreal.ca>
  • To: Agnishom Chattopadhyay <agnishom AT cmi.ac.in>
  • Cc: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Electronic Voting Machines in French Elections
  • Date: Tue, 26 Apr 2022 23:19:09 -0400
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=monnier AT iro.umontreal.ca; spf=Pass smtp.mailfrom=monnier AT iro.umontreal.ca; spf=None smtp.helo=postmaster AT mailscanner.iro.umontreal.ca
  • Ironport-data: A9a23:GvLYKKgXetxZNxxL1xfhiDyYX161wRYKZh0ujC45NGQN5FlHY01je htvDzrSbqrcYjShfo9zO9u2pBsEu8KHyYNiSFRkrC08EC1jpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UKieUsxIbVcMpB0J0HqPoMZkxN8w6TSFK1nV4 4mq/5eBYATNNwNcawr41YrT8HuDg9yp4Fv0jnRmDRyclAK2e9E9VfrzFInpR5fKatE88t2SG 44v+IqEElbxpH/BPD8KfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1hUp/0120c95NJ NpljYWZSiAjM6L1leEYfQIJEXtSGPBH9+qSSZS/mZT7I0zudnLtx+5lBUcwMJde+/xwR3xL8 voEMj0EalaIjopawpriEbMq3Jx/apO2et5H0p1j5Wmx4fIORJfFRaTH//dZxjB2m8VJG+rEa sMdLzFmBPjFS0YUZgpHVslh9AuurnbWbGR9g12lmbIQpGr5xhxViufdE+OAL7RmQu0PxxzJ+ T6al4jjOTkRM8Xawj6Y+Fq3l+rXlGX6XpgTHfu27JZXbEa7w2USDAYdXF29rOP/i1S5Hc9aL EoI4Ccnqe45/SRHU+URQTWAuVeHmRQRVONdFugU81CPkIbxvgeWUz1soiF6VPQqs8o/RDoP3 1CPns/0CTEHjFFzYSnAnltzhWjvURX5PVPudgdYEFdUsoSLTJUby02UE4Y/QMZZm/WsQVnNL ya2QD8WrJx7YSQj8qK94UrKijbESnPhblUajuk7s67M0++UTIusZoiz4lHd6/taaoeDSR+cu X8Ch9KT5eRIBpjleM2xrAclQujBCxWtaWC0bbtT838JrG/FF5mLJt043d2GDB01WvvogBewC KMphStf5YVIIFyhZrJtboS6BqwClPa9TYW+D6CENocTMvCdkTNrGgkyNCZ8OEiwyiARfV0XZ c7znTuEVC9KVv89nFJauc9GieVzrszB+Y8jbcqilUX4jeb2iI+9U7oePVKTJux27aWKpx/Q+ speMM2Rgw5UUeD4fijZ8JcOIEtCIWVzHI37ocFcPq6ZIxEOJY3SI6K5/F/VQKQ8x/49vrqWo hmVBxEJoHKi1SyvAVjbMRhLNeKwNb4h9ihTFXJ3Yj6VN40LPNzHAFE3LcVnJNHKNYVLkJZJc hXyU5jeUqkXFmSbqlzwr/DV9eRfSfhivirWVwLNXdT1V8cIq9Xh9oC2cw3x2jMJCybr58Iyr 6f5iFHaW51FWgFlCtrMZfuriVi45CBPlOV3VkrOA99SZES9r9I7cHCo36A6c5MWNBHO5jqGz ALIUx0Wkun6pdNn+tf+g63Z/ZyiFPFzHxYBEmSCteS2OCDW83CN24hFVOrULznRWHmtpvejf +IT0vT7NuEdkV9O9YF1Su45waU77trphrlb0gU1Qy+aNAjyW+xteyDU09NOu6tBwq5ilTG3A k/fqMNHPbipOd/+FABDLgQSbtOFiaMelA7U4KlnO079/iJ2oOGKXEgObRmBjCtRcOl8PI8/m 7dzvccX7xe0gxwsP8zAjzpTsXmJKXocSagustcRCdaz2AYsz1hDZ73aCzP3sc7VOo4Qaxh1L 2/GnrfGipRd2lHGLSg5G0/N6uwB154AjxZHkQ0ZLFOTl9uZ3fI6gE9L/TIsQlgHxxlLybgja G1iNkluLqyI+TpywslZWCaxHgZHGAeU80i3wFJQzD/VSEyhV2rsKmwhOLfSphFCrzsNITULr quFzGvFUCrxeJ+j1CUFWXlj967pQ+t3+1CQg8ugBcmEQ8I3bDeNbnVCvobUR8YLwP/dhXErY cFv9ed0cqbyMygdues6EY7cyLEXTgyeKWVGB/polE/M8acwZxnqsQVi6WjoEi+OGxAO2U6iD IpzI8VJSw6z3SLIpTlz6WskPepvhPBwjDYdUuqDGIPF2odzahJoqpWW6y35gnMxTtxq1800Q m8Um/RuDUTI7UZpd6TxQAWo94Z2jRTopOEx4QxtzNg0Kg==
  • Ironport-hdrordr: A9a23:E9oobK1EIkTl+PtyWNGjjgqjBJYkLtp133Aq2lEZdPWaSK2lfq GV7Y0mPHrP5Qr5N0tQ/OxoVJPufZqYz+8Q3WBzB8bFYOCFghrKEGgK1+KLqFeNJ8S9zJ8+6U 4KSchD4bPLY2SSwfyKhzWQIpIb+fGitICOqsG29QYUcShaL5tYxyM8LyqlPmgefng8OaYE
  • Ironport-phdr: A9a23:wXyMeB9rf7sf3v9uWYe2ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z wqGub4z0BeJBdydt6gezbKO8ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWijexe65+I Rq5oQjQucQdnI9uJrosxhfTrXZEZfpayXl0KV6Pmhr3+9u98oNk/ylMofwq6tROUb/9f6Q2T LxYCCopPmUo78D1thfNUBWC6GIEXmoZjhRHDQ7F7ArnXpjqqSv1qvB92CiBMsLoS70/RCmv4 L1qSB/sjycHKiI5/WTKgcF+kK5XvBSsrAFkzoXKfI+aKuZxfqLFfdMbW2VBWNpRVzdcCY+4d ocDEvYNMfpdo4T7ulAArwaxBRO0Ce3v1DFGm3z43aM03esjHw7J0xAvEskSsHjIttj5KLseX PqpwKTO0D7Nb+lW2TD46IXQbx4hve+DXbxqfsrX1EIhEATFjlOWqYzkITyVzPkGvm+e7+pnU +KvjW8npB9rojW0x8cskI7JipgIylDB8iV5xpo1JcemR0FhZd6oCodfuDuDOoZwX8gtTH1mt jwgxb0apZ60YjIKyJI/yhPQavGJc5WE7B3gWeifIjp1im5odr2wiRi98kWs1/DwW8io3FhFs CdIk9fBu3IT2hHQ7sWKVvVw80eh1zuP1Q3e7PxPL0MslafDNpIszKA8moANvUjfESL6glv6g a+Mekgk5uSk8+vqb7X8qpKeKYN4kB/yProzlsClAek0Lw4DVHWB9+umzr3s50j5Ta1KjvIol qnZt4jXJcEBqa64Bw9VyZos5Ay5DzegztsYh2MLLFNfeBKAlYTpJlTOIPf+DfejmVSjji1kx /TcMrL9GJrBNnnDkLH/crZh80NQ1QQ+wc5F655KFr0ML+j/VlHxudDCDhI1LxS4w+P9B9V80 oMeV3iPAqicMK7KtF+I4eQvI++NZIALojbwMPkl5+TpjXMjhF8deK6p3Z0LaHCiAPtpOUGZb WDwjdgbCWsKuBExQ/TwiFKeST5Te2qyX6Uk6z0mEI6mF5vMRpixgLyd2ye2BoFZZmdfClyVD Xjoc5iEVOwXZSKJIs5hlyQEWqK7R48g0xGurg76xKB9Iura4C1L/a7kgfF64ezIlRY3vRd0B tiB1HmEQ2Fll3JAEzY52qFkoUt44lyG0O5xiLpZE4oAyelOV1IBKZPSxuoyLtf0XAPMZJ/dT VGgRNSrGxkwVNV33toJZVpnFtymyBvKiXn5S4QJnqCGUcRnupnX2GL8coMkky6uPMgJilAnR pEKLmi6nutl8AOVAYfVkkKfnqLsdKIG3SeL+n3QhXGWshR+Vwh9Gb7AQWhZflHf+NH+4EXDQ qWGCK4gdBZEzsieMKZDbpvihAYOX+/tbezXeHn5gGKsHVCNz7KIYpDtfjAY2yPbCUUeuwEJ+ jCbMA84Gj2sqmaYBzU9XUn3bRbK9u9z4Gi+UldyzwyOaBh50KGp/xcOmfGGY/Ya37Yfsy4nr ThuWlen2JTLDt2GuxBsdaEaatpVDE5v82XfukQ9O5WhK/onnVsCa0FtuEio0RxrC4JGmMxsr XUwzQM0J7jKmFVGPyiV25z9INi1YiH74QyvZqjK21rfzMfe+6EB7+49okniuwfhH1Qr8nFu2 d1Ym3WG4ZCCAA0XWJP3GkE5knoy77TdZC886pn81Gdrd7SxtTnewd8gAK0uw1fofttSNr+FC B6nC9cTVK3MYKQhn1mkaA5BPfgHrfVueZn+K73chej2ZLUF/nrul2lM7YFj31jZ8iN9TrSNx JMZ27SC2QDBUT7gjVCnu8SxmIZeZDhUEHDsrEqsTINXeKB2ep4GTGm0JMjijNB5gZjsVmRw9 USkQU4D38m1Yxebaxr21EcDsCZf6Wzigia+wzFuxnssqayZ3SHU6+X4c1waP2lNWHNvhFOqK oH+3LV4FAC4KgMukhWi/0PzwaNW8b9+I2fkSkBNZyHqLmtmX8Ncr5K6atVUoNMtuCRTCqGnZ EyCD6T6qF0c2j/iGG1XwHY6cSurs9P3hU4yhGWYJXd15H3XHKM4jRLY4trdSOR53yABAjR9j j/LHFW1O5+i9J2YmozCvea3S2+6HsQIK2+xld/G7nb9uDUiCAba/bj7gtD9FAkmzSL3n8JnU ynFtle0Y4Xm0bi7LfMye0BpAFHm7M8pUop6k4Y2mNQRwS1D3c/TpyJb1z2ud4gDisecJDIXS DUGwsDY+l3g0UxndDeSwp7hE2+ayY1nbsW7ZWUf3mQ86dpLAeGa9u8h/2M9r1ymoAbWefU4k C0azK5k7XkcheAEoiIs1CLbH7UVG1VCMCXo0R+BpYPbzu0fdCO0fL682VAr19WmCreDrxt0W Wz+PIonGils9Mh2NBTH2Tegj+OsMMmVZtUVuBqOlh7GhOUAM5M9mM0Bgi9/MH78t3komKYry AZj1pagsM2bOn1gqeinVwVAOGS/NKZxsnn9yLxTlcGM08WzE4V9T38VCYDwQ6vgGWAXuO7sK hyDVjwmrTGGHL3ZARWS4UMgpHuqcdjjPiOSLXgdlYwkRQOaYlFahwYIRjgzmtgyH0ijlsnoc UM/5yoWoEP9rR1Q0O9hM1/0WwK97E+hODI9SZyEJxNQ6AxYoUbPNoqD6+V1AztV95nnpwXFK 2qQYxlEADMUX0uCG0ruN73o7tCI5eGcAqDWw+LmR7KIpKQeUv6JwcjqyY5653OWMc7JOHB+D vo9004FXHZjGs2flS9dAyoQ3znAacKWvnLesmV+s9y//fL3WQnu+ZrHCr1cNs9q8gy3hqHLP vCZhSJwIzJVnp0WwnqAxL8a1V8UwyZgElvlWawHrjLIRbnMl7V/Chcabzh4Pc1O4rh63xNKf 9PejdXpzLNxirg+AhYNVFDsnN2oed1fI2y5MwCiZg7DP7CHKDvXhsDvNPrnE/sK1LkS7UD25 G7Idi2rdi6OnDToSR21ZORFjSXBeQdbpJn4aBFmT27qUNPhbBS/dt5xlzw/h7Mu1RaofSYRN yZxd0RVo/ie9yRd1796HGpH73d/BeienGCE6u7eNowbuP8tCS0+xIc4qDwqjqBY6i1JXqk/g CzJsttnuE2riMGKwztjSxFHrDBGnsSKp0IkJKDe8IVaVH/AuhkEpzb1aVxCt55uDdvhvLpVw 97EmffoKTtMxNnT+NMVG8neLM/v2J8JMADuXiPRCw0ZVzOiMSfUjh4F+Blz3nicr5whoZHqn pcUDL5BUxooE/QcFl5oFdhEK54lBlvMfpaalslO+H+5qgXLScxe+JvOBKv6PA==
  • Ironport-sdr: ntiP1baWnjLxz21ESSP/XPHampj/B35ilNqk27NH/3FmlBfavNOn1wWJIgclH9Dt8FNrQXzXdO qKnqochRzBJmJgCJnfHkTc9CIA+B3dVjLyDeeMx/LGvOyA8cWzUvLM8LQfRenGPmtxhHKy3G5m he7CRnjbDrMG09+fSRJ1h3OD4obyocL8ZvSGY4BO3argn1N/bqtlHFsisq+nDgZNBQalpVKrcX HyghFCEbci0kakPpVAOVwR9/3Jc6SCjpwQOuQxVYbLBGLtKSxbvo7rA5CND+LMpRjPGNFaxrvj fJ441RDCMrXdeBRTmwrxAwRL

> With electronic voting, you could press a button and count the votes.
> Isn't that desirable?

Maybe that's a nice to have, but is it a problem that needs solving?

In most of the jurisdictions where I lived the counts are known before
the next morning, which seems fast enough even for Switzerland's 4-times
yearly votes.

> Counting pieces of paper sounds like a tedious job, and we
> are better off automating it.

We can enroll a small percentage of the voters to do the job, and since
it's embarrassingly parallel the parallel algorithm is "constant time",
so I don't see what makes you think we'd be "better off" automating it.

The way I see it, the more people who participate (i.e. more eyes),
the safer.


Stefan


> On Tue, Apr 26, 2022, 18: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
>>
>>




Archive powered by MHonArc 2.6.19+.

Top of Page