coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Timothy Carstens <intoverflow AT gmail.com>
- To: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] Electronic Voting Machines in French Elections
- Date: Wed, 27 Apr 2022 08:59:25 -0700
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=intoverflow AT gmail.com; spf=Pass smtp.mailfrom=intoverflow AT gmail.com; spf=None smtp.helo=postmaster AT mail-pj1-f49.google.com
- Ironport-data: A9a23:1b05A6wMQ263oq6RvSd6t+cGwCrEfRIJ4+MujC+fZmUNrF6WrkVRn DAWCm6CPv+IZjanfdFwPNvioBsEupLcz4AxQVE4q1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOCU5NfsYkidfyc9IMsaoU8lyrZRbrJA24DjWVvR4 4yq+qUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPhqw +ptn5n3FTsJFaPjpPRAUUF5FR9XaPguFL/veRBTsOSWxkzCNmPumrBgUBBwMoof9eJ6R2pJ8 JT0KhhXNkHF17/wmuvlDLU97iggBJGD0Ic3u3d8yi/UF/giRo/rTKDD5Nse1zA17ixLNa+EO ppCMGsyBPjGSx5DOXcoV88UpdXyu1zCbGVqj3/SorVitgA/yyQoiOS3WDbPQfSBQtwQlUKFr Erd7mHhC1cbMsaewHyL6BqRavTnmCr6XMcKFuT9+KI7xlKUwWMXBVsdUl7TTeSFZlCWQNlgC 2YRvXYSjYM823C7E9ulfhuGiSvR1vIDYOZ4H+o/4QCL76Pb5QeFG2QJJgKtjvR25afaohR6h je0c8PV6S9H6+LKFCrMnluAhXbjZnhPdD5qiTosFFNdu7HeTJcPYgUjp+uP/Yawh9zxXCnym nWE8Hl4iLIUgsoGka68+DgrYg5ARLCWFWbZBS2NBgpJCz+Vgqb4NuREDnCFt559wH6xFAXpg ZT9s5H2ABoyJZ+MjjeRZ+4GAauk4f2IWBWF3wM3TsJ4p2rwpCH+FWy13N2YDBc4WirjUW+5C HI/RSsMjHOuFCD6Nv8oONLZ5zoClPC7RYW9PhwrUja+SsEpKFXvENBGakmX0GTg+HXAYoluU ap3hf2EVC5AYYw+lGTeb75EjdcDm35jrUuOGsiT50n2idK2OS/OIZ9YYQvmRr5jsMus/l6Om /4BbJvi9vmqeLehCsUh2dVDcw5iwLlSLcyelvG7gcbefFo7QD1xV665LHFIU9UNopm5X9zgp hmVMnK0AnKj7ZEeAQnVOH1ldp31WpNz8SAyMSA2bASn3nEiZcCk66JGL8k7erwu9epCy/9oT qldK5/QXKgXEjmXqS4AaZTdrZB5cEv5iA+LOR2jamdtcpNlQTvP5dK5LBDk8zMDD3bsuMZn+ ++g2wrXTIAtXQNnCMqKOvujw0ng73cYkeN2GUDPJ4ALKknr9YFrLQ33j+M2c5lcc0WdmmPC2 l/PUxkCpOTLr4sky/XzhPiJ/9WzDu9zPktGBG2Ev7u7MC/t+GD8k4JNVeC/ey+ECDH59aCkU uViz//mNcoBklsX4ZF3FKxmzP5n6tbi++1awwBjECmZZlinEOk7cHyP3M0Krq8Ug7EF6E25X UWA/tQcMrKMYZu3HFkULQsjT+KCyfBExWWIvKpteB33tH1t4b6KcUROJB3Q2iZTG714bdE+y uA7tc9KtgGy1kgwPtCdgnwG/miANCZbAaAut5VfGI2yzwR3mxdNZpvTDiKw65aKMo0ePk4vK z6SpazDm7UMmRaYIiRrTSDAjbhHmJADmBFW11tedV6HrdzI260s1xpL/DVrEwlYw32rCQ6o1 rSH6qG0GUmPw9usrM1KXmTpAwMYQRPFqwr+zFwGkGCfRE6tPoAIwKvRJs7VlH31MUoFFtSYw F1c4GngWDfuOsr220PenGZ7/uf7Q4UZGhLqwaia8gfsI3X+STXgi66qI2EPrnMLxC/3aFLv/ YFXwQq7VUE32eP8bUH250l2GIn8kCy5GVE=
- Ironport-hdrordr: A9a23:M/SCMqO0mUWPUsBcTvijsMiBIKoaSvp037BL7TEJdfUxSKalfq +V7ZEmPHPP+VQssTQb6LO90cq7IE80l6QFhbX5VI3KNGLbUSmTTL2KhrGSpAEIdReOkNK1Fp 0NT0G9MrDN5JRB4voSKTPXL+od
- Ironport-phdr: A9a23:WUqsKxM16pneyEMS3AYl6nbaBxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv64r1QKCDN2Tq6odzbaM6ea4AS1IyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf71/I A+roQjRucUbhZduIbs1xhfVv3dEYetbyX12KV6Jgxrw+sK894N//ipNvP4s69ROWrjgcaQiS rxYAjUmM2Qr68DuqBLOUwiB6GYCX2sPihZHDBTL4x/8Xpfqryv1rfF91zWAPc33Vr87RzKv5 Lp2RRDyiScHMzk58HzLisF1kalWrg6tqwB5zoXJe4yeKuZwcb3BctMbXWpBX9heVypdAoOnc oADC/MNMftEo4XholcDqwa1CwuxC+P10jJHiXH20q863eovEg/IwRIuEM4VvXvOsNn4Lr0fX fypwKTKyzjIcvNY2S366IjNah0vv/CMXbd3ccrNyUkuFx7Og0uKpoz/JDOVyvoCs26A7+F9U u+vimgnqx12ojix2MgskIfJhoYSylHK7ih5z4M1Kse5SE5/e9KrDJxQtySDOoZwX8gtTH1mt jwgxb0apZ60YjIKyJI/yhPdd/CJfIqF7gz9WOuRJTp1gG5pdba+ihu97UWuxePxW9S03VtKr SdJjMTBu3ET2xHN6cWKROdx80ij1DqS1Q3e7PxPL04zlareMZEhw7gwm4IVsUTbBC/6gkL2j LWZdkgi5+Om6Pznb634qpOAM4J4kALzP6Q0lsChHOg1MxICUmef9Om6ybbt51f2QK9Qgf0zi qTZsI7VJcAcpqOhBg9ayIcj6xKmAze+0tQUgGALLFxKdR+DlYTpNFbOIPf3Dfe7nVugiitkx /fDPrH5A5XNKGbMkKv5cLpj90JRzBA/wNNf6p5OFL0NPfP+VlX+udHcFhM5Nha7w+fjCNVzz IMeXmePD7eYMKPUrV+I4fwvLPeWZI8bvDb9LPYk6uXhjX88g1AdfK2p0YELZ3C/G/RqO0OZb mH0jdcbDWgKphY+TPDtiFCaTDJff2yyUL4k5jEnFIKmCp/OSZyqgLyYxSu0AplWZn1dBV2XC nfpd4CEW+8WZy6II89hlCYEVbm7RIM72xGurlyy970yBe3NsgYcqJirgNNy/qjYkQw43T1yF cWUlW+XGTJahGQNEgM32adjoV014V6ZyrR1hecQQd1V+/RXXx00MZnD5+N/AtH2HAnGe4HaG x6dXty6DGRpHZoKyNgUbhM4Qo365vii9y+jArtO0qeOGIRx6aXEmX74O8d6zX/CkqgnlVgvB MVVZiW9nqAq0Q/VCsbSllmB0b6wfPEd2jLK6mqZw26Jo2lXVQdxVePOWnVMLlDOo4HB71jZB 6SrFaxhNwJAzcCYLa4fa9v1iktLXvnnP8v2bGe4mmP2DhGNlfuXdIS/XWIb0W3GDVQc1QAe+ XHTLQ8lGiKouH7TFhRrHFPrJlvuqKxw9CL9QUgzwAWHKUZm0tJZ4zYzgvqRA7MW17MA42I6r ilsWU26x5TQAsaBoAxoeONdZ8k86RFJzzCRsQs1JZGmI6144zxWOw1qo0Pj0Ql2AYRcgIArq n0t1g97NaOf1htIaTqZ2Zn6PrCfJHP1+VijbKvf21eW19jzmO9H6fIkrEvupg+tEVUK/HBu0 t0T2HyZp93LAAcUTZPtQxMv7REp77reYyQ7+8bVzSg2afjy4mKEgYt3Qrd0mXPCN59FPaiJF RH/CZgfDsmqc6kxnkSxKwkDJKZU/bI1OMWvc72H3rSqNaBuhmHD7ywP7YZj30aL7yc5RPTP2 sNPwveE2RWKTTn4i0iJvcX+mIQCbjYXVDnaq2CsFMtKa6t+cJxeQ2aoP8qpy89wg5nyc3Fd/ V+nQVgB3YX6HHjaJ0y41gpW20MNpHWhkibt1D14nQYiqa+H1TDPyeDvHPYeElZCX3IqzVLlI IzvyssfQFDtdA8x0h2s+Uf9waFf4qV5NWjaB0lSLWD6KGRrU634sbTnAYYH6ZU0tjtaSuq4Z k+yRbv0oh9c2CTmV2dT3zE0cTi2t46xxUQrzjLAaiwq8jyFKIl53l/H6cbZROJN0zZjJmEwk jTRClWmfpGo8diSi5bfo7W7XmOlWIdUdHqjxoeBuS2noGxyVEfnzrbjx5u9SFZ8jX6osrsiH T/Fpxv9fITxgqGzMOY8O1JtGEe58M1iXId3joo3gpgUn3kcnJScu3QdwgKReZ1W37zzaH0VS HsF2dnQtULk3lFkMH+TyYb+SV2Sx8JgY5+xZWZciUdfp4haTbyZ6rBJh34/o1ykqhzce/Z5m Sg1xv4n6XpciOYM8llIrG3VEvUZGk9WOjbpnhKD4oWlralZU22odKC5yEt0md3yRKHHuAxXX 2z1P4szBSIlpNsqK0rCiTegj+OsMMmVd98YsQeY1gvNn/QAYoxkjeIE3GJmIT6v5iBjkr9jy 0Yygtfi+9LbY2R1oPDnXlgCbWazPp1LvGmq1Pc7/I7e3pjzTMs/XGxTBt2wC6rvSmpatOy7Z VjQVmdg+zHLQfyHWlXHoEZ+8yCQSdbyazfOdSNflZI7FHz/bARemFxGA2l8x8RkUFjsnIu4L g94/mxDvwao7EITlaQ4cUG4CD6XpR/0OG5rE97GfUYQtkcaoB6LVK7WpuNrQ3MCpszn/FHLc zbLIVwPVD5BW1TYVQq6YP/ztZ+ZorLeXq3nfrPPeenc87UAEa3TlNT0iM0+uG/dU6fHdm9rC /lxsqZadVZ+HcmR2zAGSihM0jnIc9bevxCkvCt+ssG49v3vHgPp/4qGTbVIY51p/FitjKGPO vT15m4xICtE1p4K2X7DyaQOlF8UhSZ0cjCxELMG/SfTRaPUk6VTAlYVcSR2fMdP6qs92EFKN 6u5wpvt0aVki/cuF1pffVnom8Xsfc5TZm/hZRXIA0GEMLnALjrOgon2ba66VbxMnbBUuhm36 lP5WwfoOjWOkSWsVgj6a7kdynHGekYH5sfhI0UIayCrVt/tZxylPcUiiDQ3xeZxnXbWLSsHN iA6dUpRr7qW5Cceg/NlGmUH4GA2SIvM0yuf8eTcLY4b9PVxBSEh3eNc/HMkxqFb6CZbbPNwk SrW6NVpphv194vHgioiSxdIpjtR0ciTul5+PKzC6pRacXPN/RZI9WfJThpW9p1qDdrgv60Ww d/K3vGWSn8K45ff+s0SANLRIcSMPS86MBbnLzXTCRMMUT+hMWy3b611lfiT8jiNrMF/pMS93 pUJTbBfWRo+EfZIUiyN8/QNJZ52WnUvlrvJ1abgAFKxqRDQQINRuZWVDpqv
- Ironport-sdr: gq06JFThAGPm3zofmfLQNjcvPy4p6nUoG33g0F40zaHS92REFxQQMyPcw2lamtAfz8VyP/NMAR M7aOxtsIswSkS+t5YDcyQ53ZyCBJAZn3A4uLAZlrCsKdp+9UOstxgpmJsAlO6XxaKO3hOvLKmo csFMYlBY/TsMaEiSSIUqLiZes/FcsCQNHsLl8d2fWCXti41i5uHwTqcgnRyc5j3jlK/wrty40K S3H78wFiZ+nN7qWmU3xaUvP/LRIptf5Dw7dJ1giqEZNVv4/IyWkXiLRh+Rk9z2ZMJbQ9DjxY37 kI2ImAZ9Hry8pe/K0kB7mmjK
Here in the US we have news articles like this with some frequency: https://www.npr.org/2019/12/23/790929823/box-of-ballots-found-in-texas-could-change-outcome-of-midland-bond-proposal-agai
It would be nice to put an end to that. Unfortunately it's not as easy as "use computers" or "don't use computers" :/
-t
On Tue, Apr 26, 2022 at 4:22 PM 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, 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, 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+.