Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco 0001, Vitor Pereira. Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. IACR Cryptology ePrint Archive, 2021:1149, 2021. [doi]

This author has not been identified. Look up 'José Bacelar Almeida' in GoogleThis author has not been identified. It may be one of the following persons:

Manuel Bernardo Barbosa

Look up 'Manuel Barbosa' in GoogleThis author has not been identified. Look up 'Manuel L. Correia' in GoogleThis author has not been identified. Look up 'Karim Eldefrawy' in GoogleThis author has not been identified. Look up 'Stéphane Graham-Lengrand' in GoogleThis author has not been identified. Look up 'Hugo Pacheco 0001' in GoogleThis author has not been identified. Look up 'Vitor Pereira' in Google

runs on WebDSL