???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
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. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. Miranda, Ricardo; Pardal, Miguel L.; Grilo, António. "Sensmart: sensor data market for the internet of things". 2020.
    Publicado • 10.1145/3341105.3373951
  7. 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
  8. Calado, Diogo; Pardal, Miguel L.. "Tamper-Proof Incentive Scheme for Mobile Crowdsensing Systems". Trabalho apresentado em IEEE NCA, 2018.
    10.1109/nca.2018.8548093
  9. Ferreira, Joao; Pardal, Miguel L.. "Witness-Based Location Proofs for Mobile Devices". Trabalho apresentado em IEEE NCA 2018, 2018.
    10.1109/nca.2018.8548244
  10. 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
  11. 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
  12. Joaquim, André; Pardal, Miguel; Correia, Miguel. "Vulnerability-Tolerant Transport Layer Security". Trabalho apresentado em International Conference on Principles of Distributed Systems (OPODIS 2017), 2017.
  13. 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
  14. 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
  15. 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. "Sanare: Pluggable Intrusion Recovery for Web Applications". IEEE Transactions on Dependable and Secure Computing (2021): 1-1.
    10.1109/TDSC.2021.3139472
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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.
  7. 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
  8. 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
  9. 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
  10. 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.
  11. 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.
  12. 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
  13. 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. 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
  2. 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
  3. 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
  4. 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