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]
@article{DraganDEGHRRS22,
title = {Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co},
author = {Constantin Catalin Dragan and François Dupressoir and Ehsan Estaji and Kristian Gjøsteen and Thomas Haines and Peter Y. A. Ryan and Peter B. Rønne and Morten Rotvold Solberg},
year = {2022},
url = {https://eprint.iacr.org/2022/1182},
researchr = {https://researchr.org/publication/DraganDEGHRRS22},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2022},
pages = {1182},
}