coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Stefan Monnier <monnier AT iro.umontreal.ca>
- To: Abhishek Anand <aa755 AT pm.me>
- Cc: coq-club AT inria.fr, mukesh tiwari <mukeshtiwari.iiitm AT gmail.com>
- Subject: Re: [Coq-Club] Electronic Voting Machines in French Elections
- Date: Sat, 30 Apr 2022 22:51:48 -0400
- Authentication-results: mail3-smtp-sop.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:bOYSRqz3kMe9PwzyUxF6t+ecwCrEfRIJ4+MujC+fZmUNrF6WrkUAx zAaXW6FMq7bZGOhe9BxaN639UoFsZfQxtNqTwM6rFhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOCU5NfsYkidfyc9IMsaoU8lyrdRbrJA24DjWVvR4 ouq+KUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPhP2 PFCuJeQcDwHN73AtNwSbV5cQwdhaPguFL/veRBTsOSWxkzCaHDlxfNjFgc3J4pe5+NwB31U+ PUcbjsEBvyBr7vtmvThErUq3JllcZGD0IA34hmMyRncCvAgQJ3Za6TQ4plF2TA2mtpDFPKYb MNxhT9HNU6QPUATZQh/5JQWssappFLNfAVhjQiloIsq/UbP/SVA+e24WDbSUobTH5QKwhrwS nj912/+G1QRMMGV4SGU92qlwO7JhyLyHowIfIBU7dZviVyX3WcaDhsbTx26u/7/l0u5Xc5FJ kUQvCEnxUQvyKC1ZuftexK1q169hTAVS9Z8K+IErwXd7LWBtm51GVM4ZjJGbdUnsuo/Sjory kKFkrvV6dpH6+z9pZW1ren8kN+iBcQGBTNfOHVdFGPp9/Gm/9pu00iUJjp2OPft5uAZDw0c1 BihhUDSbZ02isgXzaiy+TgraBqM/LyhouLYKmzqso+N6wp4YJWuboqu5EKd7OxHapucSV+dp nUNn46V5Yji7K1hdgTTGI3h/5nwup5p1QEwZ3Y0QfHNEBz2phaekXh4um0WGauQGp9slcXVS EHSoxhNw5RYIWGna6R6C6roVZlzlPC5RIS5DaqIBjarXnSXXFLdlM2JTRPKt10BbGBwycnTx L/CKJbzVixKYUiZ5GHuG7t1PUAXKtAWnzqJFM+nk3xLIJKEaWWYQKpNPBSPaO4+9qaNvATS9 c0XLMCLxhNDUeP/ezTa6sYfMBgTMHUxCJu+69ZWbYa+zvlORQkc5wvq6ep5IeRNxv0N/s+Rp yHVchIGlDLX2COWQS3XOiELQO6+Af5X8CNkVQRyZgzA8yZ4Pu6SAFI3LcFfkU8PqLU+lpaZj pAtJ629Pxi4YmmZq2lFMcmh/eSPtn2D3GqzAsZsWxBnF7YIeuAD0oaMktLH+HZcAyypm9E5p rH8hArXTYBaGVZjFsGQdfeoyU+rsHEZ3ul7BhOaLt5WcUTq0Y5rNy2g0aVmeJ1VeErOlmmAy gKbIRYEvu2T8YU7x9n+g/zWpYmeFeYjTFFRGHPW7OrtOCSDpjijzIZMXfymZzfYUG+oqqyua f8MkaP9KvpBgVNNtZZmHr9vi6k3voO9q7hfxwViPXPKc1X6VekxeSXfjJZC7/QfyKVYtA26X lO01uNbYbjZatn4FFMxJRY+arrR3/8jmg7UsaY/LnL86XIl57GAS0hTY0KBhSEBfrt4NIQpn bUotMIMsVztjxMrNs2NhyZS+n7KL2YHFbgisZcGGoLijkwgwwgaM5DbDyb35rCJaslNYxZwc 2TI3fudiuQO3FfGfloyCWPJg7hXi6MOjxYWnlUMEFKEx4jejfgt0RwNqjk6ElZPwhNc374hM 2RnLRcld6CH/jNzj8FFWW22XQBbA1uE/0v310EEnWmfREDxDj7BK2g0OOCs+kEF8jMDJGkAo OjJl2u1Ayz3eMzR3zcpXRA3ofLUTet3ql/IlvehEpnXBJI9ezfk3vSjaGdgR8EL2i/taJArZ NWG/dqcrYX+PC8UuKYyDY+Xz/IRUhfCOWlFR+178aoNW2rVEN13Nf5iNGjpEv6h5dSTmaN7N yCqDsNVUFKj0SGIsioWDKpKKLYccDsB+o8ZYr2yTYIZm+L3k9eq2a48MgD/nmhtXtBpl9onJ 4rVMTmLeoBVab24hEeVxPR51qGEjRXoqeEyMC1ZMAnEKn7bjNxRTA==
- Ironport-hdrordr: A9a23:duNK76NIYWd57cBcThujsMiBIKoaSvp037Dk7SFMoHtuA7Slfq GV7Y0mPHrP5Qr5N0tQ/OxoVJPufZqYz+8Q3WBzB8bFYOCFghrKEGgK1+KLqFeNJ8S9zJ8+6U 4KSchD4bPLY2SSwfyKhzWQIpIb+fGitICOqsG29QYXcShaL5tYxyM8LyqlPmgefng9OaYE
- Ironport-phdr: A9a23:c5X7BB9AUMil6v9uWfS2ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z wqFv74z1ReJBdydt6gezbKO8ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWijexe61+I Au5oQjQq8UdnI9uJrosxhfTrXZEZfpayXl0KV6Pmhr3+9u98oNk/ylMofwq6tROUb/9f6Q2T LxYCCopPmUo78D1thfNUBWC6GIEXmoZjhRHDQ7F7ArnXpjqqSv1qvB92CiBMsLoS70/RCmv4 L1qSB/sjycHKiI5/WTKgcF+kK5XvBSsrAFkzoXKfI+aKuZxfqLFfdMbW2VBWNpRVzdcCY+4d ocDEvYNMfpdo4T7ulAArwaxBRO0Ce3v1DFGm3z43aM03esjHw7J0xAvEd0VvXTItdX4LrseX fyvwaXVyzjIcvNY2S366IjNah0vvO2MUqx+ccXLz0kkCgTLjlKWqYzjPjOayP4NuHWc4uplU uKvjWgnqwBvrTi13cosi5PJhoUPxlDZ8CV5x4A1JcGiSEFle9GkFIFcuD2AOIZvRM4pXm5nt jogxLIcpZ67YDYFyI4hxxPHdvCKfIyF7B3hWeuPLjl0mmxodr2wihuy7UWs1vHxW9W03ltEs idJjMTAuH4D2RDO6cWKRPlw80m/1TuR1Q3e5OdJKl03m6rDM5Mt37A9moQJvUjdAiP7l1/6g LGWe0k++uWk9/zrb7rmq5OGNYJ4lBvyProwlsCiG+g1MhUCUm6G8uqmzrLj51f2QLBSg/02j KbZtJfaKNwepqGjAg9V1p0j5AqlADeg1tQXg2MHIEhEeBKdiIjlIUzOIPX/Dfe5n1Ssiilky OrCPrH7HprCNGDPkLbnfblj905R0Bc/wN5B655OFL0NPP3+VlXvuNHYFBM0MxC4z/7iCNpn1 4MeXWyPArWeMKPXqVKI4+UvI++KZI8Upjn9MeMo5//0jX8+g1MdYKyp3ZwRaHCkBPRpPV+WY X72jtgdC2gGpgw+Q/fyh12YTTFTf2qyX7475jwjFY6qFZ3DSZy1gLydwCe7GYVbaXxBClCVC Hvna4GEW+oXZy+JOc9gkjkEVaC7RIM71BGushX6y7t9IebO9C0Yr8Gr6N8gzufTlAoy+D88J sKU1W3FG2h9wT5VbyczmqVy9x9T0FCGhJNkjvJRE5R24PVPUwogfcrZyOp8Ct3ocgPbeZGUT VGgXs+rCDV3RdtnkIxGWFp0B9j31kOL5CGtGbJA0uXTXPTck4rZ1nn1fINmzmrekbImlx8gS 9dOMmuvguh+8RLSDsjHiRbRjL6kIIIb2iOF72Kf1SyWpkgNVQl2V6TIR1gefEyQsNH+4F/YQ raqT78uYUNa0cDXEqJRcZXyiEleAvLqOdDQeWW0zmK3AxCJy6mkbZDtPXgY2yPBEkUNl0YY9 CXOLhAwUwGmpW+WFzlyDRTvbkfrpPF5s2++R1QowhuiakRg06G+8xgTiObaSukUmK8BvyE9s Th9GBC21ro6EvKmoAxsNOVZaNI5uxJc0H7B8hd6JtqmJrxjgVgXd0J2uVnv3lN5ENcIl89it 34swAdoTMDQmFpcazOV24zxMbzLOyHz+h6ocavfxlDZ1p6f5K4O7P0yr1irshuuEwIu9HBu0 t8d1HX5hN2CCQ0UV5P8SG427R88urTdZDUn6orQk3ZlcOG1vjLEx9M1Fb490B/zGrUXeKiAF QL0D4gbH533c7ZswQD1KEhZer0Kp8tWd4u8evCL2bCmJrNllTOi1iFc5Zxll1mL72x6Q/LJ2 JAMx7eZ2BGGXnHylgTE0Ii/lIZaaDUVBmf6xzLjAdsbY6p0e4cGE0+vOcrx29B5gYL3Vndcs lWqTQBjuofhaV+JYlrx0BcFn0EQp3qmlDGQziZz1SwsqayDxiHHx6LpfVBUXwwDDHknhlDqL 4+uitkcV0X9dAklmiyu4kPizrRarqByR4XKaX9BZDO+b2RrU6/r86GHf9YK85Qw9yNeTOW7Z 1meDL/7uRoTlS35TSNSwzUydjfivZuc/VQyjWWbKnd+tlLYY8Y22BLY4sDGSPdVmDEPDCV1k jjYAFGgMsLhpI7O0c2b7qbkCiT8DtVaakyJhcuYuTG+5HF2DBH3hP21ltD9UEA73SL9y9h2R HDNpRf4bJPs0vfyOuZmc090QV7kvpMhQMckytd23sxWhCBJ4/fdtWAKmmryL9hBjKf3bX5WA CUO38aQ+w/9nktqMnOOwYv9EHSb2MpoIdegMQZ0kmow6d5HDKCM4flKhyxw9xC9qgTXYPVnt jYHzr0z7Xkcn/sEsQ5rxSzXUdVwVQFIeDfhkRiF9YX0qaJRYmeia5Cxzk04gNWmCq2YrwhYH n3wMMRHf2c4/oB0N1TC12f244fvdYzLbN4dgRaTlg/Jk+lfLJ9i3upPnydsPnjx+GE00+Nux wI7xom05cLUTgcltLL8GBNTMSf5It8e6i24x7gLhd6YhsimTJBsAD4WRpauTOivVi8XsvL7L QuHFHs3oxL5UfLWTwqW6UM+9jTOCZftKnSQImUDwNxmAhKUbEUNhQkVWHM7hJl/CwWtwtD7f U59oDsYgzyw4hIez+tpMwL0W2HZqR3uay0zDoWaKxxK9AxL4wHeOISf6Ol3Ai1VrICkqwqRM GGSY0JDBCkfU0iATTgPJ5GI4t/Nu6idD+u6dL7VZKmW7PdZT7GOzI6u1Y1v+3CNMN+ONz9sF a9z3E0LRn1/F8nD/ldHAyUKiyLAadKarxag62V2qM646vHiRAPo48OGFbJTNdxl/x3+j72EM qacgyNwKDAQ0Z1ppzeA0L8EwFsbkD1jbRGoGLUEriXESqTdgOlWFRlddiZ0MtdS4qs4mAJEe Ibaht7zyr9kn6s1BlNCBjmD0omiYc0HJX34NUuSXR3Rcu7eeXuRnoeqOfDZK/UYluhfuhyut CzOFkbiOm/GjDz1T1W0NvkKiiiHPRtYsYX7cxB3CGGlQsi1D3/zeNJxkzAyxqU5w33QMmtJe z17dUVMo6e47DlfxOh6HGpd9HdsKa+PkmzKiouQYoZTqvZtDiluwqhC528mzrJO8CxebPl8m S/JpddopVy81OiVzXx6VR1ItixGjYbNtkwoasC7vtFQHH3D+hwK92CZDR8H8sBkBtPYsKdV0 tHTlaj3JV+qEvrR9MoYHMPdLsSKKjwgKx2vBTvTChcfQDevc2rW1RQ1eBS692eS6IU/rZ7wg pcHTvlQXQ5tfhv1IkV/G5ofJZBxQikpmLrdh8davBKD
- Ironport-sdr: VrnUrqBA9XdcHAv96HB2ImleOHd7JaJlJqr7pEByE7xV53OQ91J5/LIZzc+Yy+u6TLq/WhFOZ9 uHGLtNcs0WYGrLBoyCFJ5StNVb6Nh+u8QL9803EvHwBvoTm1WpywldF4aXRs54dTMqjmWkpPB4 qhfj9fXYhb8d2f+8kq8BXhq1A+9MhNrwWtrJtGeXbGWT4cmcRDYHw8m6leLJHUv3bSkpQ+fqF9 aS/H621RmYqxXDXjlYBDhjQDK8sHbSv1ywW0glzv9swU/0hX3DX/i2v9GTChvOPCLhHRa/2NkK 4o+mws16C61NgkeWC1QvNgCy
>> 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.
> Not necessarily. There are cryptographic remote voting schemes that are
> coercion ("goon") resistant (as long as goons don't interfere with voter
> registration) yet cryptographically verifiable by everybody,
That's why I referred to e-voting, which is different from formally
verified voting machines.
e-voting relies on a cryptographic communication protocol and doesn't
make particular assumptions about the trustworthiness of the machines
used by the remote voters.
Formally verified EVMs on the other hand rely on correctness of the code
running on the actual voting machine (and correctness of the hardware,
etc...).
They both involve computers and voting but they are quite different, AFAIK.
Stefan
- 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+.