???global.info.a_carregar???
Hugo José Pereira Pacheco. Concluiu o(a) Doutoramento em MAPi Doctoral Programme in Computer Science em 2012/09/17 pelo(a) Universidade do Minho Escola de Engenharia e Licenciatura em Engenharia de Sistemas e Informática - Especialidade em Sistemas e Tecnologias de Informação em 2007/10/19 pelo(a) Universidade do Minho Escola de Engenharia. É Professor Auxiliar Convidado no(a) Universidade do Minho. Publicou 7 artigos em revistas especializadas. Possui 7 livro(s). Organizou 4 evento(s). Participou em 16 evento(s). Coorientou 1 dissertação(ões) de mestrado. Recebeu 2 prémio(s) e/ou homenagens. Participa e/ou participou como Bolseiro de Pós-Doutoramento em 3 projeto(s) e Investigador em 6 projeto(s). Atua na(s) área(s) de Ciências Exatas com ênfase em Ciências da Computação e da Informação com ênfase em Ciências da Computação. No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: secure computation; cryptography; programming languages; formal verification; bidirectional transformations ; software engineering ; Computer Science and Engineering - Computer Science; Electrical and Computer Engineering - Computer Systems (Hardware/Software); formal methods; .
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Hugo José Pereira Pacheco

Nomes de citação

  • Pacheco, Hugo

Identificadores de autor

Ciência ID
8912-1B93-9F62
ORCID iD
0000-0003-0720-7744

Endereços de correio eletrónico

  • hugo.p.pacheco@inesctec.pt (Profissional)
  • hugo.p.pacheco@inesctec.pt (Profissional)

Telefones

Telefone
  • 253604471 (Profissional)
Telemóvel
  • 931169956 (Pessoal)

Moradas

  • INESC TEC Campus da FEUP, Rua Dr. Roberto Frias, 4200 - 465, Porto, Porto, Portugal (Profissional)
  • Rua Francisco José Machado, n 4, 2CT, Gualtar, 4710-006, Braga, Braga, Portugal (Pessoal)

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Francês Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Espanhol; Castelhano Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador independente (B1)
Formação
Grau Classificação
2012/09/17
Concluído
 MAPi Doctoral Programme in Computer Science (Doutoramento)
Universidade do Minho Escola de Engenharia, Portugal
"Bidirectional Data Transformation by Calculation" (TESE/DISSERTAÇÃO)
 Excelente
2007/10/19
Concluído
 Engenharia de Sistemas e Informática - Especialidade em Sistemas e Tecnologias de Informação (Licenciatura)
Universidade do Minho Escola de Engenharia, Portugal
"n/a" (TESE/DISSERTAÇÃO)
 14
2005 - 2006
Concluído
 Socrates-Erasmus Programme (Outros)
Especialização em Computer Graphics, Modelling and Animation
University of Bristol Department of Computer Science, Reino Unido
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2017/04/01 - 2020/03/31 Pós-doutorado (Investigação) Fundação para a Ciência e a Tecnologia, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2015/06/01 - 2017/03/31 Pós-doutorado (Investigação) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2014/02/01 - 2015/05/31 Pós-doutorado (Investigação) Cornell University, Estados Unidos
2013/04/01 - 2014/01/31 Pós-doutorado (Investigação) Kokuritsu Johogaku Kenkyujo, Japão
2008/04/01 - 2012/10/09 Investigador (Investigação) Universidade do Minho, Portugal
2007/09/01 - 2008/01/01 Investigador (Investigação) Universität Koblenz-Landau, Alemanha
2007/03/01 - 2007/07/30 Estagiário de Investigação (Investigação) Universidade do Minho, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2020/05/01 - Atual Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2015 - 2020/04/30 Professor Auxiliar Convidado (Docente Universitário) Universidade do Minho, Portugal
Universidade do Minho, Portugal
2009 - 2011 Monitor (Docente Universitário) Universidade do Minho, Portugal
Universidade do Minho, Portugal
Projetos

Bolsa

