Hugo José Pereira Pacheco
AuthID: R-001-JZH
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
DBLP2
TÃTULO: oCANada: A Generation-Based Fuzzer for ECUs over CAN
AUTORES: Thales Santos; Patrick Grümer; Reza Parsamehr; Hugo Pacheco;
PUBLICAÇÃO: 2025, FONTE: 16th IEEE Vehicular Networking Conference, VNC 2025 in IEEE Vehicular Networking Conference, VNC 2025, Porto, Portugal, June 2-4, 2025
AUTORES: Thales Santos; Patrick Grümer; Reza Parsamehr; Hugo Pacheco;
PUBLICAÇÃO: 2025, FONTE: 16th IEEE Vehicular Networking Conference, VNC 2025 in IEEE Vehicular Networking Conference, VNC 2025, Porto, Portugal, June 2-4, 2025
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP