Is your vote truly secret? Ballot Secrecy iff Ballot Independence: Proving necessary conditions and analysing case studies. - Aida Manzano Kharman; Ben Smyth; Freddie Page (CoRR, 2023)