???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; .
Identification

Personal identification

Full name
Miguel Filipe Leitão Pardal

Citation names

  • Pardal, Miguel
  • Miguel L. Pardal

Author identifiers

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

Knowledge fields

  • Exact Sciences - Computer and Information Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Beginner (A1) Intermediate (B1) Beginner (A1) Beginner (A1)
Spanish; Castilian Intermediate (B1) Intermediate (B1) Beginner (A1) Intermediate (B1)
Italian Beginner (A1) Intermediate (B1) Beginner (A1) Beginner (A1)
German Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2014
Concluded
PhD in Information Systems and Computer Engineering (Doutoramento)
Universidade de Lisboa, Portugal
"Scalable and secure RFID data discovery" (THESIS/DISSERTATION)
Pass
2006
Concluded
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa, Portugal
"Segurança de aplicações empresariais em arquitecturas de serviços" (THESIS/DISSERTATION)
Aprovado por unanimidade
2000
Concluded
Licenciatura em Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Servidor de Informação Pessoal" (THESIS/DISSERTATION)
15
Affiliation

Teaching in Higher Education

Category
Host institution
Employer
2014/06/17 - Current Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal

Others

Category
Host institution
Employer
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, United States
Projects

Contract

Designation Funders
2023/01/01 - Current Agenda Descentralizar Portugal com Blockchain
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Universidade de Lisboa Instituto Superior Técnico, Portugal
Ongoing
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
Ongoing
Outputs

Publications

Book chapter
  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
Conference paper
  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". Paper presented in EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous), 2020.
    Published
  12. Martins, Filipe F.; Matos, David R.; Pardal, Miguel L.; Correia, Miguel. "Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum". Paper presented in 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA), Cambridge, MA, 2020.
    Published • 10.1109/nca51143.2020.9306738
  13. Gabriel Maia; Rui Claro; Pardal, Miguel. "CROSS City: Wi-Fi Location Proofs for Smart Tourism". Paper presented in 19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now), Bari, 2020.
    Published
  14. Henrique F. Santos; Rui Claro; Leonardo S. Rocha; Pardal, Miguel. "STOP: a location spoofing resistant vehicle inspection system". Paper presented in 19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now), Bari, 2020.
    Published
  15. Miguel Amaral; Pardal, Miguel; Matos, Miguel; Hugues Mercier. "FaultSee: Reproducible Fault Injection in Distributed Systems". Paper presented in 16th European Dependable Computing Conference (EDCC), Munique, 2020.
    Published
  16. Miranda, Ricardo; Pardal, Miguel L.; Grilo, António. "Sensmart: sensor data market for the internet of things". 2020.
    Published • 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". Paper presented in ACM/IFIP/USENIX International Middleware Conference, 2018.
    Published • 10.1145/3274808.3274817
  18. Calado, Diogo; Pardal, Miguel L.. "Tamper-Proof Incentive Scheme for Mobile Crowdsensing Systems". Paper presented in IEEE NCA, 2018.
    10.1109/nca.2018.8548093
  19. Ferreira, Joao; Pardal, Miguel L.. "Witness-Based Location Proofs for Mobile Devices". Paper presented in 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". Paper presented in TrustCom 2018, New York, 2018.
    Published • 10.1109/trustcom/bigdatase.2018.00073
  21. Matos, David R.; Pardal, Miguel L.; Correia, Miguel. "Rectify: Black-Box Intrusion Recovery in PaaS Clouds". Paper presented in ACM/IFIP/USENIX Middleware, 2017.
    10.1145/3135974.3135978
  22. Joaquim, André; Pardal, Miguel; Correia, Miguel. "Vulnerability-Tolerant Transport Layer Security". Paper presented in International Conference on Principles of Distributed Systems (OPODIS 2017), 2017.
  23. Joaquim, Andre; Pardal, Miguel L.; Correia, Miguel. "vtTLS: A vulnerability-tolerant communication protocol". Paper presented in IEEE NCA 2016, 2016.
    10.1109/nca.2016.7778620
  24. Balu, Karan; Pardal, Miguel L.; Correia, Miguel. "DARSHANA: Detecting route hijacking for communication confidentiality". Paper presented in IEEE NCA, 2016.
    10.1109/nca.2016.7778593
  25. Raposo, Diogo; Pardal, Miguel L.; Rodrigues, Luis; Correia, Miguel. "MACHETE: Multi-path communication for security". Paper presented in IEEE NCA, 2016.
    Published • 10.1109/nca.2016.7778594
Journal article
  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.
    Published • 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.
    Published • 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
Magazine article
  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.
Distinctions

Other distinction

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