Designação Financiadores
2017/04/01 - 2020/03/31 Formal verification of Secure Multi-party Programs
FCT SFRH/BPD/121389/2016
Bolseiro de Pós-Doutoramento
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2014/02/01 - 2015/06 CAREER: Principles and Practice of Distributed Updates
info:eu-repo/grantAgreement/NSF/Directorate for Computer & Information Science & Engineering/1253165/US
Bolseiro de Pós-Doutoramento
Cornell University, Estados Unidos
 National Science Foundation
Concluído

Projeto

Designação Financiadores
2018/07 - Atual VORTEX - Cyber Physical Systems and Cyber Security
FCT CoLAB
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Em curso
2016/11 - 2019/12 Lightweight Computation for Networks at the Edge
info:eu-repo/grantAgreement/EC/H2020/732505/EU
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 National Science Foundation
Concluído
2016/05 - 2018/12 Tec4Growth - RL SMILES - Smart, Mobile, Intelligent, large scale sensing and analytics
NORTE-01-0145-FEDER-000020
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia

European Regional Development Fund
Concluído
2017/01/01 - 2018/01 Demonstration of INTElligent grid technologies for renewables INTEgration and INTEractive consumer participation enabling INTEroperable market solutions and INTErconnected stakeholders
info:eu-repo/grantAgreement/EC/H2020/731218/EU
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 European Commission
Em curso
2015/09/01 - 2017/12 Real proven solutions to enable active demand and distributed generation flexible integration, through a fully controllable LOW Voltage and medium voltage distribution grid
info:eu-repo/grantAgreement/EC/H2020/646531/EU
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 European Commission
Concluído
2015/07/01 - 2016/10 PRACTICE: Privacy-Preserving Computation in the Cloud
info:eu-repo/grantAgreement/EC/FP7/609611/EU
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 European Commission
Concluído
2012/03/01 - 2014/08 FATBIT: Foundations, Applications and Tools for Bidirectional Transformation
info:eu-repo/grantAgreement/FCT/COMPETE/120838/PT
Investigador
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2013/04 - 2014/01 BiG: A Grand Challenge Project on Bidirectional Graph (Model) Transformation
Grand-Challenging Project Program of National Institute of Informatics
Bolseiro de Pós-Doutoramento
Kokuritsu Johogaku Kenkyujo, Japão
 National Institute of Informatics Center for Global Research in Advanced Software Science and Engineering (GRACE Center)
Concluído
2006/01/15 - 2007/01 PURe - Program Understanding and Re-engineering: Calculi and Applications
info:eu-repo/grantAgreement/FCT/Orçamento de Funcionamento/POSC/44304/PT
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído

Outro

Designação Financiadores
2020/07 - 2021/12 Sub-contracting Project for the Stanford Research Institute
DARPA-BAA-HR001119S0076
Investigador
SRI International, Estados Unidos
 Defense Advanced Research Projects Agency
Concluído
Produções

Publicações

