Hugo José Pereira Pacheco
AuthID: R-001-JZH
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
DBLP2
TITLE: oCANada: A Generation-Based Fuzzer for ECUs over CAN
AUTHORS: Thales Santos; Patrick Grümer; Reza Parsamehr; Hugo Pacheco;
PUBLISHED: 2025, SOURCE: 16th IEEE Vehicular Networking Conference, VNC 2025 in IEEE Vehicular Networking Conference, VNC 2025, Porto, Portugal, June 2-4, 2025
AUTHORS: Thales Santos; Patrick Grümer; Reza Parsamehr; Hugo Pacheco;
PUBLISHED: 2025, SOURCE: 16th IEEE Vehicular Networking Conference, VNC 2025 in IEEE Vehicular Networking Conference, VNC 2025, Porto, Portugal, June 2-4, 2025
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP