coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Clément Pit-Claudel <cpitclaudel AT gmail.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Electronic Voting Machines in French Elections
- Date: Mon, 2 May 2022 10:43:53 -0700
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=cpitclaudel AT gmail.com; spf=Pass smtp.mailfrom=cpitclaudel AT gmail.com; spf=None smtp.helo=postmaster AT mail-pg1-f176.google.com
- Ironport-data: A9a23:DQd5zKtqQu0GKuLwqz3CC79XgufnVGlYMUV32f8akzHdYApBsoF/q tZmKWiEPv7eYGOnLtF1YI2280gPuZ6DnIc1TgZorS8wECtBgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g52LBVPyvX4 Ymo+5CHYgf8s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnbjgUww4B5HioeoQcEEBLnEkFJJf6aCSdBBTseTLp6HHW37lwvErFE5veINBpbgxDmZJ+ vgVbjsKa3hvhcrsmOP9GrQq3J1+apC0YuvzuVk4pd3dJf0+QIzIR6zX6dJc9Dg1j8FKW/3ZY qL1bBI2NkWQM0cXYD/7Dro+te6Cn1SkLQRXl1bPoqcw71LhygdYhe2F3N39I4TWH625hH2wr WXfum/9HxsyL82a0TPD83S2h+aJkzmTZW4JPLix9/ovmFLKg2JKV0NQWly8rv20zEW5XrqzN nD45AIK/bI55XWXYODzUj7g+UPU5DcjQstPRrhSBB629oLY5AOQB24hRzFHacA7uMJeedDM/ g/Z9z8OLWw/2IB5WU5x5Z/P8mzvYXl9wXsqIH5bHVFcsrEPtalq1kqXJuuPBpJZmTEcJN0d6 zWDrSx7n7pKyMBSiPv98lfAjDah4JPOS2bZBzk7vEr1tGuVh6b/P+REDGQ3C94dcu51qXHc7 BA5dzC2trxmMH10vHXlrB8xNL+o/e2ZFzbXnERiGZIsnxz0pSP6J98NsGoudB03WirhRdMPS B+D0e+2zM8DVEZGkYcqC25MI590lve6S4qNug78M4EROcUZmPC7ENFGPBbMhQgBYWAjlqYwP ZrzTCpfJSdyNEiT9xLvH711+eZzmEgWnDqPLbimkUnP+efBPBa9FOZdWHPTP7tRxP7V8G39r YwDX+PUkE43eLOlMkHqHXs7dw9iwY4TXsCo9aS6t4erfmJbJY3WI6KPke55J9w5zsy4VI7gp xmAZ6OR83Kn7VWvFOlAQikLhGrHUcktoHQlEzYrOFr0iXEvbZz+vqgafpozO7Ig8bU7n/JzS vAEfeSGA+hOGmyXoWRDMcGlodwwbgmviCKPIzGhP2oycptmcArDpY3pcw7pwy8RA3flrsA5u bChiljWTMNbFQRvBcrbcty1yFa1sSRPke5+RRqaLdxaeUGq+49vcnSjgvgyKsAKCBPC2jrKj 1bMUUlE/bHA+tZn/sPIiKaIq5aSP9F/RkcKTXPG6buWNDXB+jXxzIJFVtGOd2+PWW7x/pKke rwJnfzxNfswnGFKvZB5JLBlwP9s/NDovbJbkl1pEXiXPVSmDrRsfiuP0cVV7PEfw7ZYvU6uV RvK9IAFZ/OGP8TqFFNXLw0gN7zR2fYRkzjUzPI0PESqu3MtreTfCR1fb0uWlShQDLppK4d5k +0vj8gbtl6kgR0wP9fa0y1ZqzaWInobX/l1v50WGtW32A8iy1UHeZOFTyGvv8/JZNJLPU0nZ DSTgfOa1bhbw0PDdVs1FGTMjbUB38VQ4EgSwQ9QPUmNl/rEmuQzgE9b/wMxQ1kH1R5Aye9yZ jVmOkAdyX9iJNu0aBWvnlxAGj2twDWc8031jkMGzSjXFhb2EGPKK2I5NKCG+0VxH6ewuNRE1 Onw9YoneW+CkALNMu8aVktsqvilRtt0nuEHsN7yBNyLRvHWfhK86pJDpgM0R9/PDsY4hUmBr u5vlAq1hWsXKgZIy5AG50KmOXj8hfxKyKGugR2swU/RIVzhRQ==
- Ironport-hdrordr: A9a23:PfNbRK9YKYUus/vPwoRuk+D7I+orL9Y04lQ7vn2ZOiYlFPBw8P re4MjztCWE9Qr5PUtLpTnuAtjjfZqxz+8P3WBVB8bZYOCEghrMEGgB1/qA/9SIIUSXnY5gPO VbAtBD4bXLbGSS5vyKhzVQfexQueVvvJrY4ds2DE0AceipUcxdBstCZTpz23cZeDV7
- Ironport-phdr: A9a23:+dMcyhM8xpetZjGkHwEl6nbDBxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv64r1gKCBNyAo7Ic0qyK6fqmATRBqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba18I RmsswnctsYajZZ/Jqs/1xDFpmdEd/lMyW5nO16fgQzw6tus8JJm7i9dp+8v+8lcXKvgYq82V 6ZYDDMoM2A04M3kqxzORhaR63UfT2sbjANGDxDK4x/mUJjxtDD6tvdm1ymBIcL2V7E0Vi+84 KptVRTllT0INz898GHQl8xwkKdWqw+vqhBj34LZZpyeOfxjda3fYNwaX3JMUMVfWSNODIyyc pUBD+QBM+las4bzqEADrQe8CAS2GO/j1jFFi33w0KYn0+ohCwbG3Ak4Et8QtHTTttD1O7kUU eCp1KbG1zTDb+9P1Trj7IjHaA0hruySUrJ0bMHczlUgFxvEjlWMtYPlOyma1vkQvGeF6+ptT u2vi2s9pAFwpjij3Nsjio7Mho8MzF3P6Cp2zpovK9KiVE57fcCrEIFWtyyCKod4TN0uTn9ot SskxLMLpIO3cDYUxJkk2xPTduGLfpWH7B/tV+ufLjh2inx4db+/mhu/71atxvH/W8e031hEo SxImcTPuHAVzxHf9NSLR/9n8kqi2TuDzR7f5vxELEwuiKbWKZ8szqYym5cTq0jPAy77lUrsg KOIeEgp+fKk5uDhb777vJGTLZV0hRv7Mqk2msywH+A4Mg8WUmie4+u81bnj8VThQLVFk/E6i 6fZvI3YKMkavKK5DAhV0oEs6xa7ETiqysgXnX4CLF5deRKHiZbmO03WLfzmEfuyh06gnTRry vzcILHtH5XAImLenLrjfLtx80tcxxAyzdBb6ZJUELYBIPfrV0DtrNzYDwM5PBCww+n9FdVyy 50RWWaUD6+WNaPdq16I5uY1L+aQY48VvS7xK/4+6PH2l382hUcdfbW13ZsQcH20A+xqI1+Fb nr0ntcBDWAKsxIiQ+ztkV2OSCJcZ3KvX60n/Tw7E4KnDYLbRo+3mrCB3SG7HodXZm9cEFyMH 23oJM24XKIHbzvXKct8mBQFU6KgQskvz0KArgj/npFjr+/Z/DEvjZP/kfNx7vDfmBV6oTdsD tiW12iQQ2xwtmwNTj4ymqt4pBoumR+4zaFkjqkARpRo7PRTX1JiXXa95+lzCtSpHxnEYs/MU 1G+BNOvHTA2SNs1hd4IeUd0Xdu43VjYxyT/JbgTmvSQAYAstLrG1i36P8dhwHLPyaUsi3EpR 8JOMSutgassvxPLCdvxml6C372vabxa2SfM8GmZym/bt1lZTAV0WLjJUHQ3aU7frNC/7UTHH Pe1EbpyFAxHxIaZL7dSLN3kiVITXPD4JNHXeH68gU+1DBeMg6uDNc/kIjpDmiraD0cAnkYY+ nPu2REWICCnriqeCTVvEQmqeEbw6axlr2v9SEYozgaMZkkn1ryv+xdTi+bOA/UUlqkJvisss VAWVB60ws7WBtycpgFgYLQUYNUz501C3H7YsAo1N4KpLqRrjFoTOwptuEam2xJyA4RG2c8ky RFihAFqKL6T1Fpcez6c9Z/1M7zTbGL1+VHnaqLb3E3fzMfD4r0Gu5Fa4x3ouACkEFZn8m0yi YEElSvBoM+TUUxLDsyiNyR/vwJ3rLzbfCQnsobd1Hk3dLKxrieHwNUxQu0s1hened5bdqKCD g77VcMAVK3MYKQnnUakahUcMaVc7qkxaomtb/qa06qiIeptmBqpiG1G5MZ21UfGpE8eAqbYm o0Ixf2VxF7NXC/9kFylu937lIRsajQbH275wi/hTt00BOU6bcMADmGgJNeyz9N1isv2WnJWw 1WkAksPxM6jfRf6g0XV5QRLzgxXpHWmnXD91Dloi3QyqbLZ2iXSwuPkfR5BO2hRRWAkg02+a YSzitkbWgCvYW1L3FOu/UfmzKxSuahyK0HcRE5Je279KGQqXqart7WEatJC89ty6XQRALn6O wnHDOei/VMTyGv7EnFbxSwnej3P2N2xhBF8hG+HbT5yoHffZcBs1ELa7d3YS+RW22lOTy15h D/LQ1mkaoPxrJPEytGZ6734Dj3/BfgxOWHxwIiNtTW2/zhvCBy7xLWon8H/VBM9yWn93sVrU iPBqFD9ZJPq3uK0K7ECHAEgCVni5s59Aow7nJE3gcRa0mAbmp6R9GcLnGPbPtBS2Ka4Z30ID 21uoZad8E3+1UtvI2jcjYnhV2mWxsJ8a9S+SmwT0yM5qctNDe3Hid4M1TswqV2+owXLZPF7l TpI0voi5kkRhOQRsRYsxCGQUfgCWFNVNiv2m1GU/siz+e9JMX23f+H6hy8c1ZixSauPqQZGV DPld4c+SGVuu95nPguE0WWvuNq5PoCBNZRJ6kLSy1Ca06BUMM5jyKZM33E8fzuj5Tt9jLdq6 H4mlZCi4NrZdSM0pPj/WlgAcWetL8ILpmOz0+AEwpfQj9jpRtI7Qn0KRMe6EqjuSW5U7KW9c V7JSW1ZyD/TGKKDT1DDrh488jSXVcjsbi/fJWFFn4w6FF/EexMZ0EZMG29j1p8hSlLzm5enK RYloGhXvhmh9H4ugqppL0WtCD+O4lf1LG5uGN7Ha0MJpgBauxWPaJLYs7I1RnACuMXm9V3FK 3THNV4RUydTAR3CXAqlZv73tLyiu6COD+66ZZMieJ2orupTH7eNzJOric59+iqUc96IJj9kB uE63UxKWTZ4Hd7YknMBUX5fkSWFdMOdqBqmn08/5smi7PTmXh7u7oqTGvNTN9to4RW/naaEM aaZmi94LT9S0p5Ey2XPzfAT21sbiicmcDfIc/xIrSnWUKfZgbNaFTYeYiJ3cdNHtucyh1YTf 8Hcjdzx2/hzift0Q1ZJWFr9m924MMwHJ2buUTGPTE2PNbmAOXjK25StOfL6GeAW1rwJ8UTv5 2X+cQerJDmImjj3Wgr6NOhNiHreJxlCoMSmdQ4rD2H/TdXgYxn9MdltjDRwz6dn4xGCfWMaL zV4dFtA67OK6iYNyP5nGnBK6nN4IeSAsymc5ujcbJ0RtLE4Z0Y83/If+3k8x7ZPuWtcQ+dpn SLJstN0i1Svk+3K0jU+FRQX9WgNi4WMskFvf67e89MTPBSMtAJI5mKWBRMQotJjAdC6oKFcx O/Ek6frIStD+dbZlSPzL8fRIcODdnEmNEiwcNYxJAQARD+vc2rYgh4F+Blz3nicr5x/spe13 ZRXFeEdW1syGfcXTE9iGY5aSKo=
- Ironport-sdr: PPOWTibGnBLnNLzmNfjk8OQ4sI11BZA0md0vuV9SG5zclujNwRVzOR8UE3KnEzaEsRHQ/8nfD/ dGg3l2sWEoC0dqsHXDOVwraKesHON2alYeHmaS2TyPF34ctyLlW3KDppXhSqPsieG3L+3gi4Hs c8NMTNpGjVX6uSBOJ63ZWS1QZPmRjpb6rF41VP0Kx45WSs5OEOPN/cRNOCThq1120ZccHdlsQa Y9t1KGQ9J6XqUs1Db0EUNWMy5QmMcON7quG1f9zMPpBbV4wmGIn2cXXyT9PvGRkJBs9E1P8CRw dovjKSi7QRyWrb4Etqkt8bRd
On 4/26/22 11:43, mukesh tiwari wrote:> One of the major problems in
electronic voting is software bugs that
can be exploited to commit fraud at a massive scale. But imagine that
voting machines are formally verified from hardware to software, which something Free and Fair [1] is doing.
Bugs are only a small part of the problem: ensuring that the machines are
actually running that verified software and hardware is next to impossible,
and so is creating a meaningful audit trail that is simple enough for voters
to trust.
One fact that often gets lost in translation when I discuss this with US
citizens is that US folks vote in many more races than French citizens do: a
typical US race may have dozens of choices, including ballot questions and
various elected offices, whereas French elections typically have one question.
Given that, electronic voting machines and/or electronic vote counting
doesn't really help in France at all.
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Stefan Monnier, 05/01/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, mukesh tiwari, 05/01/2022
- <Possible follow-up(s)>
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Ralf Jung, 05/01/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Abhishek Anand, 05/02/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Eddy Westbrook, 05/02/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Abhishek Anand, 05/02/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Clément Pit-Claudel, 05/02/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Xavier Leroy, 05/02/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Clément Pit-Claudel, 05/02/2022
Archive powered by MHonArc 2.6.19+.