coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Stefan Monnier <monnier AT iro.umontreal.ca>
- To: mukesh tiwari <mukeshtiwari.iiitm AT gmail.com>
- Cc: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Electronic Voting Machines in French Elections
- Date: Fri, 29 Apr 2022 10:32:53 -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:y1ll7ajsf2V2rP8TX/NP6JxnX161zBYKZh0ujC45NGQN5FlHY01je htvWGCAPPjcajH1f9onbty18ENXupDQyYcwHQpu/C41EyhjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UKieUsxIbVcMpB0J0HqPoMZkxN8x6TSFK1nV4 4mq/5eOYATNNwNcawr41YrT8HuDg9yp4Fv0jnRmDRyclAK2e9E9VfrzFInpR5fKatE88t2SG 44v+IqEElbxpH/BPD8KfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1hUp/0120c95NJ Npl5cG+R153Hqb2ueUyDwYIUGZPI/N+9+qSSZS/mZT7I0zudnLtx+5lBUcwMJde+/xwR3xL8 voEMj0EalaIjopawpriEbMq3Jx/apO2et5H0p1j5Wmx4fIORJfFRaTH//dZxjB2m8VJG+rEa sMdLzFmBPjFS0YUawZPVspj9AuurkLkdT1+mg2Sn4B0yjL3xiZK3uHvKfOAL7RmQu0PxxzJ+ T6al4jjOTkRM8Xawj6Y+Fq3l+rXlGX6XpgTHfu27JZXbEa7w2USDAYdXF29rOP/i1S5Hc9aL EoI4Ccnqe45/SRHU+URQTXo/XCK50A8UOBxEsJm91HOjZvKvT6WUz1soiF6VPQqs8o/RDoP3 1CPns/0CTEHjFFzYSnMnltzhWjsURX5PVPudgdYEFZfuoCLTJUby02UE4s5S8ZZm/WsQVnNL ya2QD8WrJx7YSQj8qK94UrKijbESnPhblQRjuk7s67M0++UTIusZoiz4lHd6/taaoeDSR+cu X8Ch9KT5eRIBpjleM2xrAclQunBCxWtaWC0bbtT838JrGrFF5mLJt043d2GDB01WvvogBewC KMphStf5YVIIFyhZrJtboS6BqwClPa9TI29D6GEMoEUPvCdkTNrGgkzPyZ8OEiwyiARfV0XZ c/znTuEVC9KVv89nFJauc9GieN3rszB+Y8jbcqilUX4jeb2iI+9U7oePVKTJux27aWKpx/Q+ speMM2Rgw5UUeD4fijZ8JcOIEtCIWVzHI37ocFcPq6ZIxEOJY3SI6K5/F/VQKQ8x/49vr6Rr hmVBxEEoHKi2yyvAVjaOxhLNeKzNb4i/C1TFXJ3Zz6AhSN8CbtDGY9FLfPbi5F7rbE4pRO1J tFZE/i97gNnF2qXpmxBPcWsxGGgHTzy7T+z0+OeSGBXV/Zdq8bho7cIpyPjq3sDCDSZr8w7r +Hy3w/XW8NdFQV4C4DLbfWp00m8tHxbk+srBxnEJdxaeUPN9ol2Kn2u1K5sf5hddhiTlCGH0 wu2AAsDobefqYEC8O7P2fKOobCvHrYsBUFdBWTase27OHCCrGquyINNSsiSejXZWD+m8amuf 7wLnfDmN7samVFMr5BxGrItxqtnv4njoLpTzwJFGnTXbgX0UOI7fiDXgsQW7/9D3L5UvweyS 3mjwNgCNOXbIt7hHX4QOBEhMLaJ28YUrT+Ov/47F0P3uX1s972dXEQOZBSBhXAPLLZxN495k +4ttNRMu166gxsuKd2PiCZZ7SKNNHtGTqAgsI0ADYbvzAEikwkQbZvZAy7wwZeOd9QdbRN7e WPN1fXP1+ZG207PU3svDnyTj+BTspQ5vkwYxlE1IVnUyMHOgeU63UEK/DlrHB5ZyA5Lj7B6N mRxbR0nIKyP+yxjjc5FUnrqGhtGQgCc/Urt0VYAkCvSRhDwBGDKKWQ8P8eL/VwYoj0GL2MHp eDHxTa3SyvuceHwwjA2BxxvpcvjetotpAfMr8aqQpaeFJ4gbDu52aKjaALkcfc87R/dWaEGm QVrwAq0QajyNCoLqKQ9DYSAk7UKT1aZIWtEXets9adPFmi0lPReH9SRAxjZRy+PD6WiHYyE5 whGJ9hIEQm70yCStD0SAegHKteYWdY3scEadOqDyXEu6tOiQ/kAjH4U3inkgyk2RtJojdwwI 4eXfDvq/ql8Q5dLszelkfSo8VZUrTXJiMMQEQx1HCg0+0o/jdxR
- Ironport-hdrordr: A9a23:0z8Jc6yH1njRsL3MhWarKrPwCL1zdoMgy1knxilNoNJuE/Bw9v re5cjzsCWYtN9/YgBEpTntAsa9qDbnhPpICOoqTNGftWvdyQiVxehZhOOIqVHd8m/Fh4xgPM xbE5SWZuefMbE3t7ec3CCIV+wY6P3C0IeGo47lvg9QZDAvUZhJy0NdJjm2NyRNNXJ7OaY=
- Ironport-phdr: A9a23:QiGt0RevJCFLfPjH8B8VyXe/lGM+T9TLVj580XLHo4xHfqnrxZn+J kuXvawr0AWSG9yKoK0Zw6qO6ua8AzZGuc7A+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohA c5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/I Au4oAnLq8UbhYRuJ6QxxxDUpndEZ/layXlnKF6NgRrw/Nu88IJm/y9Np/8v6slMXLngca8lV 7JYFjMmM2405M3vqxbOSBaE62UfXGsLjBdGGhDJ4x7mUJj/tCv6rfd91zKBPcLqV7A0WC+t4 LltRRT1lSoILT858GXQisxtkKJWpQ+qqhJjz4LIZoyeKfxzdb7fc9wHX2pMRsZfWTJcDI2/Y YsBAegOMuhXoIbhvFYOsQeyCBOwCO/z0DJEmnn71rA63eQ7FgHG2RQtEc8SsHvKotX6LqESW v2ywqnPyzXDafJW1inn6IPVdR0hpPaMXbR2ccrQ10YvDRjIjlSKqYziJT+Vy+ENs2+d7+p8T +KglXQoqwVrrjez3Mghk4/EjZ8axV7Y7yt22po1JcGmR05hZ96pCJRduiCaOYdrTc0vQG9mt SU0x7AatpC1cycExZc6yxLCavGLb4eG7wziWeufIzp1mnFodbajihu88UWuyu3xW8uy3V1Xr SRFisHBum0D2hDN8MSLVOdx80i71TqR1w3f8OFJLVwsmafUK5Mt2Lw9moQJvUjdACP6hV/6g a+Lekgi5+Om8f7oYq/8qZ+ZL4J0ih/xMqApmsGnBOQ3KAkOX2yA+eugzrLj+0v5T6tQjvEsk 6nZqpfaKd4Gpq68BA9V1Joj6wyhADi81NQUh2UII0hddBKGiYjmJU3OLejlAfqxnVigiilny +zJM7H7HJnALmLPnbf9cbpl7k5T0gszzdRR55JODbEBJer+Wkr2tNzeCB85MhK7w/z8BdV8z IMeXniDArKcMKPVt1+I+vgvLPeWa48RojryN+Iq6+bojXAigVAdZ7Wm3YMLaHCkGfRrO1iVb WL2gtgdCWcKohY+TOvyhVKeVj5Tfm++UL445jEmE42rFpzDR4CogLyZxii3BJxWZmZcClCNC 3jkbYuEW+1fIB6Vd8p8kTEfVfC9SpAozxDm4ArnyLd8LvbV5SQCtNTi1dlp4sXckBgz8Xp/C MHLgE+XSGQhpX8FSTYwlIV4p0p8x03Lha1/hfpZGMZ75ulOFBo/MpjA1eFzD5b5U1SSLZ+yV F+6T4D+UnkKRdUrzopWC64cM9CrjxSZmjGvH6dQjbuAQpo97qPb2XH1Ycd70XfPkqc73BE9W sUaE2qgi+Zk8hTLQZbTmhCckKCsdKkG9C/X8yGeyG2IoFtVWQo2WqyWFWsHaB7upM/irljHU 6foDL0mNgVbzsvXL6xMbNzkl31HXvClJdHZZX6rlm60Qx2BlfuXdIS/XWIb0W3GDVQc1QAe+ XHTLQ8lGiKouH7TFhRrHFPreEjl9+9zsjW6VEhy0gSNaVF72rOxvBUc7RCFY9UU2L9M+CIoq jEuWU24w8qTEd2L4QxoYKRbZ9o5plZBz2PQ8QJnbNSmKOh5i1gSfh4S3Qum3ghrCohGjckhr W87hAt0J6WC1VpddjSelZnuM7zTI2P28VihcanTkl3Z1d+X/O8I5pFa4x3muwevF0c423R91 J9I1nya+o/HBQ5UWpuwGkc7+h5mpq3LNzEn7tCxtzUkOq21vznentMxUbJ+kFD6J4sZav7CS Vehdq9ST9KjI+ErhVWzOxcNPeQIsbUxI9vjbfyNnqiiIOdnmjuiy2VB+oF0lEyWpE8eAqbF2 YgIx/aA006JTTD52R2ktcbxmI1eTTAIGSyizC/iGJRcb6k0do9BWgLMa4Wng85zgZLgQSsS8 VmlAVILwueoYx3Ucln62xFK2E0T53eu03jdrXQ8g3QiqayR2zbLyuLpeU8cO2JFc2JliE/lP Ym+i91ysFGAVwEyj1Pl4E/7w/Iev6FjNyzJRkwOeSHqLmZkW6/2t7yYYscJ5ol6+SlQVe29Z xidRNuf61Mf1CXlHmZE7DEhcHe3v5L/gwZ3gWbbJ387oHfCeM52zAvS/5SFHqQXhGJaAnMlz 2SPTlGnWrvhtc2ZjZLCrvyzWyq6W5tffDOqhYKMuS2n5HF7VBi2nvS9gNriQkAx1S720cUvV D2d9U2mJNOzi+LgbKQ6JhoNZhe08cdxF4Bgn5FlgZgR3SJfnZCJ5T8dlmy1N9xH2KX4ZX5LR DgRwteT7hK2vS8rZn+P2Y/9UW2Qh8V7YNzvKGYR3CQ84tpiCb2TqqFBmi1puFexqUTaaLIu+ 1VVgetr83Mcj+wT7UAoySObA70INUhCOmrxkhOO88qzpaERb2/lIt3SnAJu2NumCr+FuARVX n30L4wjESFH5cJ6KFvQ0Xf359KsaJzKYNkUrBHRjwbYgr0fNscqjvRTz3kCWyq1rTg/xuU8l xArwZyqoN3NNTB25KzgShcKMzDvbN4J93fsl6EYg8OR2Zy1E5xlXD4COfmgBfv6FTsTsay+c QeUF3shr3CdBaDSFAvZ404upiDKGpGvcXCNIz8EyNJkWAOQLUgZiwlxPn1yl8w8HwGu38fod kF0/HYQ/Fm+tx5LzP5yOhD7FGzW7AauYTMpRJXNMR9R6B1Y6k7Rd8eXpvR6GyUSlnG4hCqKL GHTJwFBDGVTH1eBG0imJL6lo9/J7+mfAOO6afrIe7SH7+JEBb+Owtq0341q8izpVI3HN2R+D /A9xktIXGxoU8XflTIVTiULliXLJ8eFrRa48ydzo4ix6vPuEA7o4IKODfNVP7ANs1iuhryfM ueLmCtjATNR15cXznbOzrUFml8IjGdzcj6rDa4NvCqLR6uR0q5bAhgHaj9iYctF66Vvu2sFc cXfi97zyvt5lqtsUA0DDwS93Jv0I5FScATffBvdCU2GNaqLP2jOysDzO+anTKFIyf9TvFu2s CqaFEnqOnKCkSPoXlahK7Ip7mnTMRpAtYW6ahsoB3LkSYesbxq9Nt56lxU327pym3bNM3IGP DF4NUhE5O71j2sQkrBkFmpN42AwZ/GDgDqc5vLEJ4w+tPJqBj9/nuRc7W58yqFSqjxBQ/ppg ibbqphlqhv194vHgioiWx1IpDFRgYuNtkg3IqTV+K5LXnPc9Q4M52GdY/zrj95sC9n0sKlWz NXV0qPpL3Ff9tXS4dERDsySI8vVaBLJ3jLoAjmSEQ4CSyKxOGjbwUdUwqj6Hpi9r4I97IXpn 5wSULJSUBo+H6FCYnk=
- Ironport-sdr: YJTtaSkVKt/WQ+xOKVEDd+Qn3lcY0+P3Xv0vTW4KmtRkmsPs8EWm1jIE7XLIbFhpRna8lF3ti/ jwFD144gptnMERQa1TKi54TgtddgCoRL3sz2gHK1LXBvwmfnbQrP6lR1LcCiy4JHk4qEcbd7gK +X/fI6dsXSD34wMqftiMk44I8Wh+jXzJqrNgYssS8mEclMB43b+zPJgs6iuKgXzvQMFBCfthez TiWWk80Rj8fkPqxUAtZhGo7B2VFR79sogy5xGUnaYNeRhj+kyypE9vCbqx+5abOxmavmZYwC6t JzeNnppxvEiQ3PN7rYQE9NW5
mukesh tiwari [2022-04-27 11:13:53] wrote:
> Electronic voting machine (EVM) solved the booth capturing [1] problem
> of India.
Thanks, I had not heard of that yet.
It doesn't seem to be an argument for formally-verified EVMs, tho, since
in this circumstance the "goons" could just connect another machine to
the central server. IOW the kinds of formal techniques needed would be
those used in e-voting, instead.
But it does get to the point that you can't "formally verify" the
general social climate and physical circumstances. And just like
Pierre-Marie points out, there are many other attack vectors on the
ideal of democracy to influence the outcome of a vote (many of them used
brazenly or even enshrined into law). So a formal proof of the software
running on an EVM is unlikely to make much of a difference either to the
outcome or to the trust people put into this outcome, IMO.
Stefan
- Re: [Coq-Club] Electronic Voting Machines in French Elections, (continued)
- 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
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Agnishom Chattopadhyay, 04/27/2022
Archive powered by MHonArc 2.6.19+.