Auditing Australian Senate Ballots. - Berj Chilingirian; Zara Perumal; Ronald L. Rivest; Grahame Bowland; Andrew Conway; Philip B. Stark; Michelle L. Blom; Chris Culnane; Vanessa Teague (CoRR, 2016)