???global.info.a_carregar???
Miguel Filipe Leitão Pardal. Concluiu o(a) Doutoramento em PhD in Information Systems and Computer Engineering em 2014 pelo(a) Universidade de Lisboa, Mestrado em Mestrado em Engenharia Informática e de Computadores em 2006 pelo(a) Universidade de Lisboa e Licenciatura em Licenciatura em Engenharia Informática e de Computadores em 2000 pelo(a) Universidade de Lisboa Instituto Superior Técnico. É Professor Auxiliar no(a) Universidade de Lisboa Instituto Superior Técnico. Publicou 10 artigos em revistas especializadas. Possui 1 capítulo(s) de livros. Recebeu 5 prémio(s) e/ou homenagens. Atua na(s) área(s) de Ciências Exatas com ênfase em Ciências da Computação e da Informaçã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: Ciber-Segurança; Internet das Coisas; Provas de Localização; Certificados Digitais; Cibersegurança; Sistemas Distribuídos ; Sistemas Empresariais; Computação em Nuvem; .
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Miguel Filipe Leitão Pardal

Nomes de citação

  • Pardal, Miguel
  • Miguel L. Pardal

Identificadores de autor

Ciência ID
6D1D-CA86-EF9C
ORCID iD
0000-0003-2872-7300
Google Scholar ID
hAqbWoQAAAAJ
Researcher Id
A-1153-2010

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informaçã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 independente (B1) Utilizador elementar (A1) Utilizador elementar (A1)
Espanhol; Castelhano Utilizador independente (B1) Utilizador independente (B1) Utilizador elementar (A1) Utilizador independente (B1)
Italiano Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A1)
Alemão Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2014
Concluído
 PhD in Information Systems and Computer Engineering (Doutoramento)
Universidade de Lisboa, Portugal
"Scalable and secure RFID data discovery" (TESE/DISSERTAÇÃO)
 Pass
2006
Concluído
 Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa, Portugal
"Segurança de aplicações empresariais em arquitecturas de serviços" (TESE/DISSERTAÇÃO)
 Aprovado por unanimidade
2000
Concluído
 Licenciatura em Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Servidor de Informação Pessoal" (TESE/DISSERTAÇÃO)
 15
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2014/06/17 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2006/09/01 - 2014/06/16 Assistente do Departamento de Engenharia Informática Universidade de Lisboa Instituto Superior Técnico, Portugal
2002/09/01 - 2006/08/31 Assistente Estagiário do Departamento de Engenharia Informática Universidade de Lisboa Instituto Superior Técnico, Portugal
2000/09/01 - 2002/08/31 Consultor em Sistemas de Informação Unisys Corporation, Estados Unidos
Projetos

Projeto

Designação Financiadores
2023/01/01 - Atual Agenda Descentralizar Portugal com Blockchain
C644918095-00000033 | Projeto nº 51
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Universidade de Lisboa Instituto Superior Técnico, Portugal
Em curso
2018/10/01 - 2021/09/30 SureThing: Certificação de localização de dispositivos para a Internet das Coisas
PTDC/CCI-COM/31440/2017
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
Produções

Publicações

Artigo em conferência
  1. Pedro Maximino; Rui S. Cruz; Miguel L. Pardal. "Smart Healthcare Monitoring System For Healthy Driving in Public Transportation". 2023.
    10.23919/cisti58278.2023.10211847
  2. Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia. "Automatic Generation of Distributed Algorithms with Generative AI". 2023.
    10.1109/dsn-s58398.2023.00037
  3. Francesco Pollicino; Samih Eisa; Pedro Rosa; Miguel L. Pardal; Mirco Marchetti. "Decentralized position detection for moving vehicles". 2023.
    10.1109/vtc2023-spring57618.2023.10199394
  4. Ricardo Grade; Samih Eisa; Miguel L. Pardal. "Bluetooth Peer-to-Peer Location Certification with a Gamified Mobile Application". 2022.
    10.1109/nca57778.2022.10013607
  5. Lucas H. Vicente; Samih Eisa; Miguel L. Pardal. "LoCaaS: Location-Certification-as-a-Service". 2022.
    10.1109/nca57778.2022.10013560
  6. Rafael Figueiredo; Samih Eisa; Miguel L. Pardal. "SureRepute: Reputation System for Crowdsourced Location Witnesses". 2022.
    10.1109/nca57778.2022.10013629
  7. Joao Antunes; Miguel L. Pardal; Luisa Coheur. "A Study on the Best Way to Compress Natural Language Processing Models". 2022.
    10.1109/fuzz-ieee55066.2022.9882595
  8. Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L. Pardal; Miguel Correia. "FingerCI". 2022.
    10.1145/3477314.3507323
  9. João Tiago; Samih Eisa; Miguel L. Pardal. "SureSpace". 2022.
    10.1145/3477314.3508382
  10. Miguel C. Francisco; Samih Eisa; Miguel L. Pardal. "Secure protocol buffers for Bluetooth Low-Energy communication with wearable devices". 2021.
    10.1109/nca53618.2021.9685944
  11. Pardal, Miguel. "MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks". Trabalho apresentado em EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous), 2020.
    Publicado
  12. Martins, Filipe F.; Matos, David R.; Pardal, Miguel L.; Correia, Miguel. "Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum". Trabalho apresentado em 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA), Cambridge, MA, 2020.
    Publicado • 10.1109/nca51143.2020.9306738
  13. Gabriel Maia; Rui Claro; Pardal, Miguel. "CROSS City: Wi-Fi Location Proofs for Smart Tourism". Trabalho apresentado em 19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now), Bari, 2020.
    Publicado
  14. Henrique F. Santos; Rui Claro; Leonardo S. Rocha; Pardal, Miguel. "STOP: a location spoofing resistant vehicle inspection system". Trabalho apresentado em 19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now), Bari, 2020.
    Publicado
  15. Miguel Amaral; Pardal, Miguel; Matos, Miguel; Hugues Mercier. "FaultSee: Reproducible Fault Injection in Distributed Systems". Trabalho apresentado em 16th European Dependable Computing Conference (EDCC), Munique, 2020.
    Publicado
  16. Miranda, Ricardo; Pardal, Miguel L.; Grilo, António. "Sensmart: sensor data market for the internet of things". 2020.
    Publicado • 10.1145/3341105.3373951
  17. Matos, David R.; Pardal, Miguel L.; Carle, Georg; Correia, Miguel. "RockFS: Cloud-backed File System Resilience to Client-Side Attacks". Trabalho apresentado em ACM/IFIP/USENIX International Middleware Conference, 2018.
    Publicado • 10.1145/3274808.3274817
  18. Calado, Diogo; Pardal, Miguel L.. "Tamper-Proof Incentive Scheme for Mobile Crowdsensing Systems". Trabalho apresentado em IEEE NCA, 2018.
    10.1109/nca.2018.8548093
  19. Ferreira, Joao; Pardal, Miguel L.. "Witness-Based Location Proofs for Mobile Devices". Trabalho apresentado em IEEE NCA 2018, 2018.
    10.1109/nca.2018.8548244
  20. Apolinario, Filipe; Pardal, Miguel; Correia, Miguel. "S-Audit: Efficient Data Integrity Verification for Cloud Storage". Trabalho apresentado em TrustCom 2018, New York, 2018.
    Publicado • 10.1109/trustcom/bigdatase.2018.00073
  21. Matos, David R.; Pardal, Miguel L.; Correia, Miguel. "Rectify: Black-Box Intrusion Recovery in PaaS Clouds". Trabalho apresentado em ACM/IFIP/USENIX Middleware, 2017.
    10.1145/3135974.3135978
  22. Joaquim, André; Pardal, Miguel; Correia, Miguel. "Vulnerability-Tolerant Transport Layer Security". Trabalho apresentado em International Conference on Principles of Distributed Systems (OPODIS 2017), 2017.
  23. Joaquim, Andre; Pardal, Miguel L.; Correia, Miguel. "vtTLS: A vulnerability-tolerant communication protocol". Trabalho apresentado em IEEE NCA 2016, 2016.
    10.1109/nca.2016.7778620
  24. Balu, Karan; Pardal, Miguel L.; Correia, Miguel. "DARSHANA: Detecting route hijacking for communication confidentiality". Trabalho apresentado em IEEE NCA, 2016.
    10.1109/nca.2016.7778593
  25. Raposo, Diogo; Pardal, Miguel L.; Rodrigues, Luis; Correia, Miguel. "MACHETE: Multi-path communication for security". Trabalho apresentado em IEEE NCA, 2016.
    Publicado • 10.1109/nca.2016.7778594
