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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Constantin Catalin Dragan' in GoogleThis author has not been identified. Look up 'François Dupressoir' in GoogleThis author has not been identified. Look up 'Ehsan Estaji' in GoogleThis author has not been identified. Look up 'Kristian Gjøsteen' in GoogleThis author has not been identified. Look up 'Thomas Haines' in GoogleThis author has not been identified. Look up 'Peter Y. A. Ryan' in GoogleThis author has not been identified. Look up 'Peter B. Rønne' in GoogleThis author has not been identified. Look up 'Morten Rotvold Solberg' in Google

runs on WebDSL