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:39:27 -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-pl1-f177.google.com
- Ironport-data: A9a23:laxPlKN73tlqk+3vrR2akcFynXyQoLVcMsEvi/4bfWQNrUojgWYHy 2IeW2COOv2CNGOmKdF+aIrl/EwCusLVxtNiSHM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8kk/vgqoPUUIYoAAgoLeNfYHpn2EsLd9IR2NYy24DkW1nV4 LsenuWGULOb824sWo4rw/nbwP9flKyaVOQw4zTSzdgS1LPvvyF94KA3fcldHFOkKmVgJdNWc s6YpF2PEsw1yD92Yj+tuu6TnkTn2dc+NyDW4pZdc/DKbhSvOkXe345jXMfwZ3u7hB2Em89f7 sVKuqWQQFYMNIidm9gmDzBhRnQW0a1uoNcrIFC6uM2XilXCKj7imqoxSk4xOoIc96B8BmQmG f4wcmhcKEDewbjvnPTiFbYEascLdKEHOKsUonB8xjXQEPorRbjMRqzL4ZlT2zJYasVmRKyPN 5VIOWcHgBLobR1qAm8rWZEEhL2YmFj+XW1Epl+zuv9ii4TU5FUpjOKF3MDuUteNXIBemluSj nnX+nzwRBAcLt2WjzSfmk9AncfKlCL/HZoWTfi2r6E1xlKUwWMXBVsdUl7TTeSFZlCWVtZAB WoE/SUXjaFj0UaOH9rBZEGRmSvR1vIDYOZ4H+o/4QCL76Pb5QeFG2QJJgKtjvR25KfaohR6h je0c8PV6S9H6+LKFCrMnluAhXbjZnhPdD5qiTosFFNdu7HeTJcPYgUjp+uP/Yawh9zxXCn0m nWE9XdhwboUisEP2uOw+lWvb9OQSnrhHlVdCub/BDrNAuZFiGiNOtPABb/zsKcoEWphZgPd1 EXoYuDHhAz0MbmDlTaWXMIGF6yz6vCOPVX02AAyRsN+qmT2qy75I+i8BQ2Swm85Yq7onhe5M CfuVf95ufe/wVPxM/QoOdzvYyjU5fW7So+4PhwrUja+SsEpKFXvENBGakmX0GTg+HXAYoluU ap3hf2EVC5AYYw+lGTeb75EjdcDm35jrUuOGsiT50n2idK2OS/OIZ9YYQvmRr5jsMus/l6Om /4BbJvi9vmqeLehCsUh2dVDcw5iwLlSLcyelvG7gcbefFo7QD1xV665LHFIU9UNopm5X9zgp hmVMnK0AnKm7ZEeAQnVOH1ldp31WpNz8SAyMSA2bASn3nEiZcCk66JGL8k7erwu9epCy/9oT qldK5/QXKgXEjmXqS4AaZTdrZB5cEv5iA+LOR2jamdtcpNlQTvP5dK5LBDk8zMDD3bsuMZn+ ++g2wrXTIAtXQNnCMqKOvujw0ng73cYkeN2GUDPJ4ALKknr9YFrLQ33j+M2c5lcc0WdmmPC2 l/PUxkCpOTLr4sky/XzhPiJ/9WzDu9zPktGBG2Ev7u7MC/t+GD8k4JNVeC/ey+ECDH59aCkU uViz//mNcoBklsX4ZF3FKxmzP5n6tbi++1awwBjECmZZlinEOk8cHyP3M0KrqkUg7EA5lTwV UWI9d1Xf76OPZq9QlIWIQMkaMWF1O0VymaOt6VreB2i6X8l5qeDXGVTIwKI1H5XIoxzPd532 uwmosMXt1Gyh0Z4KNqAlSwIpW2AImZaD/civ5AeRZfv008lkw4dJ5PbDSDy7deEbNAVahsmJ TqdhazjgbVAxxqdLyBiSyCVhecN144TvB1qzUMZIwjbkNTygPJqjgZa9i46T1gIwxhKuw6p1 rOH66GoyWSyEzZUaAxrWmmtH0RZAETc9BWulB0Gk2rWS0TuXWvIRIH41SBh42hBm1+wvBACl F1b9IoheTnvdcD1mCA1XCaJbtT9GMdp+FSqdN+PRqy48lpTXdYhqqCrbGsM7RDgBKvdQaEBS fZCpI5NVEEwCcLcT2DXxWVXOXT8hS1o/FB/fMw=
- Ironport-hdrordr: A9a23:/1onIqqO9SXvCjDPxE9b0XUaV5oIeYIsimQD101hICG9Afbo8f xG+85rqSMc6QxhJU3I/OrrBEDuewK/yXcY2/hrAV7mZnidhILKFvAG0WKB+UyCJ8SWzIc0vs ddmupFeaXN5DBB7PoSizPIdOrIruP3iZxAyd2uq0uFjjsHV0ij1WpE48qgfXGejTMpOaYE
- Ironport-phdr: A9a23:i1TDjRbVi27S7wkC1wbBzYT/LTHp2oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gSPB9iQsqsfw6qO6ua8AzZGuc7A+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohA c5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/I Au4oAnLqMUbgYRuJrssxhbHv3BEf/hayX5yKV+cgRrw+N288IJ//yhVpvks69NOXaLmcqoiU LdWFi4mM2c75M3qsRnMUw6C7WYCX2sVjxRFHRHL4An1UZntvCT6sPF92DSBMs3tUb80QzWi4 Lx1RxLulSwKKiQ28GDTisx3kaJbvBesrAFxzoLIfI2YMud1c6XAdt0YWGVBRN5cWS9PDIyzY YQBEvQPPehYoYb/u1QAogCzBRWuCe711jNEmnH70K883u88EQ/GxgsgH9cWvXnKqNXyLqISX v6zzKnU1TrNdfJW2Svk5IXWdhAuu+yMUq9ufsrV1EIiEB/Kjk2RqYz5IzyV0v4Cs3WG4OV+U eKikGEnqwRrrTiuwscgkJXGhoUQyl3d8yhy3Yk6K8GiRkFhfd6kDIVftzucN4ZuX88sTX9kt Tg6x7AYt5C2YTUGxIo5yxPcd/GLbpWE7w/sWuufIjp2i31rdryiihuy7EWt1PPxWtW33VhKo SRLnd/BvW0O2RzL8sWLVOdx80O71TuM1w3f8P9ILV07mKbBNpIswLw9moIRvEnDBCP6hUT7g aCMekk69OWl6P7rb7Hgq5SBLYF7kBv+Pb4rmsGnAeQ3LAwOX2+D9OS5zrLj/En5TKxSjv0yj 6XVqZ7aKdkZq6O7GQNV3YEj6xGwDzeiztsUh2UILFVAeB6fjojpPU/BIOzgAPuhn1ihlC1ny vPGM7H7HJnBM3fOnK38cbt/6UNQ0A8zwspe55JQBLEBOvXzWkrpudPEFh85MhC0zPrjCNpny 4MRRHyAAquCPaPdtF+H/OMvI+2WaIAJvzb9LuAp5/j1gnAhg18SYbGp3YcLaHC/BvlqPl2VY WDwjdcZDWcKog0+QfT2h12FSD5ffmq9X6Yh5j4gE4+mFofCRoW1gLObxiu7H5tWZnpHCl+WC 3voeZ+ECL8wb3eZJdYkmTgZX5CgTZUg3FegrlzU0b1ie8HQeygVs47U7NlposbXnAw++Dg8W 8+F0n2GS2hpkm4MbzAz1aF750d6zwHQguBDn/VEGIkLtLtyWQAgOMuEpwQbI9X7WwaaO8yMV E7jWdK+Rzc4UtM2xdYKJUd7AdSryB7ZjGKxG7FAsbuNCdQv977EmWDrLpN203fa360oklUrR uNAMGSnguh08A2AT5XRnRChnr2xPb8ZwDaL8W6CyWSUu0QNWxZxTa7BVG0Ta0/+otHw50eER LirWvw8KgUU78mEJ+NRb8Hxy1VLQPC2INPFf2e4gHu9Hz6Nz7KIKZLuIiAThXqCTkcDlA8X8 DCNMg1W6j6JhWXYAXQuEFvuZxip6uxisDagSVdyyQiWbkpn3r7z+xgPhPXaRelBlrQD8Dwsr Tl5BjPfl5rfFsaAqgx9fa5dfcJ14VFJ0njcvhB8OZroJr5rh1oXeQB690300BA/BoJFmMks5 HQkqWg6YamA0U9KczqF0Z30ErLSI2j2uhuobu+e213T1sqX5rZa8O4x+DCB9EmiEksv9Wki0 sEAiSPNoMWXSlBLDdSoDRlkknoy76vXaSQ8+Y7OgHhlMK3v9yTHx8psH+w9jBCpY9ZYNqqAU g70CcwTQca0e4lI0xCkaAwJOOdK+es6JcSjIrGNwK+3N+JpgT6riUxI5Yl81gSH8C82GYuql 94VhuqV2AeKTWK2h0+grsvzkJ1IaDU6EW+2yCyiD4lULP4XH85DGSKlJMu5wc97jpjmVitD9 VKtMFgB3degZRuYa1GVMRR47U0MujTnnCK5y2cxiDQ1tu+E2zSIxe3+dR0BM2oNRW94jF6qL 5Lmx9wdWUGpaUAumn7HrQ7x36lHr6B2MmXeRW9HeiH3KydpVa74ureZYsFJ4Y8lqm0NCLX6M Q3cEOeh5UJFjGvqBCNGySo+di22t5mc/VQyk2+bIHtp7TLYdcx22RbD9YnZTP9V0CABQXowg j3WC16getixqI/MxtGT76bkDj7nD8IMIkyJhcuauSC25HNnG0i6lvG3wZj8FBQilDT8z59sX DnJqxD1Zs/q0b67OKRpZBoNZhe05sxkF4V5ioZ1iosX3C1QjY2U4XEDmHr/PNFz1qf3bX5LT jkOiY2wgkCtyAh4I3SFypisHH6Fw9dqY9Cnbm4S8i045sFOTqyT6fYX+Ek96kr9pgXXb/9nm z4bwvZ7838WjdYCvw81xzmcCLQfTgFIeDbhnBOS45Wivb1aMSyxJKOo2hM0zrXDRPmS5xtRU 3HjdtI+ED9su49hZUnU3iS765m4KoKNK4tC7lvOz0iG168PdNowjqZY23YhYzmm+yR7k6hjy kU/uPPy9ImfdzczouTgWkQebnutIJlLsjD10fQAwIDMg9HpTs0nQnJRBNPpVa76T2hU7Kihb lfUVmV78yf+e/KXHBfDuhg66SuVTtbzcSnQfSdRzM0+FkDFdAoG319SDHNi2cRgXgGymJ64L xw/v2FNoAa+8lwVlIcKf1H+SjuN/l/5LGdpDsHFfFwOqVgdr0bNbZ7Et7w1QnEep8z76lTKc z3TZhwUXztQBAreXAGlZePovZ6Zoo36TqKoJv/KK91isMR4UPGFjdKq24pipHOXM9mXe2JlF 7s901ZCWnZwH4LYnS8OQmoZjXCFacnTvxq69iBty6L3uP32RALi45eOALpOIJ1u/R6xm6KKK ++Xgm5wNz9Z0poGwXKAxqIY2RYejCRndj/lFrpl12aFVKXLhqpeFAIWcQt2PcpMqro4h0xDY JGEzNzy0bF8g7g+DFIEHV3tl8e1ZNAbdmGwMFSUYSTDfL+CJDDN34T2efbmEewW3LgS7UTs/ 2/ETByGXHzLjTTiWhGxPPsZiSiaOEcbo4ShalN2DnClStv6axq9OdsxjDsswLRyiGmZUAxUe TV6bU5JqaWdqC1ChfAqUWdZ72ZuKeCZlyudx+bdI5cS9/BsB24n8oASqGR/0LZT4CxeEbZtn zDOq9d1v1y8uuyGyz4iSB4X7zgS293NskJlNqHUsJJHXDyXmXBFpXXVABMMqdx/D9TpsK0F0 dnDmpX4LzJa+s7V988RbyA1AMeOMX5kKR6wXTCNU1RDQjmsOmXSwUdalaPKnpVwhpc/o5no3 pEJT+0DPLTaPvwfA0VhWtcFJcUuNg4=
- Ironport-sdr: Y29rwvXdVUBO0n4p8hYMJAAH1SGjR13CkUMp5r51lOz+5Vs0k/O56+SbBE5OFbquC9dkT9S6or pjNi9mgOYVFd+/LhadsDV+WWW+Q5/LyuY7/c49oKRFNB19iT0Bgc0WMp/Y6sv8x7XZXDc0dMg9 4bkQ3c+9apQro+dVMJX3CxIOzCVpfRt47niwOICHKu8GLd8VZN2pDkupV3KzWITydTxLVTfkLS 025cg6vTt6ISffbDyOfVNaQgItERcHXHI0WZ0IxykV1uZalqiHtA0bwMQ9xJ0gxbFO4Txp7n2j XGqAMgPEkEVRyry9fXh9LhaY
On 4/26/22 18:41, Sam Kuper wrote:
Therefore, where ballot boxes are, as above, not themselves robust against access, and if they are also stored (between the time of the ballot and the time of the count) in a place where an attacker can tamper with their contents away from observation and cover their tracks, then the attacker may be able to affect the outcome of the ballot without anyone else being the wiser.
Thankfully, French ballots are counted on the same day that they are cast,
and ballot boxes are displayed in public throughout the election. Does this
concern remain in that case?
- 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+.