???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Carlos Nuno da Cruz Ribeiro

Nomes de citação

  • Ribeiro, Carlos

Identificadores de autor

Ciência ID
1F1B-C32A-2980
ORCID iD
0000-0002-6080-0996
Google Scholar ID
XzO-ivMAAAAJ
Scopus Author Id
36642948400

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Engenharia de Comunicações e de Sistemas
Formação
Grau Classificação
2002/07
Concluído
Engenharia Informática e de Computadores (Doutoramento)
Especialização em Segurança Informática
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Uma Plataforma para Políticas de Autorização para Organizações" (TESE/DISSERTAÇÃO)
1993/07
Concluído
Engenharia Eletrotécnica e de Computadores (Mestrado integrado)
Especialização em Sistemas Distribuídos
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Um Gestor de Memória Distribuída Persistente e Estável" (TESE/DISSERTAÇÃO)
1984/09/01 - 1989/09
Concluído
Engenharia Eletrotécnica e de Computadores (Mestrado integrado)
Especialização em Sistemas e Computadores
Universidade de Lisboa Instituto Superior Técnico, Portugal
16,1
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2014/12/31 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2002/07/26 - 2017/11/30 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
1993/11/26 - 2002/07/26 Assistente (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
1993/10/01 - 1993/11/26 Assistente Estagiário (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento
Empregador
2021/09/01 - Atual Coordenador de Programa Doutoral Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/01/12 - 2021/10/12 Vice-Reitor Universidade de Lisboa, Portugal
2013/07/26 - 2018/01/11 Pró-Reitor Universidade de Lisboa, Portugal
2012/01/24 - 2013/07/26 Pró-Reitor Universidade Técnica de Lisboa , Portugal
2005/09/01 - 2006/09/01 Coordenador de Programa Doutoral Universidade de Lisboa Instituto Superior Técnico, Portugal
Projetos

Projeto

Designação Financiadores
2021/01/01 - 2025/12/31 Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa
LA/P/0078/2020
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2021/10/01 - 2025/09/30 Sustainable Autonomy and Resilience for LEAs using AI against High priority Threats
101021797
Investigador
European Commission
Em curso
2022/11/01 - 2024/10/31 LESSEN DATA ACCESS AND GOVERNANCE OBSTACLES
101073951
Investigador
Em curso
2020/06/01 - 2023/11/30 Global Response Against Child Exploitation
883341
Investigador
European Commission
Concluído
2019/02/01 - 2022/06/30 Strategic programs for advanced research and technology in Europe
830892
Co-Investigador Responsável (Co-IR)
European Commission
Concluído
2018/12/01 - 2021/11/30 User-oriented, secure, trustful & decentralised social media
825171
Investigador
European Commission
Concluído
2016/09/01 - 2020/11/30 Analysis System for Gathered Raw Data
700381
Investigador
European Commission
Concluído
2019/01/01 - 2019/12/31 Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa
UID/CEC/50021/2019
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2015/09/01 - 2018/08/31 aDvanced sOcial enGineering And vulNerability Assesment Framework
653618
Investigador
European Commission
Concluído
2014/06 - 2017/05 Ecossian
FP7-SEC-­2013-­1-­607577
Investigador
Concluído
2013/04/01 - 2017/03/31 E-SENS Moving Sevices Forward
325211
CIP-ICT-PSP-2012-6
Investigador
Concluído
2012/05 - 2015/11 SECUR-ED
FP7-­-SEC-­-2010-­-1-­-261605
Investigador
Concluído
2012/02/01 - 2015/07/31 SUSPECT - Tecnologias Seguras de Fala
PTDC/EIA-CCO/122542/2010
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2012/04 - 2015/05 STORK 2.0
CIP-­ICT-­PSP-2011-­5
Co-Investigador Responsável (Co-IR)
Concluído
2010/03/01 - 2013/02/28 PROSOPON: Partilha de Ciclos de CPU para Identificação e Indexação Facial em Multimédia
PTDC/EIA-EIA/102250/2008
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2011 - 2013 MobiPag
QREN/POFC/2010/013847
Co-Investigador Responsável (Co-IR)
Concluído
2011/01/01 - 2012/12/31 Projecto Estratégico - LA 21 - 2011-2012
PEst-OE/EEI/LA0021/2011
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2011/06/30 Mercúrio - consistência de dados replicados em hardware com recursos escassos
PTDC/EIA/66589/2006
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/07 - 2011/05 Stork (ICT-­-PSP/2007/1-­-224993)
ICT--PSP/2007/1-­-224993
Co-Investigador Responsável (Co-IR)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Concluído
2007/12/01 - 2011/03/31 PRIVATO
PTDC/EIA/65588/2006
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2010/12/31 Ginger: Uma Infra-Estrutura Flexível para Grids Peer-to-Peer
PTDC/EIA/73240/2006
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2007/07/01 - 2010/12/31 PoliGrid - políticas distribuídas de gestão de recursos em Grids
GRID/GRI/81752/2006
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2005/06/01 - 2008/06/30 E-Voto - Uma Nova Arquitectura para Lidar com o Risco em Sistemas de E-Voto
POSC/EIA/57038/2004
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade de Aveiro, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Carvalho, Olga; Apolinário, Filipe; Escravana, Nelson; Ribeiro, Carlos. Autor correspondente: Ribeiro, Carlos. "CIIA: critical infrastructure impact assessment". Trabalho apresentado em SAC'22: ACM/SIGAPP Symposium on Applied Computing, 2022.
    Publicado • 10.1145/3477314.3507313
  2. Lima, Joao; Apolinario, Filipe; Escravana, Nelson; Ribeiro, Carlos. "BP-IDS: Using business process specification to leverage intrusion detection in critical infrastructures". 2020.
    Publicado
  3. Filho, Walter Priesnitz; Ribeiro, Carlos; Zefferer, Thomas. "An Ontology-Based Interoperability Solution for Electronic-Identity Systems". San Francisco, 2016.
    Publicado • 10.1109/scc.2016.11
  4. Priesnitz Filho, Walter; Ribeiro, Carlos; Zefferer, Thomas. Autor correspondente: Priesnitz Filho, Walter. "Towards Privacy-preserving Attribute Aggregation in Federated eID Systems". Trabalho apresentado em Forum at the 28th International Conference on Advanced Information Systems Engineering (CAiSE), Ljubljana, 2016.
    Publicado
  5. Antunes, Diogo; Lima, Joao; Pereira, Goncalo; Escravana, Nelson; Ribeiro, Carlos. "NFC4Sure: Mobile ticketing system". Trabalho apresentado em Conference on Mobile and Secure Services (MobiSecServ), Gainesville, Florida, 2016.
    10.1109/mobisecserv.2016.7440229
  6. Mónica. Diogo; Ribeiro, Carlos. "An IDS for Browser Hijacking". Trabalho apresentado em SECURWARE 2015, The Ninth International Conference on Emerging Security Information, Systems and Technologies, Veneza, 2015.
    Publicado
  7. Leitold, Herbert; Lioy, Antonio; Ribeiro, Carlos. Autor correspondente: Leitold, Herbert. "STORK 2.0: Breaking New Grounds on eID and Mandates". Trabalho apresentado em ID World International Congress, Frankfurt, 2014.
    Publicado
  8. Mónica, Diogo; Ribeiro, Carlos. "Obtaining strong identifiers through attribute aggregation". Trabalho apresentado em SECURWARE 2014: The Eighth International Conference on Emerging Security Information, Systems and Technologies, Lisbon, 2014.
    Publicado
  9. Ribeiro, Carlos; Joaquim, Rui; Pereira, Gonçalo. Autor correspondente: Ribeiro, Carlos. "Scroll, Match & Vote: A Coercion-Resistant Mobile Voting Interface". Trabalho apresentado em EVOTE2014: 6th International Conference on Electronic Voting, Lochau/Bregenz, 2014.
    Publicado
  10. Lima, Joao; Escravana, Nelson; Ribeiro, Carlos. "BPIDS-using business model specification in intrusion detection". Trabalho apresentado em 17th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2014, Gothenburg, 2014.
    Publicado • 10.1109/issrew51248.2020.00029
  11. Ferreira, Marta Campos; Falcão e Cunha, João; José, Rui; Rodrigues, Helena; MONTEIRO, ANTÓNIO; Ribeiro, Carlos. Autor correspondente: Ferreira, Marta Campos. "Evaluation of an Integrated Mobile Payment, Ticketing and Couponing Solution Based on NFC". Trabalho apresentado em World Conference on Information Systems and Technologies (WorldCIST), Funchal, 2014.
    Publicado
  12. Mónica, Diogo; Ribeiro, Carlos. Autor correspondente: Mónica, Diogo. "Leveraging honest users: stealth command-and-control of botnets". Trabalho apresentado em 7th USENIX conference on Offensive Technologies, Washington D.C., 2013.
    Publicado
  13. Silva, Mauro; Leitao, Joao; Ribeiro, Carlos. "MobUser: Publish-subscribe Communication for Mobile Nodes". Trabalho apresentado em IEEE 18th International Conference on Parallel and Distributed Systems, Singapura, 2012.
    Publicado • 10.1109/icpads.2012.29
  14. Silva, Mauro; Leitão, João; Ribeiro, Carlos. "MobUser: Uma plataforma para partilha de informação centrada no utilizador para dispositivos móveis (Short paper)". Trabalho apresentado em 4º Simpósio de Informática (INForum'12 - Portuguese Informatics Conference), 2012.
    Publicado
  15. Francisco, Silas; Ribeiro, Carlos. Autor correspondente: Ribeiro, Carlos. "Improving the Robustness of Distributed Range-Based Localisation Algorithms". Veneza, 2010.
    Publicado • 10.1109/sensorcomm.2010.64
  16. Monica, Diogo; Leitão, João; Rodrigues, Luis; Ribeiro, Carlos. "Observable non-Sybil quorums construction in one-hop wireless ad hoc networks". Trabalho apresentado em 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), Chicago, IL, 2010.
    Publicado • 10.1109/dsn.2010.5545006
  17. Francisco, S.; Ribeiro, C.. "Improving the robustness of distributed range-based localisation algorithms". 2010.
    10.1109/SENSORCOMM.2010.64
  18. Simão, J.; Ribeiro, C.; Ferreira, P.; Veiga, L.. "Jano: Specification and enforcement of location privacy in mobile and pervasive environments". 2010.
    10.1145/1890791.1890793
  19. Rodrigues, P.D.; Ribeiro, C.; Veiga, L.. "Incentive mechanisms in peer-to-peer networks". 2010.
    10.1109/IPDPSW.2010.5470860
  20. Mónica, Diogo; Leitão, João; Rodrigues, Luis; Ribeiro, Carlos. "On the Use of Radio Resource Tests inWireless ad hoc Networks". Trabalho apresentado em 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009, 2009.
    Publicado
  21. Ribeiro, C.; Anastácio, I.; Costa, A.; Baptista, M.. "WSN self-address collision detection and solving". 2009.
    10.1109/SENSORCOMM.2009.107
  22. Freitas, F.; Marques, E.; Rodrigues, R.; Ribeiro, C.; Ferreira, P.; Rodrigues, L.. "Verme: Worm containment in overlay networks". 2009.
    10.1109/DSN.2009.5270341
  23. Monica, Diogo; Leitão, João; Rodrigues, Luis Eduardo Teixeira; Ribeiro, Carlos. "Construção Observável de um Sistema de Quorum Não Sybil na Vizinhança Rádio de uma Rede Ad-Hoc Sem Fios". Trabalho apresentado em 1º Simpósio de Informática (INForum'09 - Portuguese Informatics Conference), 2009.
    Publicado
  24. Ribeiro, C.; Carneiro, J.; Rodrigues, V.. "Environmental monitoring based on wireless sensor and actor networks". 2008.
  25. Ribeiro, C.. "Robust sensor self-initialization: Whispering to avoid intruders". 2007.
    10.1109/SECUREWARE.2007.4385318
  26. Felix, P.; Ribeiro, C.. "A scalable and flexible web services authentication model". 2007.
    10.1145/1314418.1314429
  27. Andrade, P.F.; Da Silva, F.M.; Ribeiro, C.. "An efficient intrusion detection system for networks with centralized routing". 2007.
  28. Gama, P.; Ribeiro, C.; Ferreira, P.. "A scalable history-based policy engine". 2006.
    10.1109/POLICY.2006.8
  29. Gama, P.; Ribeiro, C.; Ferreira, P.. "Heimdhal: A history-based policy engine for grids". 2006.
    10.1109/CCGRID.2006.54
  30. Ribeiro, Carlos; Silva, Fernando; ZÚQUETE, ANDRÉ. "A Roaming Authentication Solution for WiFi Using IPSec VPNs With Client Certificates". Trabalho apresentado em 20th TERENA Networking Conference 2004, Rhodes, 2004.
    Publicado
  31. Ribeiro, Carlos; Ferreira, Paulo; ZÚQUETE, ANDRÉ. "Enforcing Obligation with Security Monitors". Trabalho apresentado em 3rd International Conference on Information and Communications Security (ICICS 2001), 2001.
    Publicado
  32. Ribeiro, Carlos; ZÚQUETE, ANDRÉ; Ferreira, Paulo; Guedes, Paulo. Autor correspondente: Ribeiro, Carlos. "SPL: An Access Control Language for Security Policies and Complex Constraints.". Trabalho apresentado em The Network and Distributed System Security (NDSS) Symposium 2001, San Diego, CA, 2001.
    Publicado
  33. Ribeiro, Carlos; ZÚQUETE, ANDRÉ; Ferreira, Paulo; Guedes, Paulo. Autor correspondente: Ribeiro, Carlos. "Security Policy Consistency". Trabalho apresentado em First Workshop on Rule-Based Constraint Reasoning and Programming, 2000.
    Publicado
  34. Ribeiro, Carlos; Guedes, Paulo. "Verifying workflow processes against organization security policies". Stanford, CA, 1999.
    10.1109/enabl.1999.805198
Artigo em revista
  1. Priesnitz Filho, Walter; Ribeiro, Carlos; Zefferer, Thomas. "Privacy-preserving attribute aggregation in eID federations". Future Generation Computer Systems 92 (2019): 1-16. http://dx.doi.org/10.1016/j.future.2018.09.025.
    Publicado • 10.1016/j.future.2018.09.025
  2. Priesnitz Filho, W.; Ribeiro, Carlos. Autor correspondente: Priesnitz Filho, W.. "STATE OF THE ART OF SECURE MULTIPARTY COMPUTATION FOR PRIVACY PRESERVING DATA MINING". Revista Gestão Inovação e Tecnologias 7 4 (2017): 4131-4148. http://dx.doi.org/10.7198/geintec.v7.i4.1213.
    Publicado • 10.7198/geintec.v7.i4.1213
  3. Ribeiro, Carlos; Leitold, Herbert; Esposito, Simon; Mitzam, David. Autor correspondente: Ribeiro, Carlos. "STORK: a real, heterogeneous, large-scale eID management system". International Journal of Information Security 17 5 (2017): 569-585. http://dx.doi.org/10.1007/s10207-017-0385-x.
    10.1007/s10207-017-0385-x
  4. Priesnitz Filho, Walter; Ribeiro, Carlos; Zefferer, Thomas. Autor correspondente: Priesnitz Filho, Walter. "Employing Ontology-Alignment and Locality-Sensitive Hashing to Improve Attribute Interoperability in Federated eID Systems". Complex Systems Informatics and Modeling Quarterly 8 (2016): 81-96. http://dx.doi.org/10.7250/csimq.2016-8.07.
    Publicado • 10.7250/csimq.2016-8.07
  5. Rodrigues, H.; José, R.; Coelho, A.; Melro, A.; Ferreira, M.C.; e Cunha, J.F.; Monteiro, M.P.; Ribeiro, C.. "Mobipag: Integrated mobile payment, ticketing and couponing solution based on NFC". Sensors (Switzerland) 14 8 (2014): 13389-13415. http://www.scopus.com/inward/record.url?eid=2-s2.0-84904994546&partnerID=MN8TOARS.
    10.3390/s140813389
  6. Joaquim, R.; Ferreira, P.; Ribeiro, C.. "EVIV: An end-to-end verifiable Internet voting system". Computers and Security 32 (2013): 170-191. http://www.scopus.com/inward/record.url?eid=2-s2.0-84876576382&partnerID=MN8TOARS.
    10.1016/j.cose.2012.10.001
  7. Ribeiro, C.; Anastácio, I.; Costa, A.; Baptista, M.. "A framework for robust address assignment in WSNs whispering to avoid intruders". International Journal of Distributed Sensor Networks 2013 (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84885445732&partnerID=MN8TOARS.
    10.1155/2013/693519
  8. Simão, J.; Ribeiro, C.; Ferreira, P.; Veiga, L.. "Jano: Location-privacy enforcement in mobile and pervasive environments through declarative policies". Journal of Internet Services and Applications 3 3 (2012): 291-310. http://www.scopus.com/inward/record.url?eid=2-s2.0-84888596806&partnerID=MN8TOARS.
    10.1007/s13174-012-0065-z
  9. Ribeiro, C.; Ferreira, P.. "A policy-oriented language for expressing security specifications". International Journal of Security and Networks 5 2-3 (2010): 299-316. http://www.scopus.com/inward/record.url?eid=2-s2.0-84888418907&partnerID=MN8TOARS.
  10. Joaquim, Rui; Ribeiro, Carlos. Autor correspondente: Joaquim, Rui. "CodeVoting: protecting against malicious vote manipulation at the voter's PC". Dagstuhl Seminar Proceedings (DagSemProc) 7311 (2008): 1-7. https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07311.
    Acesso aberto • Publicado
  11. Ferreira, P.; Veiga, L.; Ribeiro, C.. "OBIWAN: Design and Implementation of a Middleware Platform". IEEE Transactions on Parallel and Distributed Systems 14 11 (2003): 1086-1099. http://www.scopus.com/inward/record.url?eid=2-s2.0-0346896351&partnerID=MN8TOARS.
    10.1109/TPDS.2003.1247670
  12. Cunha, Alberto; Ribeiro, Carlos; Marques, José A.. Autor correspondente: Cunha, Alberto. "The architecture of a memory management unit for object-oriented systems". ACM SIGARCH Computer Architecture News 19 4 (1991): 109-116. http://dx.doi.org/10.1145/122576.122587.
    Publicado • 10.1145/122576.122587
Artigo em revista (magazine)
  1. Escravana, Nelson; Lima, João; Ribeiro, Carlos. Autor correspondente: Escravana, Nelson. "Ciber (in) segurança da Infraestrutura de Transportes Públicos", Nação e Defesa, 2012
Capítulo de livro
  1. Mónica, Diogo; Ribeiro, Carlos. "Local Password Validation Using Self-Organizing Maps". In Lecture Notes in Computer Science, 94-111. Springer International Publishing, 2014.
Livro
  1. Ferreira, M.C.; Cunha, J.F.E.; José, R.; Rodrigues, H.; Monteiro, M.P.; Ribeiro, C.. Evaluation of an integrated mobile payment, ticketing and couponing solution based on NFC. 2014.
    10.1007/978-3-319-05948-8_16
  2. Mónica, D.; Ribeiro, C.. Local password validation using self-organizing maps. 2014.
    10.1007/978-3-319-11203-9_6
  3. Delgado, José Luís; Ribeiro, Carlos. Autor correspondente: Delgado, José Luís. ARQUITETURA DE COMPUTADORES. Portugal: Lidel. 2014.
    Publicado
  4. Joaquim, R.; Ribeiro, C.. An efficient and highly sound voter verification technique and its implementation. 2012.
    10.1007/978-3-642-32747-6_7
  5. Marques, J. Alves; Ferreira, Paulo; Ribeiro, Carlos; Veiga, Luís; Rodrigues, Rodrigo. Autor correspondente: Marques, J. Alves. Sistemas Operativos. Portugal: Lidel. 2012.
    Publicado
  6. Mónica, D.; Ribeiro, C.. WiFiHop - Mitigating the evil twin attack through multi-hop detection. 2011.
    10.1007/978-3-642-23822-2_2
  7. Joaquim, R.; Ribeiro, C.; Ferreira, P.. Improving remote voting security with CodeVoting. 2010.
    10.1007/978-3-642-12980-3_19
  8. Joaquim, R.; Ribeiro, C.; Ferreira, P.. VeryVote: A voter verifiable code voting system. 2009.
    10.1007/978-3-642-04135-8_7
  9. Joaquim, R.; Ribeiro, C.. CodeVoting protection against automatic vote manipulation in an uncontrolled environment. 2007.
    10.1007/978-3-540-77493-8_16
  10. Dias, P.; Ribeiro, C.; Ferreira, P.; Ieee Computer Society; Ieee Computer, Society. Enforcing history-based security policies in mobile agent systems. 2003.
Atividades

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2023/11/01 - Atual On Large-Scale Binding Elections in Europe
Orientador
Segurança de Informação (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023/11/01 - Atual On Compliance Assistance Tools
Orientador
Segurança de Informação (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022 - Atual Privacy-preserving IDS using Homomorphic Encryption and DP
Orientador de Tahira Khorram
Segurança da Informação (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/09/01 - 2023/12/27 Quantum-Safe Anonymous Credentials from Context-Hiding Multi-Key Homomorphic Signatures (inglês)
Orientador de Diogo Miguel Arnedo Marques Bonfim Laja
Engenharia de Telecomunicações e Informática (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/09/01 - 2023/12/22 NETRAD: Network Traffic Adversarial Attack Detector (inglês)
Orientador de António Augusto de Crato Palma Teixeira
Engenharia de Telecomunicações e Informática (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/09/01 - 2023/11/09 ARGANID: Adversarial Resilience through Generative Adversarial Networks on NIDS (inglês)
Orientador de João Francisco Pereira Costa
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09/01 - 2021/11/19 Gestão de alunos erasmus no sistema Fénix
Orientador de Diana Paiva Marques
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2020/09/01 - 2021/09/16 Analysis and Implementation of a Suitable E-Voting Solution for Universidade de Lisboa (inglês)
Orientador de Eduardo Alexandre Silva da Costa
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09/01 - 2021/07/28 ASSINATURAS DIGITAIS EM APLICAÇÕES LOW-CODE COM RECURSO A FLUXOS DE TRABALHO
Orientador de Mafalda Pinheiro Luz
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2019/09/01 - 2021/03/16 Academic European E-identity Management Framework (inglês)
Orientador de Nuno Ricardo Jorge Mendes
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/02/28 PriVeil Circle: using Secure Multiparty Computation for sharing threat information (inglês)
Orientador de Miguel Gil da Silva Simão
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2020/12/02 Cursos partilhados no sistema Fenix - Análise comparativa de alternativas de concretização
Coorientador de Diogo José Nunes Godinho
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2019/09/01 - 2020/09/30 BPIDS - Attack Impact Assessment
Orientador de Olga Sofia Berens de Carvalho
Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2019/09/19 Controlo de Acesso no Sistema Académico Fénix
Coorientador de Daniel Filipe Mendes Pires
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2018/09/01 - 2019/07/01 A declarative based tool for reasoning about Cisco IOS firewall configurations
Coorientador de Shams Karim Valibhai
Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2019/07/01 Business Process Security Specification Automatic Extraction (inglês)
Orientador de David Alexandre da Silva Marques
Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2019/06/28 BPML Tool for GPRD Compliance Checking
Orientador de Rodrigo de Bragança Santa Clara Reis
Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 - 2018/12/05 Privacy-preserving Attribute Aggregation in eID Federations
Orientador de Walter Priesnitz Filho
Segurança de Informação (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/09/01 - 2018/06/01 O FACTOR HUMANO NA CIBERSEGURANÇA
Orientador de Isabel Margarida Afonso da Silva Baptista
Segurança de Informação e Direito no Ciberespaço (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2015/12/04 Defeating malicious attacks. A contribution to safe network operations
Orientador de Diogo Miguel da Costa e Castro Mónica de Oliveira
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - 2012 Toward Voter Verifiable Internet Elections
Orientador de Rui Filipe Lopes Joaquim
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal