Computer-aided proofs for multiparty computation with active security - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub. Computer-aided proofs for multiparty computation with active security. IACR Cryptology ePrint Archive, 2018:502, 2018. [doi]

This author has not been identified. Look up 'Helene Haagh' in GoogleThis author has not been identified. Look up 'Aleksandr Karbyshev' in GoogleThis author has not been identified. Look up 'Sabine Oechsner' in GoogleThis author has not been identified. Look up 'Bas Spitters' in GoogleThis author has not been identified. Look up 'Pierre-Yves Strub' in Google

runs on WebDSL