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: Xavier Urbain <xavier.urbain AT univ-lyon1.fr>
  • To: <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] Electronic Voting Machines in French Elections
  • Date: Wed, 27 Apr 2022 10:12:14 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=xavier.urbain AT univ-lyon1.fr; spf=Pass smtp.mailfrom=xavier.urbain AT univ-lyon1.fr; spf=None smtp.helo=postmaster AT cisrsmtp4.univ-lyon1.fr
  • Ironport-data: A9a23:tncNYajfIc5zBGTumLGx6Ox6X161GxUKZh0ujC45NGQN5FlHY01je htvDT2Ab6mONzTzfY1+YNm0p0sCvMCGnIQwTFNo/ig2QnxjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UKieUsxIbVcMpB0J0HqPoMZkxN8w6TSFK1nV4 4mq/5eBYATNNwNcawr41YrT8HuDg9yp4Fv0jnRmDRyclAK2e9E9VfrzFInpR5fKatE88t2SG 44v+IqEElbxpH/BPD8KfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1hUp/0120c95NJ Nplmse9FwdwZLX2lvkYSDhTIwMmGI1mweqSSZS/mZT7I0zueHr32e5rEFlqe5Ae+/gyBXBJ8 6VeJiplghKr3rnqhujiFq811pRldZW0VG8ckikIITXxHf84QJ3ZBbjQ79ZZ2h8tgMFQWPLPY MxALzR1BPjFS0YUZgZLUctk9AuuringQiFVi0O2nLAMvmXVyChJypqqMvOAL7RmQu0MwhfJ+ TKZl4jjOTkRM8Xawj6Y+Fq3l+rXlGX6XpgTHfu27JZXbEa7zW0IEgYTSUPn5+S/i1D7X8NYL RVS9DBGQbUOGFKDYYLwAR3h+ma+sAMZQPtbI89izSGt8/+Bi+qGPVQsQjlEYd0gkcY5Qz02y 1OE9+8F4xQz6NV5rlrBrt+pQSOO1Ts9cTJdO3FfJecRy4Wz8NFp5v7aZosLLUKjsjHiMR/Kq 9xghBY/g7EekNQB3qO98DgraBry98GRFmbZCi3+Q3yo9Ax/acufZ4uu5B3y6e5NN+6korSpt 3kfgdOb8PhSS4yLlTLIRPQKGujv6ezt3NzgbbxHQcBJG9eFoiDLkWVsDNdWfxsB3iEsImCBX aMrkVkNjKK/xVPzBUONX6q/Ct4x0Y/rHsn/W/bfY7JmO8YsLF7cpXEwOxbAgQgBdXTAd4lhZ f93lu7yVh4n5VhPl2DoLwvg+eN6ln1mlTO7qW7Tlkj8gOH2iIGppUctaQffP79ps8toUS3P/ tBWK8aQoyizo8WgChQ7BbU7dAhQRVBiXc6eg5UOJoarf1Q6cEl8Va656e5xKuRNwvUO/s+Vr yHVchEDkjLX2yaYQThmn1g4NdsDq74k8SlkVcHtVH70s0UejXGHsflPKsNrLeV2nAGhpNYtJ 8Q4lwy7KqwnYlz6F/41N/ERdaRuK0amgxygJS2gbGRtdpJsXVWSqMLifxWq8DgJCHPxu9Fn+ ++s0QbSQJwiQQV+DZmGOKP2kwPp5XVNyvhvW0boI8VIfBm++oZdNCGs3OQ8JNsBKEufy2LCh RqWGxoRucLEv5QxrIvSnamBoorwS7l+E0NWEnP197GzMSWGrGOvzZUZC7SVezHDEWfl/6P7I +tPlqmuPPoClVdMkox9D7c0nfJvvoe//+dXl102Em/KYlKnDqJbDkOHhcQf5LdQwrJ5uBetX h7d8NdtJrjUatjuF0QcJVR5Y73bh+0UgDTb8d88PF7+uH1s5LOCXEhfZkLeiCFUILZvCo49x fY9v8oat162hhYwa43UkyZV6SGIP3sGCuMprMhCUoPsjwMqzHBEYIDdVX+mscjTO40UPxl4O CKQiYrDm69YmhjIfU0sGCWfxuFan5kP5kxHlQdQO1STl9PZrfYrxxkNoy8vRwFYwxgbgeJ+P m9nax98KamUpWw6j8lYRXupBxkdQgCf+1K0z0oOkjSfQVPxDj7BK2g0OOCs+kEF8j0MLmkCo OHAkGu1Ayz3eMzR3zcpXR83ovPuetV96wnelZ31BM+CBZQ7PWLoj/P8f2YOsBe7U8o9iFed/ rth/f1qcqjnLXJWvqs6FcyexLMWEVaKPjUaE/1m+aoIG0DaeS2zhmjeehntKpsVKqyY61K8B uxvOtlLBka32yu5pzwGAbIBfu1vl/kz6dteIr7mKAbqaVdEQuaFZH4RysT/uIPva95vitwmL 5/JK3SfFG2OwH9FnGmU6sdeUoZ9jR/oeyWktN1ZMs1Qf37AjA2oWVw006Xxu2SSNlIh8Qj8U MbrefrN1+I7oWhzt9KEL0iAbjlY7fvuUuWWtQSitNIXK93VWSsLW8X5tXG/Vzlr0XAttxibW FhDXBMbHK8IgVrub13kpg==
  • Ironport-hdrordr: A9a23:so2vyKEtuII+x6CcpLqE2MeALOsnbusQ8zAXPmRKOGVom62j5q aTdZsguyMc5AxxZJhko6H5BEDiewK6yXcW2/hyAV7KZmCP0wbFQ72Kr7GSpwEIfReOk9K1vp 0QEJSWZueRMbAs5vyKmjVQROxQu+VvL5rDudvj
  • Ironport-phdr: A9a23:M/hbKxHEmlhJgcDeyB8EdZ1GfwBFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k31xmQAc6CsakMy7KP9fy6AypYudfJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnF t9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+M hu7oR/MusQZjoduN7g9xxXUqXdMZ+ha2HlkKF2Nkxri/Mu84IJv/yFNsP896sBMVrn3cb4lR rJCFjQmNG415MzvtRbdSAaE+2URXGYLnBdWGgbJ9B71UIv/vSv8rep9xTKVPdbqQrAuWDSt9 LlkRRn1gyoaLTE58WXXisttjKJHpR+quhJyz5LIbIyTKfFzeL7Wc9EHSmpbRstfWSxPDJ2hY YUMFeoBM+lXoJXgqFQMrBuzHhWsCP/1xzNUmnP6wa833uI8Gg/GxgwgGNcOvWzVo9rvKqcSU P66zLPVxjrNdfNZwi3y6InOchs8pvyNUqh/cdTQyUYxDQPJlEiQqZb+MDyP1+QNtXOW7/dmV eKulW4rsgVxozioxscql4XFnIwVykrd+Ch/3Y06KsG2RlRhbt64DJtfqTuaN41uT84+X2xkp ig0x78YtJO/YSUHxokryh/QZfKJc4WF7RLuWPqPLTtlhH9ofLOyiwi2/EWgzuDxSsi53VdXo idBndTBsG0G2RLU6siCUPR9/0Gh1C6T2ADV8OFEOlo4laTBK5Mn37U+lYITvFzeEiL4l0j6l rGaelgr9+Sy9ujqYbbrqoWBO4J7iAzyKrkil8KwDOgiLAQCQmeW9f6h2LH9/ED1WrtHg/8wn 6LEqp7VP94bqbS8AwJN0oYs9RK/DzC+3dsEnHkHN0hFeAmCj4j1I1HDL+r0Deq5g1Stjjdn3 vTGP73mApXLM3TPirnhfaxl505dzgo808xf6opJBrwPL///QFH9uMHXAxMjLgC5wOXqBM9g2 o4RW2+DGqqZP7nTsV+M6OIvOe6MZIoNtTfyMfcl+f/ugmEjmVMHYKmpx4AYZ2q5HvRgOEiZf HzsgtYfEWsTugo/TOvqiFufXTJJaXayRbow5jcgB42+F4fMWpitgKCd3Ce8BpBae3hKCkqQH nfwa4WER/AMZTqOLc9mizwITKSuS4s81R61rwL60LpmLu/M+iICr57j1d515/fSlR4o7zB0A d6dgCmxSDQglWQRAjQywapXoEpny17F37Iu0MZVDdhC2/QcYg4kNJPGh9FgAdnzXEqVbt6XS Vu8BMi8CzgwSPosxd4QJkJsHNP7yB7ZiXmEGbgQwoyCGp056OrhxXL4JsA1n2bPyqgslR87W MFGNGuOm6h+6U3XFonPygOXjfD5JuwnwCfR+TLbniK1t0ZCXVsoOU2kdXUWZ0+M6M/8+luHV bilT7IuLgpGz8eGbKpMcNzgy1tcF7/4INqLRWW3li+rAAqQgKuWZd/6cnsc0T+bFVIOmgEV1 WuANBZ7AjampTuYAiY9XUn3bRbU+PJl4Gi+UldyygiLa0N70L/g6hcLhPGGDe4J1LsFvg88r TRqWVKs2NSPTdSa9EJ6ZKsJR9Q77R9c0H7B8QxwOpv1N6d5mlsXaBh6pWvl1g5tEYBciZRss XUr0k92OKWeiRVPbVt0xLjWPbvaYin39RGrMevN303GlcyR8eEJ4eg5rFPquEeoEFAj+jNpy Ysd1XzU/ZjMAAcINPC5Gk8q6xh3oa3baSgh9svV03NrK6y9rj7F3ZogGuIkzh+qe9oXPrmDE Uf+FMgTBs7mL+JP+RDhfhsaPe1IsrMuNcqncdOb3q+1eeJxmzT/y2pdoch83k+K6ytgW7vQx Z9WppPQlgCDVjr6kBKgqpWuwtwCP2hOWDPvmW69WNECA886NZwGAmqvPcCtk9B3hpq3HmVd6 EbmHVQNnsmgZRuVaVX5mwxWz0Ue53K9yk7ah3R5lS8kqq2H0WnA2ePnIVAXM3BKSXMkkE3mK Imyp80cXVbtaxkukkLj61ywlM057OxvanLeR0tFZX28P2h8U6aq8KeYacdO7rs1tyRJFeCtZ lbDDLDn6Uh/sWurDy5VwzY1cCuvs5PykklhiW6TG310qWLQZcB6wRq3CMX0ffdKxXJGQSB5j WOSHV2gJ5yz+t7SkZ7fs+e4XmbnV5tJcCCtw5nS/Ce84GRrB1W4kZXR0pX3GBY73DW9ysNgX CTOhAv6Y5eu07W9N7shcFMgCFLn6sV8E51zicNp381WgyFGwMzFrTxezTi7OM4+u+q2dHcXQ D8X39PZqBPo3kFuNDPBxo70UGmc3to0YtC7Zm0M3SduiqICQKyQ7bFCgW50ug/h9l6XO6Eh2 G5Nmb13tCFJ5oNB8BAgxSicHL0ISExRPCi20g+N88j7tqJcImCmbbm30kN629GnFrCL5A9GC xObMt8vGzF96sJnPRfCynr2v8v0ccfRYMhVqweemhbGp/VTKYx0kusNg3MhN3i37hhHg6Yry Adj2523pt3NO2xz/a+jRANCPDT0YesO/DDzyKJPmcDPmY61VMYEeH1DTN7jSvSmFygXvPLsO lOVETEynXycHKLWAQ6V7Eo152KKCZ2gMGubYWUI1dg3DgfIP1RR2UpHOVdy1o58DA2hw9btN Vt09ixErECtsQNCk6ppL0WtCzyD4l3xNnFtGMjZdUAGqVsfgiWdec2GsLApR3kBrMP/9F7Qc jTCNQ0RXTFbCAvaWxjiJuX8vIKctbLBWqzkd6KIO+nW7rYOMpXAjZO3jtk/pGrKbJzTeCA4X 7trgg0ZAjh4A5iLwm5TDXZOy2SUNZDd/0j0+zUr/JnkrLKxAV6pvNHRTeIKbrANs1i3h6yHK uKd1iNwKDJZ0JkIzHTLjqUZ3UBXjzBpcWDrH65ItCjGSL/cl/1aEwNddiVyKo5M/qU6h09DI 6u5wpvj37p8xJbZEn9jUlrs0oGsbM0OeSSmMU/fQVyMP/KALCHKxMf+ZeW9T6dRhaNarU/4v zHTCELlMjmZ8luhHxmyLeFBij2aNx1Cqcm8dBhqE23qUNPhbFWyLtZ2iTQ8xbB8iGnNMCYQN j11ckUFqbP1j2sQmvJkB2lI9WZoN8GPmj2D9OzEMspQrP1qHGFwhuVcuTI00fod7S1JQuB0h DqHrtNqpALD8KHHwT5mXRxS7zdT0dvQ4QM4YPmfr8kQHy+Yo0Fojy3YERkBqtp7B8e6vqlRz oKKj6fvMHJY9NmS+8IABs/SIcbBMXw7MBOvFiSHaWlNBTOtK2zbgFRQ1f+I8XjA5IgztJnhg twTULVSVVodC/UbFAFhDdsEedF5RHl39NzTxN5N/ne4oBTLEY9CuYvbU/uJHfj1AD2YlqNfY gcQnfXlK4UNc4nq3Eo7LFdg1teveQKYTZVGpStvaRUxqUNG/S1lT2E97Enibxuk/H4ZEfPcd vEelw1/f6Ep5TDquhE5PAiTzMPRuEIwgs/+hCyJLHjsKqauGIVHDCyt8UYrYMuTq+NdcAuzg wlgJTDCHvRflek4HV0=
  • Ironport-sdr: tIKaH+w7/rwDNAzTQAj4+5Xw7ScpuQB35f/UC/890U0V/jzE29VwzOeET45ybvCtTggubg9qYF 4ebnTK0gc9oCtkJOkBXfQ2y0u+lrOobwBvxRDFMkrYNFJ2Mr1gZLXZ6HWLLqdkiVLIm9SIFTq4 hLsDVr5idZXH7r4JByewarJsWNXM2UQR08RPDK1xsmNHQ0f5LViCYskrDDAJnvPIJqkqzuuFT2 5mkOkHhLnGT1w1yOZIKc4/VTyyU4iAEAuyN1S8lQOw6f3kw9Bt6ZmwZooi7tf71MSkgGYYuuU1 drm6IM3L5T6fbFmc7dS4Ori8