Artigo em conferência
  1. Portela, Bernardo; Pacheco, Hugo; Jorge, Pedro; Pontes, Rogério. "General-Purpose Secure Conflict-free Replicated Data Types". 2023.
    10.1109/csf57540.2023.00030
  2. "Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head". 2021.
    10.1145/3460120.3484771
  3. "ROSY: An elegant language to teach the pure reactive nature of robot programming". 2020.
    10.1109/irc.2020.00045
  4. Almeida, J.B.; Barbosa, M.; Barthe, G.; Pacheco, H.; Pereira, V.; Portela, B.. "Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks". 2018.
    10.1109/CSF.2018.00017
  5. Almeida, J.B.; Barbosa, M.; Barthe, G.; Blot, A.; Grégoire, B.; Laporte, V.; Oliveira, T.; et al. "Jasmin: High-assurance and high-speed cryptography". 2017.
    10.1145/3133956.3134078
  6. Alonso, A.; Couto, R.; Pacheco, H.; Bessa, R.; Gouveia, C.; Seca, L.; Moreira, J.; et al. "Towards new data management platforms for a DSO as market enabler - UPGRID Portugal demo". 2017.
    10.1049/oap-cired.2017.1181
  7. Pacheco, H.; Zan, T.; Hu, Z.. "BiFluX: A bidirectional functional update language for XML". 2014.
    10.1145/2643135.2643141
  8. Macedo, N.; Pacheco, H.; Sousa, N.R.; Cunha, A.. "Bidirectional spreadsheet formulas". 2014.
    10.1109/VLHCC.2014.6883041
  9. Macedo, N.; Cunha, A.; Pacheco, H.. "Towards a framework for multidirectional model transformations". 2014.
  10. Zan, T.; Pacheco, H.; Hu, Z.. "Writing bidirectional model transformations as intentional updates". 2014.
    10.1145/2591062.2591102
  11. Pacheco, H.; Hu, Z.; Fischer, S.. "Monadic combinators for "Putback" style bidirectional programming". 2014.
    10.1145/2543728.2543737
  12. Pacheco, H.; Cunha, A.. "Calculating with lenses: Optimising bidirectional transformations". 2011.
    10.1145/1929501.1929520
  13. Cunha, A.; Pacheco, H.. "Mapping between alloy specifications and database implementations". 2009.
    10.1109/SEFM.2009.27
  14. Flávio Ferreira; Pacheco, Hugo. "XPTO - An Xpath Preprocessor with Type-Aware Optimization". Trabalho apresentado em 2007 Conference on Compilers, Related Technologies and Applications (CORTA 2007), Covilhã, 2007.
Artigo em revista
  1. Bacelar Almeida, José; Barbosa, Manuel; Barthe, Gilles; Grégoire, Benjamin; Laporte, Vincent; Léchenet, Jean-Christophe; Oliveira, Tiago; et al. "Formally verifying Kyber". IACR Transactions on Cryptographic Hardware and Embedded Systems (2023): 164-193. http://dx.doi.org/10.46586/tches.v2023.i3.164-193.
    10.46586/tches.v2023.i3.164-193
  2. José Carlos Bacelar Almeida; Manuel Barbosa; Gilles Barthe; Hugo Pacheco; Vitor Pereira; Bernardo Portela. "A formal treatment of the role of verified compilers in secure computation". Journal of Logical and Algebraic Methods in Programming 125 (2022): 100736-100736. https://doi.org/10.1016/j.jlamp.2021.100736.
    10.1016/j.jlamp.2021.100736
  3. Pacheco, Hugo; Nuno Macedo. "ROSY: An elegant language to teach the pure reactive nature of robot programming". International Journal of Robotic Computing (2021):
    Submetido
  4. Almeida, José Bacelar; Cunha, Alcino; Macedo, Nuno; Pacheco, Hugo; Proença, José. "Teaching how to program using automated assessment and functional glossy games (experience report)". Proceedings of the ACM on Programming Languages 2 ICFP (2018): 1-17. http://dx.doi.org/10.1145/3236777.
    10.1145/3236777
  5. Zan, T.; Pacheco, H.; Ko, H.-S.; Hu, Z.. "BiFluX: A bidirectional functional update language for XML". Computer Software 33 4 (2016): 93-115. http://www.scopus.com/inward/record.url?eid=2-s2.0-85009966175&partnerID=MN8TOARS.
  6. Fischer, S.; Hu, Z.; Pacheco, H.. "The essence of bidirectional programming". Science China Information Sciences (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84927534314&partnerID=MN8TOARS.
    10.1007/s11432-015-5316-8
  7. Macedo, N.; Pacheco, H.; Cunha, A.; Oliveira, J.N.. "Composing least-change lenses". Electronic Communications of the EASST 57 (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-85028939553&partnerID=MN8TOARS.
    10.14279/tuj.eceasst.57.868.862
  8. Pacheco, H.; Cunha, A.; Hu, Z.. "Delta lenses over inductive types". Electronic Communications of the EASST 49 (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-85009939203&partnerID=MN8TOARS.
    10.14279/tuj.eceasst.49.713.719
  9. Cunha, A.; Pacheco, H.. "Algebraic specialization of generic functions for recursive types". Electronic Notes in Theoretical Computer Science 229 5 (2011): 57-74. http://www.scopus.com/inward/record.url?eid=2-s2.0-79952436818&partnerID=MN8TOARS.
    10.1016/j.entcs.2011.02.016
Artigo em revista (magazine)
  1. José Bacelar Almeida; Manuel Barbosa; Pacheco, Hugo; Vitor Pereira. "A Tool-Chain for High-Assurance Cryptographic", ERCIM NEWS, 2016, http://ercim-news.ercim.eu/en106/special/a-tool-chain-for-high-assurance-cryptographic-software.
Edição de número de revista
  1. Pacheco, Hugo. "Special Issue on Secure Multiparty Computation". Cryptography (2021):
    No prelo
Livro
  1. Fischer, S.; Hu, Z.; Pacheco, H.. A clear picture of lens laws functional pearl. 2015.
    10.1007/978-3-319-19797-5_10
  2. Hu, Z.; Pacheco, H.; Fischer, S.. Validity checking of putback transformations in bidirectional programming. 2014.
    10.1007/978-3-319-06410-9_1
  3. Pacheco, H.; Cunha, A.. Multifocal: A strategic bidirectional transformation language for XML schemas. 2012.
    10.1007/978-3-642-30476-7_6
  4. Cunha, J.; Fernandes, J.P.; Mendes, J.; Pacheco, H.; Saraiva, J.. Bidirectional transformation of model-driven spreadsheets. 2012.
    10.1007/978-3-642-30476-7_7
  5. Macedo, N.; Pacheco, H.; Cunha, A.. Relations as executable specifications: Taming partiality and non-determinism using invariants. 2012.
    10.1007/978-3-642-33314-9_10
  6. Pacheco, H.; Cunha, A.. Generic point-free lenses. 2010.
    10.1007/978-3-642-13321-3_19
  7. Berdaguer, P.; Cunha, A.; Pacheco, H.; Visser, J.. Coupled schema transformation and data conversion for XML and SQL. 2007.
    10.1007/978-3-540-69611-7-19
Relatório
  1. Pacheco, Hugo; Nuno Macedo. 2019. ROSY: An elegant language to teach the pure reactive nature of robot programming.
  2. José Bacelar Almeida; Manuel Barbosa; Gilles Barthe; Pacheco, Hugo; Vitor Pereira; Bernardo Portela. 2018. Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks.
  3. Nuno Macedo; Pacheco, Hugo; Alcino Cunha; Janis Voigtländer. 2013. A Generic Scheme and Properties of Bidirectional Transformations.
Tese / Dissertação
  1. Pacheco, Hugo. "Bidirectional Data Transformation by Calculation". Doutoramento, Universidade do Minho, 2012.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2023/07 General-Purpose Secure Conflict-free Replicated Data Types. 36th IEEE Computer Security Foundations Symposium
2018 Teaching how to program using automated assessment and functional glossy games (experience report) 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018)
Association for Computer Machinery (St. Louis, Estados Unidos)
2018 Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks 31st IEEE Computer Security Foundations Symposium (CSF 2018)
Institute of Electrical and Electronics Engineers (Oxford, Reino Unido)
2014 BiFluX: A Bidirectional Functional Update Language for XML 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)
Association for Computer Machinery (Kent, Reino Unido)
2013 BiFluX: A Bidirectional Functional Update Language for XML BIRS Workshop - BX Theory & Applications Across Disciplines
Banff International Research Station (Banff, Canadá)
2012 Delta Lenses over Inductive Types 1st International Workshop on Bidirectional Transformations (Bx 2012)
(Tallinn, Estónia)
2012 Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas 5th International Conference on Model Transformation (ICMT 2012)
(Prague, República Checa)
2011 Calculating with lenses: optimising bidirectional transformations 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2011)
Association for Computer Machinery (Austin, Estados Unidos)
2010 Generic Point-free Lenses 10th International Conference on Mathematics of Program Construction (MPC 2010)
(Québec, Canadá)
2007/06 PDAs no Levantamento de Informação Demográfica VIII Congreso de la Asociación de Demografía Histórica
Asociación de Demografía Histórica (Menorca, Espanha)
2007 XPTO - An Xpath Preprocessor with Type-Aware Optimization 2007 Conference on Compilers, Related Technologies and Applications (CORTA 2007)
Universidade da Beira Interior (Covilhã, Portugal)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2022 - 2023 Design and Implementation of Pure Operation-Based CRDTs
Orientador
 Mestrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023 Security Testing of Web APIs
Orientador
 Mestrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2021 - 2022 Secure In-Vehicle Storage
Orientador
 Mestrado em Engenharia de Redes e Sistemas Informáticos
Universidade do Porto Faculdade de Ciências, Portugal
2021 - 2022 Secure Over-the-Air Vehicle Updates using Trusted Execution Environments
Orientador
 Mestrado em Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2021 Análise e Mecanismos de Prevenção de Web Scraping
Orientador
 Mestrado em Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2017 - 2018 Definição e conceção de uma plataforma de troca de dados para o setor energético
Coorientador
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2021 - Atual IRC 2021 : IEEE International Conference on Robotic Computing (2021)
Conferência (Membro da Comissão Científica)
 IEEE, Estados Unidos
2018 - Atual 7th International Workshop on Bidirectional Transformations (Bx 2018) (2017)
Conferência (Membro da Comissão Científica)
2017 - Atual 6th International Workshop on Bidirectional Transformations (Bx 2017) (2017)
Conferência (Membro da Comissão Científica)
2015 - Atual 4th International Workshop on Bidirectional Transformations (Bx 2015) (2015)
Conferência (Membro da Comissão Científica)
2006 - Atual Interacção 2006 (II Nacional Conference in Human-Machine interaction) (2006)
Conferência (Coorganizador)
 Universidade do Minho, Portugal

Participação em evento

Descrição da atividade
Tipo de evento 		Nome do evento
Instituição / Organização
2019 - Atual Verão no Campus / Instructor
Oficina (workshop)
 Verão no Campus
Universidade do Minho, Portugal
2018 - Atual Teaching how to program using automated assessment and functional glossy games (experience report)
Conferência
 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018)
Association for Computer Machinery, Estados Unidos
2018 - Atual Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks
Conferência
 31st IEEE Computer Security Foundations Symposium (CSF 2018)
IEEE, Estados Unidos
2017 - Atual Programa Melhores Alunos / Organizer
Oficina (workshop)
 Programa Melhores Alunos
Universidade do Minho, Portugal
2014 - Atual BiFluX: A Bidirectional Functional Update Language for XML
Conferência
 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)
Association for Computer Machinery, Estados Unidos
2014 - Atual Cornell Summer Camp / Trainer
Oficina (workshop)
 Cornell Summer Camp
Cornell University, Estados Unidos
2013/12 - Atual BIRS Workshop - BX Theory & Applications Across Disciplines
Encontro
 BIRS Workshop - BX Theory & Applications Across Disciplines
Banff International Research Station, Canadá
2012 - Atual Delta Lenses over Inductive Types
Conferência
 1st International Workshop on Bidirectional Transformations (Bx 2012)
2012 - Atual Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas Bidirectional Transformation of Model-Driven Spreadsheets
Conferência
 5th International Conference on Model Transformation (ICMT 2012)
2011 - Atual Calculating with lenses: optimising bidirectional transformations
Conferência
 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2011)
2010 - Atual Generic Point-free Lenses
Conferência
 10th International Conference on Mathematics of Program Construction (MPC 2010)
2010 - Atual Spring School on Generic and Indexed Programming
Seminário
 Spring School on Generic and Indexed Programming
University of Oxford, Reino Unido
2009 - Atual 3rd Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2019)
Seminário
 3rd Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2019)
2007 - Atual PDAs no Levantamento de Informação Demográfica
Congresso
 VIII Congreso de la Asociación de Demografía Histórica
Asociación de Demografía Histórica, Espanha
2007 - Atual XPTO - An Xpath Preprocessor with Type-Aware Optimization
Conferência
 2007 Conference on Compilers, Related Technologies and Applications (CORTA 2007)
Universidade da Beira Interior, Portugal
2007 - Atual 2nd Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2007)
Seminário
 2nd Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2007)

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2023 Automatic Specification Repair in Contract Programming
Arguente principal
 Alexandre Abreu (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2023 Blockchain – NFTs for luxury objects authenticity
Arguente principal
 André Loureiro Morais (Mestrado)
Universidade do Minho, Portugal
2023 Geração de NFTs para Certificação de Documentos
Arguente principal
 Tiago Araújo Alves (Mestrado)
Universidade do Minho, Portugal
2023 Aplicação de Monitorização de rede baseada em Blockchain
Arguente principal
 João Manuel Silva de Amorim (Mestrado)
Universidade do Minho, Portugal
2023 SSI Technology in the context of eIDAS 2.0
Presidente do júri
 João Manuel Alexandrino de Castro Ribeiro (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2023 Automating vulnerability detection and exploitation on software
Presidente do júri
 Sérgio Filipe Vaz Rodrigues (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2023 Privacy Concerns in Android Systems
Presidente do júri
 Samuel Alberto Magalhães Fernandes (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022 Security Analysis of NIST-LWC Contest Finalists
Arguente principal
 João Fernandes (Mestrado)
Universidade do Minho, Portugal
2022 You can hide but you can’t run: browser extensions fingerprinting
Arguente principal
 Lucas Stein (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2021 Exploiting Service Workers for Javascript Code Protection
Arguente principal
 João Henrique Poceiro Vieira de Araújo (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2021 Maria Pereira intitulado Análise e Mecanismos de Prevenção de Web Scraping
Orientador
 Maria Pereira (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2019 - Atual 39th Annual International Cryptology Conference (Crypto 2019) Sub-Reviewer
2018 - Atual 7th International Workshop on Bidirectional Transformations (Bx 2018) PC Member
2017 - Atual 6th International Workshop on Bidirectional Transformations (Bx 2017) PC Member
2015 - Atual 4th International Workshop on Bidirectional Transformations (Bx 2015) PC Member
2015 - Atual 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015) Sub-Reviewer
2015 - Atual 24th European Symposium on Programming (ESOP 2015) Sub-Reviewer
2014 - Atual 19th ACM SIGPLAN International Conference on Functional Programming (ICFP 2014) Sub-Reviewer
2014 - Atual 23rd European Symposium on Programming (ESOP 2014) Sub-Reviewer
2012 - Atual 9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012) Sub-Reviewer
2012 - Atual 5th ACM SIGPLAN Symposium on Haskell (Haskell 2012) Sub-Reviewer
2012 - Atual 24th International Symposium on Implementation and Application of Functional Languages (IFL 2012) Sub-Reviewer
2011 - Atual 20th ACM SIGPLAN Workshop on Partial evaluation and Program Manipulation (PEPM 2011) Sub-Reviewer
2024 - 2024 ESOP/FASE/FoSSaCS 2024 Artifact evaluation Committee
2023 - 2023 IRC 2023: 7th IEEE International Conference on Robotic Computing
2023 - 2023 Haskell 2023: ACM SIGPLAN Haskell Symposium 2023
2023 - 2023 IFL 2023: 35th Symposium on Implementation and Application of Functional Languages
2022 - 2022 IRC 2022: Sixth IEEE International Conference on Robotic Computing
2021 - 2021 IRC 2021 : IEEE International Conference on Robotic Computing PC Member
2021 - 2021 SecITC 2021: 14th International Conference on Security for Information Technology and Communications
2020 - 2020 30th International Conference on Logic-Based Program Synthesis and Transformation (LOPSTR 2020) Sub-Reviewer
2020 - 2020 12th Conference on Security and Cryptography for Networks Sub-Reviewer

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2020 - Atual Journal of Computer Languages
2017 - Atual Journal of Computer Security (1875-8924) IOS Press
2015 - Atual The Computer Journal (1460-2067) Oxford University Press
2024 - 2024 IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES)
2023 - 2023 ACM Transactions on Programming Languages and Systems
2023 - 2023 IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES)
2022 - 2022 Journal of Computer Languages
2022 - 2022 Formal Methods in System Design

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2022 - 2024 Matemática Discreta Licenciatura em Engenharia Informática e Computação (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2024 Fundamentos de Segurança Informática Licenciatura em Engenharia Informática e Computação (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2024 Segurança em Engenharia de Software Mestrado em Segurança Informática (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2022 - 2024 Programação II (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2022 - 2024 Estruturas de Dados para Bioinformática Mestrado em Bioinformática e Biologia Computacional (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2021 - 2022 Programação II Licenciatura em Engenharia Geoespacial (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2021 - 2022 Fundamentos de Segurança Informática Mestrado em Engenharia Informática e Computação (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
2021 - 2022 Segurança em Engenharia de Software Mestrado em Segurança Informática (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2021 Estruturas Discretas Licenciatura em Ciências da Computação (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2021 Teoria e Prática de Ataques de Segurança Mestrado em Segurança Informática (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2021 Programação II Licenciatura em Engenharia Geoespacial (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2021 Segurança em Engenharia de Software Mestrado em Segurança Informática (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2019 - 2020 Privacidade e Proteção de Dados Pessoais Mestrado em Direito e Informática (Mestrado) Universidade do Minho, Portugal
2019 - 2020 Laboratórios de Algoritmia II Licenciatura em Ciências da Computação (Licenciatura) Universidade do Minho, Portugal
2019 - 2020 Criptografia, Identificação Eletrónica e Documentos Mestrado em Direito e Informática (Mestrado) Universidade do Minho, Portugal
2019 - 2020 Laboratórios de Informática I Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2019 - 2020 Programação Funcional Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2018 - 2019 Laboratórios de Informática I Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2018 - 2019 Programação Imperativa Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2017 - 2018 Laboratórios de Informática I Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2017 - 2018 Programação Funcional Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2017 - 2018 Cálculo de Programas Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2016 - 2017 Laboratórios de Informática I Mestrado Integrado em Engenharia Informática Universidade do Minho, Portugal
2016 - 2017 Programação Funcional Licenciatura em Ciências da Computação (Licenciatura) Universidade do Minho, Portugal
2016 - 2017 Programação Funcional Mestrado Integrado em Engenharia Física (Mestrado integrado) Universidade do Minho, Portugal
2016 - 2017 Cálculo de Programas Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2015 - 2016 Laboratórios de Informática I Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2010 - 2011 Laboratórios de Informática I Licenciatura em Engenharia Informática (Licenciatura) Universidade do Minho, Portugal
2009 - 2010 Laboratórios de Informática I Licenciatura em Engenharia Informática (Licenciatura) Universidade do Minho, Portugal

Membro de associação

Nome da associação Tipo de participação
2007 - 2009 UMinho ACM Students Group Board Member
2005 - 2006 CeSIUM (Computer Science and Systems Engineering Students Group) Board Member

Tutoria

Tópico Nome do aluno
2017 - Atual Bolsa de Investigação - TEC4Growth SMILES Ana Sofia Teixeira
2016 - 2020 PhD, Universidade do Porto (FCUP) & INESC TEC Tiago Oliveira
2016 - 2020 PhD, Universidade do Porto (FCUP) & INESC TEC Vitor Pereira
2017 - 2018 Bolsa de Investigação - InteGrid Xavier Rodrigues
2014 - 2015 PhD, Cornell University Jonathan DiLorenzo
2013 - 2014 PhD, National Institute of Informatics Tao Zan
2010 - 2014 PhD, Universidade do Minho Nuno Macedo
Distinções

Prémio

2020 Gerhard Kraetzschmar Award (IRC 2020)
IEEE, Estados Unidos
2016 FCT postdoctoral grant SFRH/BPD/121389/2016
Fundação para a Ciência e a Tecnologia, Portugal
2011 SIGPLAN PAC Grant (PEPM 2011)
Association for Computer Machinery, Estados Unidos