Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections.

Roland Wen, Annabelle McIver, Carroll Morgan

Browse the full FM paper archive.