Departamento de Informática (UM)

7119

Hugo José Pereira Pacheco

Prof. Auxiliar

Lógica e Métodos Formais

E-mail
Ext.: +604458

E7-2.15

Qualificações: 2007 - Licenciatura em Engenharia de Sistemas e Informática (U.Minho); 2012 - Doutoramento em Computer Science (MAPi Doctoral Programme )

Página pessoal: https://www.inesctec.pt/en/people/hugo-pereira-pacheco

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP | CV

Publicações selecionadas

• 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: Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt. SP 2025: 3820-3838
• Thales Santos, Patrick Grümer, Reza Parsamehr, Hugo Pacheco: oCANada: A Generation-Based Fuzzer for ECUs over CAN. VNC 2025: 1-8
• Nuno Macedo, Hugo Pacheco: Hyper model checking for high-level relational models. CoRR abs/2512.12024 (2025)
• 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: Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt. IACR Cryptol. ePrint Arch. 2025: 1607 (2025)
• José Bacelar Almeida, Santiago Arranz-Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub:cFormally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. CRYPTO (2) 2024: 384-421

Projetos

• THEIA - Automated Perception Driving / P2020 RCI POCI-01-0247-FEDER-047264
• ECZK - Zero Knowledge Proofs in EasyCrypt, as part of SIEVE / DARPA (DARPA-BAA-HR001119S0076)

Docência

Regências:

• Interface Pessoa-Máquina (ENGINF)
• Interface Pessoa-Máquina (ENGINF)
• Laboratórios de Informática I (ENGINF)
• Laboratórios de Programação I (CCOM)

Aulas:

• Laboratórios de Programação I [8501R4]: turno PL 3
• Laboratórios de Informática I [J301N6]: turno PL 2
• Interface Pessoa-Máquina [J305P1]: turno T 1
• Interface Pessoa-Máquina [J306N1]: turno T 1
• Segurança de Sistemas Informáticos [J306N3]: turnos PL 4, PL 5 e T 1
• Projeto em Criptografia e Segurança da Informação [ME78ME7800007514]: turno PL 1
• Laboratórios de Cibersegurança 1 [ME94ME9400007410]: turno PL 1

Serviço

• Assistant Professor at the Department of Computer Science, FCUP (2020-2024)