Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co