Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg. Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. IACR Cryptology ePrint Archive, 2022:1182, 2022. [doi]
Abstract is missing.