José Carlos Bacelar Almeida | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Karim Eldefrawy
6 publications
Manuel Barbosa
4 publications
Stéphane Graham-Lengrand
3 publications
Vitor Pereira
2 publications
Hugo Pacheco
2 publications

research

∙ 04/12/2021

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

MPC-in-the-Head (MitH) is a general framework that allows constructing e...

0 José Carlos Bacelar Almeida, et al. ∙