Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head Artigo de Conferência

Visão geral
Pesquisas
Identidade
Informação adicional documento
Ver Todos

autores

Almeida, JoseCarlosBacelar
Almeida, JB
Vítor Manuel Sá Pereira
Almeida, José Bacelar
Barbosa, M
Barbosa, Manuel Gonçalves
Correia, ML
Eldefrawy, K
Eldefrawy, Karim
Lengrand, SG
Graham-Lengrand, Stéphane
Pacheco, H
Pacheco, Hugo José Pereira
Pereira, V

data de publicação

janeiro 1, 2021

publicada em

Proceedings of the ACM Conference on Computer and Communications Security Revista