Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Electronic Voting Machines in French Elections

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Electronic Voting Machines in French Elections


Chronological Thread 
  • From: Rajeev Gore <rajeev.gore AT anu.edu.au>
  • To: coq-club AT inria.fr
  • Cc: rajeev.gore AT anu.edu.au, Stefan Monnier <monnier AT iro.umontreal.ca>
  • Subject: Re: [Coq-Club] Electronic Voting Machines in French Elections
  • Date: Sat, 30 Apr 2022 10:41:38 +1000
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=anu.edu.au; dmarc=pass action=none header.from=anu.edu.au; dkim=pass header.d=anu.edu.au; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=ugB+3xArcK/he7ji02irvHPRF7+SVIiguZdDXZKuAXI=; b=g/uCAi+KjEr7s16vgOJXVnlWV/1J0ZmkJIUJ4Z8XLjoHlIR2T+kfsbh1/jTi3xyLNS7coy4YgAlIfR01xIG3koU9nbQY3szoBAoa47cdl9VgZAS0EJUSj8I8l3zM9fU2LOG1PwcgEGTGbjgk0a/T+jYzJSt/mT7f+a1KthcaHKtteLOU2MdHI1CotMI6SLJX7X3Xk+MRx6AL4t7sW8f+zQ3IJrzVGMcvsmRA2l852OeBulH94M/gLO23Dpg0cRMT82goVLzXWpVG1zmIUcKWGfWwS1igS4iML/OP4hz48GbWRzG98NfPXbs/gNT7PVfUfdotfw5l92XmsyAvsfXu4Q==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=CzqMf3OX8FCnJW+NxVB0rxlKjPb7Z/Yp9EgB4woJSehdzhVNGGbI7epjebitK+wlcCnWGhs3DW0b3jdJkV9GsdLhfD6P9TM/IR2bMCO3CSs3EAGjI9Pm/qNGNvF7GIz4VMQmfiUjbcUAHHHClM7SSiw3iGN1U2qk8tURrYfb1N8P733/iC8mMITsiL86ED/q7YsKqM0QtnIVyd8n5vtzbwtXSzYee5hrbINrdMVWFaaoZ8bEW/xaMUALr/tyjSKPubVaFlOIOxmSfqEA2uuQznf/xBWo88HH5k2XGkJ51xb43XOnn0OAA/09XgAFuIaaptPWoQXOg26fBqb5ewMOeQ==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rajeev.gore AT anu.edu.au; spf=Pass smtp.mailfrom=Rajeev.Gore AT anu.edu.au; spf=Pass smtp.helo=postmaster AT AUS01-ME3-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:BkEYL6CivGe8ZRVW/1Lmw5YqxClBgxIJ4kV8jS/XYbTApGkihmQOz WYWDGnVOveNNGf3fI0lPITi9hwDu5/VxtU1OVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6j8lkf5KkYAL+EnkZqTRMFWFw0HqPp8Zj2tQy2YTjUlvR0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYozG4nPtP8 PETj7iLRCEOPb+RuLgSfBYNRkmSPYUekFPGCVGCipTKimjrKD7ryfgoC1wqN4oF/OoxGXtJ6 fETNDEKaFaEmv6yx7W4DOJrg6zPLuG3ZMVG4i4mlGmJS69/H/gvQI2SjTNc9A05hM1DA7DxY NAUQTNpcVLNbwAJM0p/5JcWx7vw3SSjLmQwRFS9n44z5WrsnF1N673sYf2LJdu0Z+tRtxPNz o7B1z+gWUpFXDCF8hKO9WvpjevSlwvgSYcKHfu58ORriRud3AQu5AY+UFK6pby8hxW3RskHc ksSoHN38+416VChScT7U1ugunmYsxUAWt1WVeon9AWKzamS6AGcboQZctJfQNgXt+QIfRh07 HuykvXOBi4ykOGaZn3Io994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHokL/Emd3oOdJN3g/ 9yZhG1l2OVK0J5jO7GTpAyb0mzy9/AlWyZvvm3qsnSZAhRRTbPNi2aAzFXf5/FdNoCUJrVql CNcw5H2AAwmM5CGiCuXQexlIV1Ez/OMMTmZhFM0FoQ6r22q/ST6JN4W5yxiLkB0NMpCYSXuf ELYpQJW4tlUIWeuaqh0JYm2DqzGLJQM9/y7Bpg4jfIXPvCdkTNrGgkyOyZ8OEixzSARfVkXY 8vzTCpVJS9y5V5b5DS3XfwB9rQg2zozw2jeLbiikUn+iOLHNSHKEOheWLdrUgzfxPPUyOky2 4YPX/ZmNz0DCoUSnwGLrNVCdQBWfRDX+7is95EML7brzvVa9JEJUKaKmuxJl31NmqVejODT+ X+hEkRf0kL4n3TbKAKMAk2Pm5u+NauTWUkTZHR2VX7xgyZLSd/2sM83KsVrFZF6qr0L5aMkH pEtJpTbatwSG2Sv02pHMfHV8tc4HDz13l3mAsZQSGNiF3KWb1eVoYCMk8qG3HVmMxdbQuNj/ e39jl+LHctrqsYLJJ++Vc9DBmiZ5RA18N+elWORSjWKUEmzooVsNQLrifo7f5MFJRnZn2PI3 gCLRxoUuK/EvtZtotXOgKmFqaavEvd/RxYLQTOEsOzubSSKrHC+xYJgUfqTeWyPXm3D/qj/N /5eyOvxMaFakVsT69h8Hr9nwLgQ/dzqo7MGnA1oEG+SNwaiDK4mL3Wbm8BS7/UfyrhcsAqwe 0SO5tgDZeTXYpy4SgZJKVN8POqZ1PwSlj3D1tgPIR33tH1t4b6KcUROJB3Q2iZTG714bdE+y uA7tc9KtgGyh0Z4MtuCiSwIpW2AImZcDvcOi6pCWcrOp1FuzVtPJ5vBFiXx/ZeDLc1WNVUnK SOVg6yEgKlAwk3FcDw4En2UhbhRgpEHuRZryl4eJgvWxYOV3KNvhBABoy4qSgl1zwlc170hN 2VuMXpzL/rc8jptgv9FQG3xSRpKAweU+xCqxlZVxnfVSVKkCj7EIGEnZL/f+UkY9ydZc2NS4 arAkWHjC2+zIof2wzc4XlNjp7r7V9tt+wbemcehWcOYA509ZjmjiairPDJapxziCMI3pUvGu eg1o7kpOfenbXYd8/8hFo2X9bUMUxTbdmFPRPdW+qlWT2zRfTeF3yeDdhKqccRXKv2WqkK1B qSC/C6Uu8hSCcpPktwaOULIC5ZJp6Zwof8vIfbsL2NAtKaDpD10tp6W7jL5mGIgX9Rpl4A6N 5/VcDWBVGeXgBO4XkfT+dJcNDPQjcYsPWXBMCKdqY3l1K7vdMlld1x037ep+XyIWOei1wzBp xvNPsc60MQ7obmBXOLQ/mFrDgOpb97/SaKB7WhfdjiIgcznaa/ziu/elrUr08m681fctxSbW IlhaOLK4X4=
  • Ironport-hdrordr: A9a23:dilnka6LqSqG3/D/5APXwS6BI+orL9Y04lQ7vn2ZFiY5TiXIra qTdaogviMc6Ax/ZJkh8erwXJVoIEmsjqKdhLN8AV7MZniAhILFFuFfBM7Zslvd8k7Fh5JgPM VbAtFD4bTLZDAV7PoSojPIdurIqOP3jZxA7t2urUuFIzsaCJ2Ioz0JcjpyRSZNNXN77NcCZe yhz/sCgwDlVWUcb8y9CHVAd+/fp+fTnJajRRIdHRYo5CSHkDvtsdfBYlCl9yZbdwkK7aYp8G DDnQC8zqK/s8ujwhuZ82PI9ZxZlPbo19MGLs2Rjco+LCnql2+TFc1ccozHmApwjPCk6V4snt WJixA8P/5r43eURW2xqQuF4XiU7B8er1vZjXOIi3rqpsL0ABggDdBauI5fehzFr2I9odBVys twri6knqsSKSmFsDX25tDOWR0vvFGzu2AenekaiGEaeZcCaYVWsZcU8CpuYdo99RrBmc4a+d RVfYDhDK48SyLbU5mZhBgk/DWUZAV9Iv/cKXJy+fB80FBt7QJEJgUjtY4id0w7hewAoql/lp v525tT5cBzp+8tHNZA7bQ6MLyK4lKke2O9DIvVGyWtKIgXf3jXq5Tw+twOlZKXRKA=
  • Ironport-phdr: A9a23:srB5HRM4pyDdunHm5iQl6nY4AhdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv64r1geCBt+Tq6odzbaM6ea4AS1IyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf71/I A+ooQnNucUbj5VuIbs1xhfVv3dEYetbyX12KV6Jgxrw+sK894N//ipNvP4s69ROWrjgcaQiS rxYAjUmM2Qr68DuqBLOUwiB6GYCX2sPihZHDBTL4x/8Xpfqryv1rfF91zWAPc33Vr87RzKv5 Lp2RRDyiScHMzk58HzLisF1kalWrg6tqwB5zoXJe4yeKuZwcb3BctMbXWpBX9heVypdAoOnc oADC/MNMftEo4XholcDqwa1CwuxC+P10jJGhmH407A00+ovEw7I3wIvEM4Bv3nPsNX5KL0fX fypwKTS0TnOae5d1zfn6IjPdxAsue2CUqhyccXP10YvCR7OgFSXqYz/ITyey+MAs3KB4OpiS +2glXAnpxt+ojio3McjlJLEiZgTylDZ7yl23ps6JcCiREFhfN6pCZ1dvDyVOIVqWM0tWX1ou Dokxb0cv562ZDUHxZYpyRPdavGKfZSE7xD+WOuNPTp2i3xrdbajixi970WtxenxW8a23VhEr CdIktbBuH8D2RLd5MWLV+Zx80mn1D2S2Q7T7eRELlo1lardM5Mu3Kc8loQUsUTfACD6gUT2g 7KMekUj4Oio5OLqaajlqJ+EL4J5hR3yPr4zlsCjA+k0KBUCU3SY9OimybHv4Ez0TK1UgvA3j qXUvpXXKdkHqqGlAgJY15sv5wq6Ajqn09kVmHwKIE9BdR+BkoPnIUvBIOriAve6m1mskClkx /TBPrD5HpjCIGXNnKv8cbpk7EBSxwQ+wclY551PFL4NOvXzWlLttNPDCR85Lgq0zPv9BNVlz IMeXn6PDbGFP6POsF+I4eQvL/OLZI8IpDb9L/8l5/ntjXMjhVAdeqyp0YMWaHC+APtmP12Ub HXwjtsbDGsGoggzQPb3hFGeUjNffWu+U7896z0jDYKpF4bDRoSjgLyb2ye7G4VbaHxcBVCOD 3jnaZuEV+0NZiKVOM9ujCcJWqKnS488zx2hqhL1y6d9IuXO5y0UrZTj28Nt6O3JiR4y7SB0D 9ia02yVUm14hnkISCMu3KBjvUx9zU+O3rR/g/xBDNBc+/dJUhohOpPH1Ox7C9XyWhrbcduTS VamRM+mATArQd4rzd8OeRU1J9L3hRfamiGuHrU9lrqRBZVy/LiP8WL2IpNHwnTL2bdpoF48T 4MbL2Ski6NhsQfUHYPhmkOE0aumaOIVwXiepy+40WOSsRQAA0ZLWqLfUCVaPxOOxTyYzkbLT rv0TK8iLhME08mJbK1Ddtzui1xCAvblItXXJWyryC+rHRjd4LSKYcLxfnkFmj3HAR0emgIe8 GjAOg8kCw+opX+YATBzU1vyMAv36ecrkHqgVQcvyh2SKUho1r674BkQ0MaVSf4ewPQrvz0sg zxyARCw08+QAsfT7xF5cvBkaMgmqExCyXqftwF5Ocm4KLt+g1cFbwltl2rT7E0uT6Btyo0tp n5syxduI6WF1l8HbymfwZ37JrzQLC/14QyrbKnVnFrZ1b56448p7/I14xXmtQCtTA859ml/l sNS2D2a74nLCwwbVdTwVFw2/l50veOSZC51/I7S2XB2VMv8+jbfx9IkAvckwRe8bp9eNq2DD gr7D8wdAYCnNuUrn1Gjah9MMvpV8eY4OMavdv3O36DOXq4ohjukgGlZpo96yE+k/ixhDOPEw tAM3rDQ3weKUSv9kEb0qtr+yuUmLXkZGmuyzzShBZYEOvU0JN5UTz72c4vun4st4vylE2RV/ 1OiGV4cjcqgeB7IKkf4wRUVz0Mc53quhSq/yTVw1TAvtKuWmiLUkIGAPFIKPHBGQG56gBLiO 4+x2pogVUqlYhZvuxy/6G7zwbUdqahiaWDOCxQtHWC+PyR5X628u6DXKdRG6p4lr2NYV/6xS VmcV/jwrwZc2j6pTA48jHgrMjqtvJv+hRlzjmmQeW1yoHTucsZ13R7D5dbYSJa9xxI+TTJjw XnSD1m4ZZyy+MmM0o3Euaa4Xn6gUZtadW/qy5mBvW21/z8iDRq6lvG10trpdGpymRXy1dRnS 2PnqwzxSoDtyuK3Pf8hd1QgCFLn6sV8E51zicNs3NdJgSdc383FuyNezy/6Kp1D1Lj7bWYRS DJuoZad+wXj1EB5bzqIy4//SnSB055kbti+bHkR33F15MRLBaGIqb1cyHct5APg8kSIOag7x 25Dmp5MoDYAjuoEuRQg1HCYC7EWRwxDODD00g6P5Ja4pblWY2Cmdf6x0lB/lJavFuLnwEkUV XDnd5MlBSI14N94NQeG6nTx54z6PvbXd987vxuJ1RrMkq5cNdhi85hCzToiIm/7sXA/nqQBh B5j0I/8k4+dJk1k+r//DxJFcDToLZB2mHmlneNVmcCY2JqqF5NqF2AQXZfmevmvFSobqfXtM wvdWC15sHqQHqDTWBOO8Eoz5WyaCIilbjvEQRtRhcUnXhSWI1ZTxRwZTClv1IBsDRiknYTga Bsrv2tJoAOm7EMKkqUxaVH+SjuN/VbzLG5sGN7Ec1wOqVsegiWdec2GsrAqRXoep8X66lbVc SrFO0MSUykIQhDWXQi4eOL1o4aYtbDfXLb2LuOSM+vT77UDDrHRlc7pjtAhpGzpVI3HP2E+X aRjgQwdDDYgRZifw3JVEWQWj36fNpfL4k7mpWst9obmqqSsAl+Kh8PHCqMOY4wyo1bs2fzFZ 7/W33w+cmwQ14tQlyaVkP5FhAVU0n4wMWn1Vu9a/S/VEPCJx/cRVUZALXs1bIwRscdelkFMI ZCJ0Iutj+wj3q5nUg8eCQ6z3Z35Lc0SfzPhbBWWXgDTcuzBfGCDwtmrM//kD+QI06MM8UX34 Gj+cQerPyzfxWSzEUn3aacUynncZUAWuZnhIE81VS6/E5S+LEX8aYA/jCVok+c93iqYbDdFY zYgKxsf/PrMvUY6yr1+AzITtHM9dLvdwn/L4bWAccRE9qc7SiVsy7AHuTJmjeQPqnkDHqA9m TOO/IM35QzgzbPJkn09DH8s4n5KnN7Z4BwkZOOJrt8YHiybtBMVsTfKU1JW+J08Voyp4vsAj YOV3KPrdGUfqpSIu5tEQZCTcp3iUjJpMBziHCPYAVkyVmftaTyH3kpNlK3L7TuNqYc3sIP0l twFTboTEVUxErly5l1NJNUZO983WzolleTel8sU/T+kqxKXQsxGv5fBX/bUAPP1KT/fg6MWL xcPxLr5K8wUOOiZkwR6bUJmmY3RB0fKdflwmXU4KyoZ+wBK+nU4SXAv0UX4bA/r+GUUCfO/g h8xjE15fPgp8zDvpVwwIz+o7GM8nVIwltPsnT2KOGKpav7oAscPU3qy7hFveprgCx54dwizg VBpOH/fSrRdgqEhPWFnhQnAuIdeTP5RSaoXBX1YjfqTZvguzRFdsnD7nQkevbSDUMMy0lJzL 83JzToIwQ9oYd8rKLaFIaNIygIVnaeSpmqy0et3xgYCJkEL+WfUeSgSuUVOOKN1QkjgtuFq9 wGGnCNOPWYWUP9/6Mhj9E4wJaKvyDjt+7dFNwa8O/HZJr7T6A2i3YaYB0g90E8FjRwP5b9tz cIqaFaZTWgG8YDJTlEsGJGHLgtYKc1P6HLUYCCC9/3Xxo54NJm8EeauSvKSsKETgQSvGwNjT OFupowRW5Kr1k/fN8LuKrUInA4s6ArcL1KAFP1VeRiPnWRPs4SlwZRwx4UYOiAFDDA3L3Cs/ riO7FxP4rLLTJIsb3wdRIdBKn8mRJjwhXtCp3oZRDivjrBFkE7TtXmk4HyXVWS0bsI/NqvMI 0o0V5fuv214qvbT6xaf842CdTygc4064pmXr7td/srPCusIH+Al7wGAxM8AASTtCjGHEMbrd cL5M9B+NIWtWHjmCgTt2XVpH6KTdJ6sNvba2wiwHNQN6dDJ0mx7bp3vUW1OUxZ2rOUe6K8uf hUNb9wjexn0ug8iNqu5ZgCFztGpRGXrIjxTKpsXhaCzY7gdp8LDRua81T0tQox8xvTlqCblo bkDiAyYyPq+IYBDA3Cb8p11Ujj0/XN8skU6c+E4z6E43Q/CtkQaP3aTbut1ZWdYvtY6Q1SPP XFxDWl+TFiZ39Or3w==
  • Ironport-sdr: sIDejH9qPQ1Cyox9+UNmtzmRqfO0iHCM/0YhY/raUsBn6Yq6dReSRYZYj0k0Lu5gymvOUjYMyM q5mGDG14qcTmIWUl7e4KxWM0yl3jCpZGPcne4CSfcZ32t5aPl3byIK85+FC/QltoMF9dOJ4XZE AUUy4g3Ushg7o36uL8P9ey+Os88p6SHyWobNvJbYxBZnvIeu6sgc1o2bb2o3pJCZ1JAztNR1Km x8lmDViti/zqwLo2m0CkRWMpWzaFpuqer1KqmPpBO9VVjy3dMlYI4PZUpnoTsvO6iB7Qryejfl e4Xz5JjAXWkSvcgDs5+EPq5h


Hi all,

just thought you might like to know that there is actually a regular
international conference dedicated to these issues:

https://e-vote-id.org/

Track on Security, Usability and Technical issues /
Track on Governance of e-Voting

Submission of papers
15 May 2022 23:59 (Hawaiian time, hard deadline, no extension)

Notification of Acceptance
24 June 2022

Camera-ready Paper Submissions
24 July 2022

There are ten years or more of arguments for and against evoting there
and even some papers on formally verified voting and vote-counting.

best wishes,
raj



Archive powered by MHonArc 2.6.19+.

Top of Page