coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Jean-Francois Monin <jean-francois.monin AT univ-grenoble-alpes.fr>
To: coq-club AT inria.fr
Cc: Agnishom Chattopadhyay <agnishom AT cmi.ac.in>
Subject: Re: [Coq-Club] Electronic Voting Machines in French Elections
Date: Wed, 27 Apr 2022 09:48:40 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jean-francois.monin AT univ-grenoble-alpes.fr; spf=Pass smtp.mailfrom=jean-francois.monin AT univ-grenoble-alpes.fr; spf=None smtp.helo=postmaster AT zm-mta-out-3.u-ga.fr
Ironport-sdr: 3mAAcnJ5Jzfftl+XTaA2GO0wOharuCNk3mLY9Ebgi9p+Ex+zJjEl5Ewl+89r6Z/7AaEELBrYzQ 2bv/3nPgapDcPztONme2Xt/feXTmjdQ6UN1oKv32TdGzEvCuT5Gq8ZGbeM2/LFbdi7IXd0TjWG HuCCb6rdVUVNn7aDzAxtS5K8Ji9RUa8BB0vF7iNAPE/+QBbWsghEU8/I9ZO3wnAB4mNrXdi1rL OHhWglkkhXU41Bmw6oaT2TDXdJxE0fo1sziBikWRifmZKrPvfElmkPNiL8hFsSBC2q56ycCGWg iq1lnbyLa2A5/DtFFO1608PD

+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

[Coq-Club] Electronic Voting Machines in French Elections, mukesh tiwari, 04/26/2022
- Re: [Coq-Club] Electronic Voting Machines in French Elections, Stefan Monnier, 04/27/2022
  - Re: [Coq-Club] Electronic Voting Machines in French Elections, Sam Kuper, 04/27/2022
  - 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, 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