José Carlos Bacelar Ferreira Junqueira de Almeida
AuthID: R-000-85N
1
TÃTULO: Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt
AUTORES: José Bacelar Almeida; Gustavo Xavier Delerue Marinho Alves; Manuel Barbosa; Gilles Barthe; Luís Esquível; Vincent Hwang; Tiago Oliveira; Hugo Pacheco; Peter Schwabe; Pierre Yves Strub;
PUBLICAÇÃO: 2025, FONTE: 46th IEEE Symposium on Security and Privacy, SP 2025 in IEEE Symposium on Security and Privacy, SP 2025, San Francisco, CA, USA, May 12-15, 2025
AUTORES: José Bacelar Almeida; Gustavo Xavier Delerue Marinho Alves; Manuel Barbosa; Gilles Barthe; Luís Esquível; Vincent Hwang; Tiago Oliveira; Hugo Pacheco; Peter Schwabe; Pierre Yves Strub;
PUBLICAÇÃO: 2025, FONTE: 46th IEEE Symposium on Security and Privacy, SP 2025 in IEEE Symposium on Security and Privacy, SP 2025, San Francisco, CA, USA, May 12-15, 2025
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP NO MEU: DBLP
DBLP