Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Manuel Barbosa
Docente Ensino Superior
Sou Professor Associado com Agregação no Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto (DCC-FCUP) e investigador do HASLab/INESC TEC. Os meus interesses de investigação centram-se na Criptografia e Segurança da Informação e na sua intersecção com a Verificação de Programas.
Sou Doutorado em Electrical and Electronic Engineering pela Newcastle University, e licenciado em Engenharia Electrotécnica e de Computadores pela FEUP. Fui investigador visitante na University of Bristol, IT Porto e na École Normale Supérieure. Entre 2023 e 2025 fui investigador convidado no Max Planck Institute for Security and Privacy.
Trabalho no desenvolvimento de software criptográfico confiável há 20 anos, com o objectivo de estabelecer uma ligação entre a segurança teórica e a segurança de aplicações reais. Interesso-me particularmente pela segurança demonstrável e a sua ligação à verificação formal de provas de segurança e de implementações de software criptográfico.
Para informação sobre a minha investigação, projectos e publicações, por favor consultar a minha página no HASLab.
Para informação sobre as minhas actividades de ensino, por favor consultar a minha página institucional na FCUP.
Publicações
A Tight Security Proof for SPHINCS+, Formally Verified
Barbosa, M;Dupressoir, F;Hülsing, A;Meijers, M;Strub, PY;
2025
ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT IV
An introduction to CANopen
Farsi, M;Ratcliff, K;Barbosa, M;
1999
COMPUTING & CONTROL ENGINEERING JOURNAL
A CANopen I/O module: Simple and efficient, system integration
Barbosa, MBM;Carvalho, AD;Farsi, M;
1998
IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4
Efficient Identity-Based Key Encapsulation to Multiple Parties
Barbosa, M;Farshim, P;
2005
IACR Cryptology ePrint Archive
Teses Orientadas
High-speed and High-assurance Cryptographic Software
Tiago Filipe Azevedo Oliveira
D - 2019
UP-FCUP
Integrated verification of cryptographic security proofs and implementations
Vitor Manuel Parreira Pereira
D - 2019
UP-FCUP
Trade-offs between privacy and efficiency on databases
Rogério António da Costa Pontes
D - 2019
UP-FCUP
Integrated Verification of Cryptographic Security Proofs and Implementations
Vítor Manuel Parreira Pereira
D - 2020
UP-FEUP
