Sujata Garera, Aviel D. Rubin. An independent audit framework for software dependent voting systems. In Peng Ning, Sabrina De Capitani di Vimercati, Paul F. Syverson, editors, Proceedings of the 2007 ACM Conference on Computer and Communications Security, CCS 2007, Alexandria, Virginia, USA, October 28-31, 2007. pages 256-265, ACM, 2007. [doi]
Abstract is missing.