???global.info.a_carregar???
Identification

Personal identification

Full name
Carlos Nuno da Cruz Ribeiro

Citation names

  • Ribeiro, Carlos

Author identifiers

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

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Communication Engineering and Systems
Education
Degree Classification
2002/07
Concluded
Engenharia Informática e de Computadores (Doutoramento)
Major in Segurança Informática
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Uma Plataforma para Políticas de Autorização para Organizações" (THESIS/DISSERTATION)
1993/07
Concluded
Engenharia Eletrotécnica e de Computadores (Mestrado integrado)
Major in Sistemas Distribuídos
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Um Gestor de Memória Distribuída Persistente e Estável" (THESIS/DISSERTATION)
1984/09/01 - 1989/09
Concluded
Engenharia Eletrotécnica e de Computadores (Mestrado integrado)
Major in Sistemas e Computadores
Universidade de Lisboa Instituto Superior Técnico, Portugal
16,1
Affiliation

Teaching in Higher Education

Category
Host institution
Employer
2014/12/31 - Current Associate Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2002/07/26 - 2017/11/30 Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
1993/11/26 - 2002/07/26 Assistant (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
1993/10/01 - 1993/11/26 Trainee Assistant (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal

Positions / Appointments

Category
Host institution
Employer
2021/09/01 - Current Coordenador de Programa Doutoral Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/01/12 - 2021/10/12 Vice-Rector Universidade de Lisboa, Portugal
2013/07/26 - 2018/01/11 Pro-Rector Universidade de Lisboa, Portugal
2012/01/24 - 2013/07/26 Pro-Rector Universidade Técnica de Lisboa , Portugal
2005/09/01 - 2006/09/01 Coordenador de Programa Doutoral Universidade de Lisboa Instituto Superior Técnico, Portugal
Projects

Contract

Designation Funders
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
Ongoing
2021/10/01 - 2025/09/30 Sustainable Autonomy and Resilience for LEAs using AI against High priority Threats
101021797
Researcher
European Commission
Ongoing
2022/11/01 - 2024/10/31 LESSEN DATA ACCESS AND GOVERNANCE OBSTACLES
101073951
Researcher
Ongoing
2020/06/01 - 2023/11/30 Global Response Against Child Exploitation
883341
Researcher
European Commission
Concluded
2019/02/01 - 2022/06/30 Strategic programs for advanced research and technology in Europe
830892
Co-Principal Investigator (Co-PI)
European Commission
Concluded
2018/12/01 - 2021/11/30 User-oriented, secure, trustful & decentralised social media
825171
Researcher
European Commission
Concluded
2016/09/01 - 2020/11/30 Analysis System for Gathered Raw Data
700381
Researcher
European Commission
Concluded
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
Concluded
2015/09/01 - 2018/08/31 aDvanced sOcial enGineering And vulNerability Assesment Framework
653618
Researcher
European Commission
Concluded
2014/06 - 2017/05 Ecossian
FP7-SEC-­2013-­1-­607577
Researcher
Concluded
2013/04/01 - 2017/03/31 E-SENS Moving Sevices Forward
325211
CIP-ICT-PSP-2012-6
Researcher
Concluded
2012/05 - 2015/11 SECUR-ED
FP7-­-SEC-­-2010-­-1-­-261605
Researcher
Concluded
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
Concluded
2012/04 - 2015/05 STORK 2.0
CIP-­ICT-­PSP-2011-­5
Co-Principal Investigator (Co-PI)
Concluded
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
Concluded
2011 - 2013 MobiPag
QREN/POFC/2010/013847
Co-Principal Investigator (Co-PI)
Concluded
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
Concluded
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
Concluded
2008/07 - 2011/05 Stork (ICT-­-PSP/2007/1-­-224993)
ICT--PSP/2007/1-­-224993
Co-Principal Investigator (Co-PI)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Concluded
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
Concluded
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
Concluded
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
Concluded
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
Concluded
Outputs

Publications

Book
  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. Corresponding author: Delgado, José Luís. ARQUITETURA DE COMPUTADORES. Portugal: Lidel. 2014.
    Published
  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. Corresponding author: Marques, J. Alves. Sistemas Operativos. Portugal: Lidel. 2012.
    Published
  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.
Book chapter
  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.
Conference paper
  1. Carvalho, Olga; Apolinário, Filipe; Escravana, Nelson; Ribeiro, Carlos. Corresponding author: Ribeiro, Carlos. "CIIA: critical infrastructure impact assessment". Paper presented in SAC'22: ACM/SIGAPP Symposium on Applied Computing, 2022.
    Published • 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.
    Published
  3. Filho, Walter Priesnitz; Ribeiro, Carlos; Zefferer, Thomas. "An Ontology-Based Interoperability Solution for Electronic-Identity Systems". San Francisco, 2016.
    Published • 10.1109/scc.2016.11
  4. Priesnitz Filho, Walter; Ribeiro, Carlos; Zefferer, Thomas. Corresponding author: Priesnitz Filho, Walter. "Towards Privacy-preserving Attribute Aggregation in Federated eID Systems". Paper presented in Forum at the 28th International Conference on Advanced Information Systems Engineering (CAiSE), Ljubljana, 2016.
    Published
  5. Antunes, Diogo; Lima, Joao; Pereira, Goncalo; Escravana, Nelson; Ribeiro, Carlos. "NFC4Sure: Mobile ticketing system". Paper presented in 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". Paper presented in SECURWARE 2015, The Ninth International Conference on Emerging Security Information, Systems and Technologies, Veneza, 2015.
    Published
  7. Leitold, Herbert; Lioy, Antonio; Ribeiro, Carlos. Corresponding author: Leitold, Herbert. "STORK 2.0: Breaking New Grounds on eID and Mandates". Paper presented in ID World International Congress, Frankfurt, 2014.
    Published
  8. Mónica, Diogo; Ribeiro, Carlos. "Obtaining strong identifiers through attribute aggregation". Paper presented in SECURWARE 2014: The Eighth International Conference on Emerging Security Information, Systems and Technologies, Lisbon, 2014.
    Published
  9. Ribeiro, Carlos; Joaquim, Rui; Pereira, Gonçalo. Corresponding author: Ribeiro, Carlos. "Scroll, Match & Vote: A Coercion-Resistant Mobile Voting Interface". Paper presented in EVOTE2014: 6th International Conference on Electronic Voting, Lochau/Bregenz, 2014.
    Published
  10. Lima, Joao; Escravana, Nelson; Ribeiro, Carlos. "BPIDS-using business model specification in intrusion detection". Paper presented in 17th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2014, Gothenburg, 2014.
    Published • 10.1109/issrew51248.2020.00029
  11. Ferreira, Marta Campos; Falcão e Cunha, João; José, Rui; Rodrigues, Helena; MONTEIRO, ANTÓNIO; Ribeiro, Carlos. Corresponding author: Ferreira, Marta Campos. "Evaluation of an Integrated Mobile Payment, Ticketing and Couponing Solution Based on NFC". Paper presented in World Conference on Information Systems and Technologies (WorldCIST), Funchal, 2014.
    Published
  12. Mónica, Diogo; Ribeiro, Carlos. Corresponding author: Mónica, Diogo. "Leveraging honest users: stealth command-and-control of botnets". Paper presented in 7th USENIX conference on Offensive Technologies, Washington D.C., 2013.
    Published
  13. Silva, Mauro; Leitao, Joao; Ribeiro, Carlos. "MobUser: Publish-subscribe Communication for Mobile Nodes". Paper presented in IEEE 18th International Conference on Parallel and Distributed Systems, Singapura, 2012.
    Published • 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)". Paper presented in 4º Simpósio de Informática (INForum'12 - Portuguese Informatics Conference), 2012.
    Published
  15. Francisco, Silas; Ribeiro, Carlos. Corresponding author: Ribeiro, Carlos. "Improving the Robustness of Distributed Range-Based Localisation Algorithms". Veneza, 2010.
    Published • 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". Paper presented in 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), Chicago, IL, 2010.
    Published • 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". Paper presented in 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009, 2009.
    Published
  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". Paper presented in 1º Simpósio de Informática (INForum'09 - Portuguese Informatics Conference), 2009.
    Published
  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". Paper presented in 20th TERENA Networking Conference 2004, Rhodes, 2004.
    Published
  31. Ribeiro, Carlos; Ferreira, Paulo; ZÚQUETE, ANDRÉ. "Enforcing Obligation with Security Monitors". Paper presented in 3rd International Conference on Information and Communications Security (ICICS 2001), 2001.
    Published
  32. Ribeiro, Carlos; ZÚQUETE, ANDRÉ; Ferreira, Paulo; Guedes, Paulo. Corresponding author: Ribeiro, Carlos. "SPL: An Access Control Language for Security Policies and Complex Constraints.". Paper presented in The Network and Distributed System Security (NDSS) Symposium 2001, San Diego, CA, 2001.
    Published
  33. Ribeiro, Carlos; ZÚQUETE, ANDRÉ; Ferreira, Paulo; Guedes, Paulo. Corresponding author: Ribeiro, Carlos. "Security Policy Consistency". Paper presented in First Workshop on Rule-Based Constraint Reasoning and Programming, 2000.
    Published
  34. Ribeiro, Carlos; Guedes, Paulo. "Verifying workflow processes against organization security policies". Stanford, CA, 1999.
    10.1109/enabl.1999.805198
Journal article
  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.
    Published • 10.1016/j.future.2018.09.025
  2. Priesnitz Filho, W.; Ribeiro, Carlos. Corresponding author: 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.
    Published • 10.7198/geintec.v7.i4.1213
  3. Ribeiro, Carlos; Leitold, Herbert; Esposito, Simon; Mitzam, David. Corresponding author: 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. Corresponding author: 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.
    Published • 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. Corresponding author: 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.
    Open access • Published
  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.. Corresponding author: 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.
    Published • 10.1145/122576.122587
Magazine article
  1. Escravana, Nelson; Lima, João; Ribeiro, Carlos. Corresponding author: Escravana, Nelson. "Ciber (in) segurança da Infraestrutura de Transportes Públicos", Nação e Defesa, 2012
Activities

Supervision

Thesis Title
Role
Degree Subject (Type)
Institution / Organization
2023/11/01 - Current On Large-Scale Binding Elections in Europe
Supervisor
Segurança de Informação (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023/11/01 - Current On Compliance Assistance Tools
Supervisor
Segurança de Informação (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022 - Current Privacy-preserving IDS using Homomorphic Encryption and DP
Supervisor of Tahira Khorram
Segurança da Informação (PhD)
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)
Supervisor of Diogo Miguel Arnedo Marques Bonfim Laja
Engenharia de Telecomunicações e Informática (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/09/01 - 2023/12/22 NETRAD: Network Traffic Adversarial Attack Detector (inglês)
Supervisor of António Augusto de Crato Palma Teixeira
Engenharia de Telecomunicações e Informática (Master)
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)
Supervisor of João Francisco Pereira Costa
Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09/01 - 2021/11/19 Gestão de alunos erasmus no sistema Fénix
Supervisor of Diana Paiva Marques
Engenharia Informática (Master)
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)
Supervisor of Eduardo Alexandre Silva da Costa
Engenharia Informática e de Computadores (Master)
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
Supervisor of Mafalda Pinheiro Luz
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2019/09/01 - 2021/03/16 Academic European E-identity Management Framework (inglês)
Supervisor of Nuno Ricardo Jorge Mendes
Engenharia Informática e de Computadores (Master)
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)
Supervisor of Miguel Gil da Silva Simão
Engenharia Informática e de Computadores (Master)
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
Co-supervisor of Diogo José Nunes Godinho
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2019/09/01 - 2020/09/30 BPIDS - Attack Impact Assessment
Supervisor of Olga Sofia Berens de Carvalho
Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2019/09/19 Controlo de Acesso no Sistema Académico Fénix
Co-supervisor of Daniel Filipe Mendes Pires
Engenharia Informática (Master)
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
Co-supervisor of Shams Karim Valibhai
Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2019/07/01 Business Process Security Specification Automatic Extraction (inglês)
Supervisor of David Alexandre da Silva Marques
Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2019/06/28 BPML Tool for GPRD Compliance Checking
Supervisor of Rodrigo de Bragança Santa Clara Reis
Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 - 2018/12/05 Privacy-preserving Attribute Aggregation in eID Federations
Supervisor of Walter Priesnitz Filho
Segurança de Informação (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/09/01 - 2018/06/01 O FACTOR HUMANO NA CIBERSEGURANÇA
Supervisor of Isabel Margarida Afonso da Silva Baptista
Segurança de Informação e Direito no Ciberespaço (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2015/12/04 Defeating malicious attacks. A contribution to safe network operations
Supervisor of Diogo Miguel da Costa e Castro Mónica de Oliveira
Engenharia Informática e de Computadores (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - 2012 Toward Voter Verifiable Internet Elections
Supervisor of Rui Filipe Lopes Joaquim
Engenharia Informática e de Computadores (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal