| N.Mec. | Nome | Categoria | Grupo Científico-Pedagógico | Contactos | Espaço |
|---|
1719 | José Carlos Bacelar Ferreira Junqueira Almeida | Prof. Associado | Lógica e Métodos Formais | E-mail
Ext.: +604458 | E7-2.15 |
Qualificações: 1991 - Licenciatura em Engenharia Electrotécnica e de Computadores (Univ. do Porto); 1994 - Mestrado em Informática (Univ. Minho); 2004 - Doutoramento em Informática (U. Minho) | Página pessoal: https://www.inesctec.pt/en/people/jose-bacelar-almeida#intro |
Investigação | Centro | HASLab | Repositórios | ORCID | Scopus | DBLP |
Publicações selecionadas | - J. B. Almeida, M. J. Frade, J. S. Pinto, and S. Melo de Sousa. Rigorous Software Development: an introduction to program verification. Springer-Verlag London Ltd, 2011.
- 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'. J. Log. Algebraic Methods Program. 125: 100736 (2022)
- Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes: 'Verified Password Generation from Password Composition Policies'. IFM 2022: 271-288
- José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira: 'Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head'. CCS 2021: 2587-2600
- José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub: 'The Last Mile: High-Assurance and High-Speed Cryptographic Implementations'. IEEE Symposium on Security and Privacy 2020: 965-982
|
Projetos | - PassCert (Investigação do Impacto de Verificação Formal na Adopção de Software para Segurança de Passwords: FCT, CMU/TIC/0006/2019)
- BlockchainVerif: Formal verification in Blockchains and related technologies (NULL, 2020-2021)
- ECZK: Zero Knowledge Proofs in EasyCrypt (INESCP-SERV-39/20, 2020-2021)
- THEIA: Automated Perception Driving (INESCP-SERV-23/22, 2022-2023)
- KMSEC: Verificação formal de protocolo criptográfico comercial em colaboração com IMDEA (INESCP-SERV-11/18, 2018-2019)
|
Docência | Regências: | Aulas: - Segurança de Sistemas Informáticos [J306N3]: turno T 1
- Engenharia de Segurança [ME78ME7800006096]: turnos T 1 e TP 1
- Criptografia e Segurança da Informação [ME80ME8002005181]: turnos T 1 e TP 1
|
Serviço | - Membro da comissão directiva do MI e MEI (desde 2012)
- Membro da comissão directiva do Mestrado em Matemática e Computação (2007-2012)
- Professor no curso do 3º ciclo (MAP/i) desde 2007
- Professor em cursos de 2º ciclo (MI, MEI, MMC, MSDPA, MIBIO)
- Professor em cursos do 1º ciclo (LESI, LEI, LMCC, LCC) desde 1992
|
Departamento de Informática (UM)