Artigo em revista
  1. Ricardo Moura; Ricardo Lopes; David R. Matos; Miguel L. Pardal; Miguel Correia. "MultiTLS: using multiple and diverse ciphers for stronger secure channels". Computers & Security (2023): http://dx.doi.org/10.1016/j.cose.2023.103342.
    10.1016/j.cose.2023.103342
  2. Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia. "MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service". IEEE Transactions on Cloud Computing (2023): https://doi.org/10.1109/TCC.2022.3178982.
    10.1109/TCC.2022.3178982
  3. David R. Matos; Miguel L. Pardal; António Rito Silva; Miguel Correia. "µVerum: Intrusion Recovery for Microservice Applications". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3298113.
    10.1109/ACCESS.2023.3298113
  4. Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia. "Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3287405.
    10.1109/ACCESS.2023.3287405
  5. "Sanare: Pluggable Intrusion Recovery for Web Applications". IEEE Transactions on Dependable and Secure Computing (2021): 1-1.
    10.1109/TDSC.2021.3139472
  6. Gomes, Marcus; Pardal, Miguel L.. "Cloud vs Fog: assessment of alternative deployments for a latency-sensitive IoT application". Procedia Computer Science 130 (2018): 488-495. http://dx.doi.org/10.1016/j.procs.2018.04.059.
    Publicado • 10.1016/j.procs.2018.04.059
  7. Moreira, João M.P.; Galhardas, Helena; Pardal, Miguel L.. "LeanBench: comparing software stacks for batch and query processing of IoT data". Procedia Computer Science 130 (2018): 448-455. http://dx.doi.org/10.1016/j.procs.2018.04.067.
    Publicado • 10.1016/j.procs.2018.04.067
  8. Pardal, M.L.; Harrison, M.; Sarma, S.; Marques, J.A.. "Expressive RFID data access policies for the Pharmaceuticals supply chain". 2013 IEEE International Conference on RFID, RFID 2013 (2013): 199-206. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881337396&partnerID=MN8TOARS.
    10.1109/RFID.2013.6548155
  9. Pardal, M.L.; Harrison, M.; Marques, J.A.. "Assessment of visibility restriction mechanisms for RFID data Discovery Services". 2012 IEEE International Conference on RFID, RFID 2012 (2012): 165-171. http://www.scopus.com/inward/record.url?eid=2-s2.0-84862098851&partnerID=MN8TOARS.
    10.1109/RFID.2012.6193045
  10. Pardal, M.L.; Pardal, J.P.; Marques, J.A.. "Improving WEB services performance, one step at a time". CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science (2012): 542-551. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864874618&partnerID=MN8TOARS.
  11. Pardal, M.L.; Harrison, M.; Sarma, S.; Marques, J.A.. "Performance assessment of XACML authorizations for supply chain traceability web services". Proceedings of the 2012 4th International Conference on Computational Aspects of Social Networks, CASoN 2012 (2012): 378-383. http://www.scopus.com/inward/record.url?eid=2-s2.0-84874098210&partnerID=MN8TOARS.
    10.1109/CASoN.2012.6412432
  12. Pardal, M.L.; Harrison, M.; Sarma, S.; Marques, J.A.. "Enforcing RFID data visibility restrictions using XACML security policies". 2012 IEEE International Conference on RFID-Technologies and Applications, RFID-TA 2012 (2012): 413-418. http://www.scopus.com/inward/record.url?eid=2-s2.0-84873131636&partnerID=MN8TOARS.
    10.1109/RFID-TA.2012.6404558
  13. Pardal, M.L.; Alves Marques, J.. "Cost model for RFID-based traceability information systems". 2011 IEEE International Conference on RFID-Technologies and Applications, RFID-TA 2011 (2011): 486-493. http://www.scopus.com/inward/record.url?eid=2-s2.0-82155192435&partnerID=MN8TOARS.
    10.1109/RFID-TA.2011.6068683
  14. Pardal, M.L.; Marques, J.A.. "Towards the internet of things: An introduction to RFID technology". Proceedings of the 4th International Workshop on RFID Technology - Concepts, Applications, Challenges, IWRT 2010, in Conjunction with ICEIS 2010 (2010): 69-78. http://www.scopus.com/inward/record.url?eid=2-s2.0-78649367246&partnerID=MN8TOARS.
  15. Perdigäo, C.; Pardal, M.L.. "EPC Virtual Lab: Experiments using an RFID location simulator". Proceedings of the 4th International Workshop on RFID Technology - Concepts, Applications, Challenges, IWRT 2010, in Conjunction with ICEIS 2010 (2010): 107-112. http://www.scopus.com/inward/record.url?eid=2-s2.0-78649385588&partnerID=MN8TOARS.
  16. Leitão, J.C.C.; Pardal, M.L.. "Smart web services: Systems' integration using policy driven automatic configuration". Communications in Computer and Information Science 110 CCIS PART 2 (2010): 446-454. http://www.scopus.com/inward/record.url?eid=2-s2.0-78650918671&partnerID=MN8TOARS.
    10.1007/978-3-642-16419-4_46
  17. Pardal, M.. "Core mechanisms for Web Services extensions". Proceedings - NWeSP 2007 3rd International Conference on Next Generation Web Services Practices (2007): 99-103. http://www.scopus.com/inward/record.url?eid=2-s2.0-46449107303&partnerID=MN8TOARS.
    10.1109/NWESP.2007.14
Artigo em revista (magazine)
  1. Pardal, Miguel; Alves Marques, José. "TrakChain estimates costs for Track and Trace in the Internet of (many) Things", ERCIM News, 2015, https://ercim-news.ercim.eu/en101/special/trakchain-estimates-costs-for-track-and-trace-in-the-internet-of-many-things.
Capítulo de livro
  1. Filipe Apolinário; João Guiomar; Éric Hervé; Sven Hrastnik; Nelson Escravana; Miguel L. Pardal; Miguel Correia. "ComSEC: Secure Communications for Baggage Handling Systems". 2023.
    10.1007/978-3-031-25460-4_19
  2. Ricardo Moura; David R. Matos; Miguel L. Pardal; Miguel Correia. "MultiTLS: Secure Communication Channels with Cipher Suite Diversity". 2020.
    10.1007/978-3-030-58201-2_5
  3. Gabriel A. Maia; Rui L. Claro; Miguel L. Pardal. "CROSS City: Wi-Fi Location Proofs for Smart Tourism". 2020.
    10.1007/978-3-030-61746-2_18
  4. Henrique F. Santos; Rui L. Claro; Leonardo S. Rocha; Miguel L. Pardal. "STOP: A Location Spoofing Resistant Vehicle Inspection System". 2020.
    10.1007/978-3-030-61746-2_8
  5. Rui Claro; José Portêlo; Miguel L. Pardal; Raquel Pinho. "Big Data Privacy by Design Computation Platform". 394-405. Springer International Publishing, 2019.
    10.1007/978-3-030-13709-0_33
Distinções

Outra distinção

2017 Co-advisor of André de Matos Joaquim, winner of the Merit Award for Best Information Security Master Thesis
2016 Excellent Teacher for Computer and Network Security and Distributed Systems courses
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 Excellent Teacher for Distributed Systems course
Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 Excellent Teacher for Distributed Systems course
Universidade de Lisboa Instituto Superior Técnico, Portugal
2004 Melhor estágio de admissão ao Colégio de Engenharia Informática