José Carlos Bacelar Ferreira Junqueira de Almeida
AuthID: R-000-85N
1
TITLE: Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt
AUTHORS: 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;
PUBLISHED: 2025, SOURCE: 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
AUTHORS: 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;
PUBLISHED: 2025, SOURCE: 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
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP