An experience in testing the security of real-world electronic voting systems