A recent seminar of the scientific board of INS2I was dedicated to electronic
vote (remote).
https://www.csi-ins2i.cnrs.fr/content/s%C3%A9minaire-th%C3%A9matique-vote-%C3%A9lectronique-28-septembre-2021

Xavier





On Wed, Apr 27, 2022 at 09:48:40AM +0200, Jean-Francois Monin wrote:
> +1
>
> Low-tech paper solutions are robust and easily understood by everybody,
> as well as attacks and countermeasures, so much better for confidence
> and democracy.
> Complicated technologies are just the opposite.
>
> JF
>
> On Tue, Apr 26, 2022 at 11:19:09PM -0400, Stefan Monnier wrote:
> >
> > The way I see it, the more people who participate (i.e. more eyes),
> > the safer.
> >
> >
> > Stefan
> >
> >
> > > On Tue, Apr 26, 2022, 18:22 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
> > >>
> > >>
> >
>
> --
> Jean-Francois Monin
> Verimag
> Universite Grenoble Alpes

--
--

Xavier Urbain

-------------------------------------------
Professeur, UCB Lyon1
LIRIS UMR5205

xavier.urbain AT univ-lyon1.fr
https://perso.liris.cnrs.fr/xavier.urbain/
-------------------------------------------




Archive powered by MHonArc 2.6.19+.

Top of Page