Swiss evoting system – IsProbablePrime is incorrect for input 19

Post by dbrgn » Fri, Oct 14, 2022, 8:02 AM UTC

sschueller wrote: post #7

gsk22 wrote: post #3

Can someone explain how such a simple and easily-testable bug existed in a seemingly-important system like this? I don't know much about Swiss e-voting, but seems even the most brain-dead unit test of the IsProbablePrime function should have caught this.

It is brain dead but this is old code from what I recall. We do not have e-voting at this time although the Post which outsourced this first nightmare of a version is still trying to push for it. I highly doubt we will see e-voting here until there is a verifiable proof that it is verifiable. There was a lot of bad press about this and people don't trust this crap. They tried a similar thing for E-ID which was suppos…

Post by crisbal_ » Fri, Oct 14, 2022, 8:08 AM UTC

nairboon wrote: post #12

For context: Switzerland doesn't have evoting. This is just some big company trying to re-sell a evoting system to the government. It has been in the news a few times, due to software and cryptographic quality issues.

Post by popcalc » Fri, Oct 14, 2022, 8:16 AM UTC

nairboon wrote: post #12

For context: Switzerland doesn't have evoting. This is just some big company trying to re-sell a evoting system to the government. It has been in the news a few times, due to software and cryptographic quality issues.

Post by gerdesj » Fri, Oct 14, 2022, 8:16 AM UTC

sschueller wrote: post #7

gsk22 wrote: post #3

Can someone explain how such a simple and easily-testable bug existed in a seemingly-important system like this? I don't know much about Swiss e-voting, but seems even the most brain-dead unit test of the IsProbablePrime function should have caught this.

It is brain dead but this is old code from what I recall. We do not have e-voting at this time although the Post which outsourced this first nightmare of a version is still trying to push for it. I highly doubt we will see e-voting here until there is a verifiable proof that it is verifiable. There was a lot of bad press about this and people don't trust this crap. They tried a similar thing for E-ID which was suppos…

Post by eps » Fri, Oct 14, 2022, 8:18 AM UTC

popcalc wrote: post #15

nairboon wrote: post #12

For context: Switzerland doesn't have evoting. This is just some big company trying to re-sell a evoting system to the government. It has been in the news a few times, due to software and cryptographic quality issues.

https://www.evoting.ch/en Do the bare minimum research before posting please.