autores
- José Carlos Bacelar Almeida
- Almeida, JB
- Barbosa, M
- Barthe, G
- Davy, G
- Dupressoir, F
- Grégoire, B
- Strub, PY
Verified Implementations for Secure and Verifiable Computation
Artigo Académico
- Visão geral