Ok très bien admettons que ce soit une menace réelle, pour continuer la réflexion.
Dans ce cas il suffit d'inspecter la chaîne de construction du hardware. Les outils logiciels et matériels utilisés pour créer les CPUs sont les mêmes que pour n'importe quel autre circuit (y compris de petits circuits, où une anomalie serait vite détectée), et il y a beaucoup de ces outils qui sont open source (en particulier pour passer du code RTL à du niveau gates).
[^] # Re: Système de Vérification Citoyenne des Machines (ou Serveurs)
Posté par samo . En réponse à la dépêche Petites actus sur le vote électronique (par ordinateurs de vote ou par Internet) (2). Évalué à 0.
Ok très bien admettons que ce soit une menace réelle, pour continuer la réflexion.
Dans ce cas il suffit d'inspecter la chaîne de construction du hardware. Les outils logiciels et matériels utilisés pour créer les CPUs sont les mêmes que pour n'importe quel autre circuit (y compris de petits circuits, où une anomalie serait vite détectée), et il y a beaucoup de ces outils qui sont open source (en particulier pour passer du code RTL à du niveau gates).