Miguel L. Pardal - Scientific Projects and Collaborations

I am an Integrated Researcher at INESC-ID, in the Distributed, Parallel, and Secure Systems (DPSS) scientific area.

I am the Principal Investigator of the INESC-ID and IST participation in the BLOCKCHAIN.PT - Agenda Descentralizar Portugal com Blockchain, financed by European Funds, namely the Recovery and Resilience Plan. The project teams will work to improve the agri-food supply chain, real estate markets, and blockchain interoperability.

I was the Principal Investigator of the SureThing project (FCT, PTDC/CCI-COM/31440/2017), between October 2018 and September 2022. The project team developed location certificates so that mobile applications and Internet of Things devices can make proof of their location and contribute to more trustable services.

I was the Work Package Leader for WP1 (Secure Communications) in the SafeCloud project (H2020 653884), between September 2015 and August 2018. The team developed added-security communication mechanisms designed to protect Internet-based communications from more powerful adversaries.

I was a Visiting Scholar at TUM in 2017-2018, under invitation of Prof. Georg Carle, Chair of Network Architectures and Services. I was Guest Scientist from 2018 until 2021.

I was a Visiting Student at MIT in 2008-2009, under invitation of Sanjay Sarma, co-supervisor of my PhD. I had the opportunity to collaborate with Christian Floerkemeier, Rahul Bhattacharyya, and Isaac Ehrenberg. We collaborated again in the organizing committee of the 4th International Conference on the Internet of Things.

Projects

2023..2026 - BLOCKCHAIN.PT - Agenda Descentralizar Portugal com Blockchain, project nr. 51, financed by European Funds, namely the Recovery and Resilience Plan - Component 5: Agendas Mobilizadoras para a Inovação Empresarial, included in the NextGenerationEU funding program.
2023..2024 - AmICA - Ambient Intelligence with Artificial Cognition - IST Pedagogical Innovation Project
2018..2022 - SureThing - Device Location Certification for the Internet of Things - Fundação para a Ciência e Tecnologia (PTDC/CCI-COM/31440/2017)
2015..2018 - SafeCloud - Secure and Resilient Cloud Architecture - Horizon 2020 Project Reference 653884

Management Positions

2022..2024 - Executive Commission Member for the Finance Area of the Department of Computer Science and Engineering (DEI) of IST
2020..2022 - Executive Coordinator of the Distributed, Parallel and Secure Systems (DPSS) scientific area of INESC-ID

Participation in the Community

Conference Organization Committees

Program Co-Chair. NCA 2022. 21st IEEE International Symposium on Network Computing and Applications. Online Conference. December 14-16, 2022.
Publication Chair. EDCC 2020. 16th European Dependable Computing Conference. Munich, Germany. September 7-10, 2020.
Meeting Organizer. IST-NAV PriVeil: Privacy-preserving Threat Information Sharing. Teleconference. July 3rd, 2020.
Program Chair. SureThing Workshop: Advances in Internet of Things and Location. Hotel Roma, Lisboa, Portugal. January 10th, 2020.
Sponsorship Chair. EDBT/ICDT 2019. 22nd International Conference on Extending Database Technology / 22nd International Conference on Database Theory. Lisbon, Portugal. March 26-29, 2019. Co-chair: João Coelho Garcia.
Track Chair. Segurança de Sistemas de Computadores e Comunicações. INFórum 2015. Simpósio de Informática. Co-chair: Miguel Correia.
Workshop & Demo Chair. IoT 2014. 4th International Conference on the Internet of Things. Cambridge MA, USA. October 6-8, 2014. Co-chairs: Daniel Engels, Prasanna Kalansuriya.

Invited Talks

May 2022. Cibersegurança: da Engenharia à Política. Colégio de Engenharia Informática da Ordem dos Engenheiros de Portugal. Teleconferência.
January 2020. SureThing: device location certification for the Internet of Things. Technical University of Munich (TUM), Germany.
December 2019. SureThing: device location certification for the Internet of Things. Universidade de Aveiro, Portugal.
December 2018. SureThing: device location certification for the Internet of Things. InfoBlender seminar. HASLab, INESC TEC. Universidade do Minho, Braga, Portugal.
October 2018. Security and Privacy for IoT and Cloud. Department of Computer Science and Engineering seminar. Instituto Superior Técnico, Universidade de Lisboa.
April 2018. Security and Privacy for IoT and Cloud. Distributed Systems Group seminar.
May 2017. Rastreabilidade na Internet das (muitas) Coisas. Jornadas da Ciência da Informação. Universidade do Porto.
September 2016. Security and Privacy for IoT and Cloud. Joint INESC-ID and Altran seminar.
September 2016. Security and Privacy for IoT and Cloud. Chair of Network Architectures and Services staff meeting. TU Munich, Germany.

Program Committees

IEEE WF-IoT 2024. IEEE World Forum on Internet of Things. Ottawa, Canada.
INFórum 2024. Simpósio de Informática. Faculdade de Ciências, Universidade de Lisboa, Portugal.
ARES 2024. 19th International Conference on Availability, Reliability and Security. Vienna, Austria.
SECRYPT 2024. 21st International Conference on Security and Cryptography. Dijon, France.
IFIP SEC 2024. 39th International Conference on ICT Systems Security and Privacy Protection. Edinburgh, Scotland, UK.
IEEE RFID 2024. 18th IEEE International Conference on RFID. Boston, MA, USA.
ACM SAC 2024, NET Track. 39th ACM/SIGAPP Symposium on Applied Computing, Track on Computer Networking. Avila, Spain.
ARES 2023. 18th International Conference on Availability, Reliability and Security. Benevento, Italy.
SECRYPT 2023. 20th International Conference on Security and Cryptography. Rome, Italy.
IFIP SEC 2023. 38th International Conference on ICT Systems Security and Privacy Protection. Poznan, Poland.
Manage-IoT 2023. 3rd IEEE/IFIP International Workshop on Internet of Things Management. Miami, FL, USA.
DPSC 2023. Digital Privacy and Security Conference. Porto, Portugal.
CSR 2023. International Conference on Cybersecurity and Resilience. Venice, Italy.
NCA 2022. 21st IEEE International Symposium on Network Computing and Applications. Online Conference.
IoT 2022. International Conference on the Internet of Things. TU Delft, Netherlands.
INFórum 2022. Simpósio de Informática. Politécnico da Guarda, Portugal.
ENSD 2022. Encontro Nacional de Sistemas Distribuídos. Évora, Portugal.
IFIP SEC 2022. 37th International Conference on ICT Systems Security and Privacy Protection. Copenhagen, Denmark.
IEEE RFID 2022. IEEE International Conference on RFID. Las Vegas, NV, USA.
HPDB 2021. Workshop on High-Performance and Reliable Big Data (co-located with SRDS). On-line, virtual event.
IoT-SecFor 2021. International Workshop on Security and Forensics of IoT (held in conjunction with ARES). On-line, virtual event.
NCA 2021. 20th IEEE International Symposium on Network Computing and Applications. Online Conference.
CSR 2021. IEEE International Conference on Cyber Security and Resilience. On-line, virtual event.
INFórum 2021. Simpósio de Informática. ISEL, Portugal.
IEEE RFID 2021. 15th IEEE International Conference on RFID. Atlanta, GA, USA.
IFIP SEC 2021. 36th International Conference on ICT Systems Security and Privacy Protection. Oslo, Norway.
NCA 2020. 19th IEEE International Symposium on Network Computing and Applications. Online Conference.
IFIP SEC 2020. 35th International Conference on ICT Systems Security and Privacy Protection. Maribor, Slovenia.
IEEE RFID 2020. 14th IEEE International Conference on RFID. Online.
IoT-SecFor 2019. International Workshop on Security and Forensics of IoT (held in conjunction with ARES). University of Kent, Canterbury, UK.
NCA 2019. 18th IEEE International Symposium on Network Computing and Applications. Cambridge, MA, USA.
INFórum 2019. Simpósio de Informática. Universidade do Minho, Portugal.
IFIP SEC 2019. 34th International Conference on ICT Systems Security and Privacy Protection. Lisbon, Portugal.
IEEE RFID 2019. 13th IEEE International Conference on RFID. Phoenix, AZ, USA.
DOMINOS 2019. IFIP/IEEE International Symposium on Integrated Network Management (IM), Decentralized Orchestration and Management of Distributed Heterogeneous Things Workshop. Washington, DC, USA.
NCA 2018. 17th IEEE International Symposium on Network Computing and Applications. Cambridge, MA, USA.
IEEE RFID 2018. 12th IEEE International Conference on RFID. Orlando, FL, USA.
DOMINOS 2018. IEEE/IFIP Network Operations and Management Symposium (NOMS), Decentralized Orchestration and Management of Distributed Heterogeneous Things Workshop. Taipei, Taiwan.
IoT-SecFor 2018. International Workshop on Security and Forensics of IoT (held in conjunction with ARES). University of Hamburg, Germany.
INFórum 2018. Simpósio de Informática. Universidade de Coimbra, Portugal.
NCA 2017. IEEE International Symposium on Network Computing and Applications. Cambridge, MA, USA.
INFórum 2017. Simpósio de Informática. Universidade de Aveiro, Portugal.
ICITST 2016. International Conference for Internet Technology and Secured Transactions. Barcelona, Spain.
INFórum 2016. Simpósio de Informática. Instituto Superior Técnico, Universidade de Lisboa, Portugal.
IEEE RFID-TA 2015. IEEE International Conference on RFID Technology and Applications. Tokyo, Japan.
INFórum 2015. Simpósio de Informática. Universidade da Beira Interior, Covilhã, Portugal.
IEEE RFID 2013. IEEE International Conference on RFID. Orlando, FL, USA.
ICITST 2011. International Conference for Internet Technology and Secured Transactions. Abu Dhabi, UAE.

Peer Reviews

Journals

2023 Computers & Security (COSE) (Print ISSN: 0167-4048, Online ISSN: 1872-6208)
2022 International Journal of Digital Earth (Print ISSN: 1753-8947, Online ISSN: 1753-8955)
2021 Transactions on Emerging Telecommunications Technologies (Online ISSN 2161-3915)
2021 IEEE Access (E-ISSN 2169-3536)
2020 IEEE Access (E-ISSN 2169-3536)
2019 IEEE Journal of Biomedical and Health Informatics (ISSN 2168-2194, E-ISSN 2168-2208)
2018 i-ETC: ISEL Academic Journal of Electronics Telecommunications and Computers (ISSN 2182-4010)
2018 IEEE Internet of Things Journal (ISSN 2327-4662)
2018 IET Software (Online ISSN 1751-8814, Print ISSN 1751-8806)
2014 IEEE Transactions on Network and Service Management (ISSN 1932-4537)
2010 Journal of Systems and Software (Elsevier) (ISSN 0164-1212)

Conferences

CloudTech 2023. 6th IEEE International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications. Marrakesh, Morocco.
WF-IoT 2023. 9th World Forum on Internet of Things. Aveiro, Portugal.
MWSCAS 2023. 66th IEEE International Midwest Symposium on Circuits and Systems. Phoenix, AZ, USA.
IEEE RFID 2023. 1th International Conference on RFID. Seattle, WA, USA.
ECIS 2023. 31st European Conference on Information Systems. Kristiansand, Norway.
IoT 2022. 12th International Conference on the Internet of Things. TU Delft, Netherlands.
INFórum 2022. 13º Simpósio de Informática. Politécnico da Guarda, Portugal.
SBAC-PAD 2021. IEEE 32nd International Symposium on Computer Architecture and High Performance Computing. Porto, Portugal.
INFórum 2021. 12º Simpósio de Informática. Instituto Superior de Engenharia de Lisboa, Portugal.
Euro-Par 2021. 27th International European Conference on Parallel and Distributed Computing. Lisbon, Portugal.
NCA 2020. 19th IEEE International Symposium on Network Computing and Applications. Online Conference.
IEEE-iSES 2020. 6th IEEE International Symposium on Smart Electronic Systems. Chennai, India.
IEEE RFID 2020. 14th IEEE International Conference on Radio Frequency Identification. Online Conference.
IFIP SEC 2020. 35th International Conference on ICT Systems Security and Privacy Protection. Maribor, Slovenia.
NCA 2019. 18th IEEE International Symposium on Network Computing and Applications. Cambridge, MA, USA.
IFIP SEC 2019. 34th International Conference on ICT Systems Security and Privacy Protection. Lisbon, Portugal.
INFórum 2019. 11º Simpósio de Informática. Universidade do Minho, Guimarães, Portugal.
IEEE RFID 2019. 13th IEEE International Conference on Radio Frequency Identification. Phoenix, AZ, USA.
NCA 2018. 17th IEEE International Symposium on Network Computing and Applications. Cambridge, MA, USA.
INSCI 2018. 4th International Conference on Internet Science. St. Petersburg, Russia.
INFórum 2018. 10º Simpósio de Informática. Universidade de Coimbra, Portugal.
IEEE RFID 2018. 12th IEEE International Conference on Radio Frequency Identification. Orlando, FL, USA.
NCA 2017. 16th IEEE International Symposium on Network Computing and Applications. Cambridge, MA, USA.
SECRYPT 2017. International Conference on Security and Cryptography. Madrid, Spain.
IEEE RFID 2017. 11th IEEE International Conference on Radio Frequency Identification. Phoenix, AZ, USA.
EDBT 2017. International Conference on Extending Database Technology. Venice, Italy.
SECRYPT 2016. International Conference on Security and Cryptography. Lisbon, Portugal.
SpaCCS 2016. International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage. Zhangjiajie, China.
INFórum 2016. 8º Simpósio de Informática. Instituto Superior Técnico, Universidade de Lisboa, Portugal.
IEEE RFID 2016. 10th IEEE International Conference on Radio Frequency Identification. Orlando, FL, USA.
INFórum 2015. 7º Simpósio de Informática. Universidade da Beira Interior, Portugal.
IEEE RFID 2015. 9th IEEE International Conference on Radio Frequency Identification. San Diego, CA, USA.
IEEE RFID-TA 2015. 6th IEEE International Conference on RFID Technology and Applications. Tokyo, Japan.
IoT 2014. 4th International Conference on the Internet of Things. Cambridge, MA, USA.
IEEE RFID 2014. 8th IEEE International Conference on Radio Frequency Identification. Orlando, FL, USA.
ISWTA 2013. IEEE Symposium on Wireless Technology & Applications. Kuching, Malaysia.
IEEE RFId 2013. 7th IEEE International Conference on Radio Frequency Identification. Orlando, FL, USA.
ICITST 2011. 6th International Conference on Internet Technology and Secured Transactions. UAE.
UbiComp 2011. 13th International Conference on Ubiquitous Computing. Beijing, China.
IEEE RFID 2009. 3rd IEEE International Conference on Radio-Frequency Identification. Orlando, FL, USA.

Workshops

NOMS 2023. IEEE/IFIP Network Operations and Management Symposium. Miami, FL, USA.
ENSD 2022. Encontro Nacional de Sistemas Distribuídos. Évora, Portugal.
NOMS 2022. IEEE/IFIP Network Operations and Management Symposium. Budapest, Hungary.
HPDB 2021. Workshop on High-Performance and Reliable Big Data (co-located with SRDS 2021). Virtual format.
IoT-SECFOR 2021. 5th International Workshop on Security and Forensics of IoT (held in conjunction with ARES). All-digital conference.
Manage-IoT 2021. 1st IEEE/IFIP International Workshop on Internet of Things Management. Bordeaux, France (Virtual).
IoT-SECFOR 2019. 3rd International Workshop on Security and Forensics of IoT ( held in conjunction with ARES). Canterbury, UK.
NOMS 2019. IEEE/IFIP Network Operations and Management Symposium. Washington, DC, USA.
WSDF 2018. 11th International Workshop on Digital Forensics (held in conjunction with ARES). Hamburg, Germany.
NOMS DOMINOS 2018. IEEE/IFIP Network Operations and Management Symposium, Decentralized Orchestration and Management of Distributed Heterogeneous Things Workshop. Taipei, Taiwan.
MobiApps 2017. International Workshop on Mobile Applications. Prague, Czech Republic.

Member of Academic Evaluation Committees

Doctorate's

2022-05-24 - Positioning Services in Different Wireless Networks: A Development and Security Perspective - University of Jyväskylä
2021-11-26 - Holistic Performance and Scalability Analysis for Large-Scale Distributed Systems - Universidade do Minho
2019-11-14 - (pre-thesis) - End-to-End Software-Defined Security for Big Data Ecosystem - Universidade do Minho

2016-07-11 - Energy-aware Service Provisioning in P2P-assisted Cloud Ecosystems - Universitat Politécnica de Barcelona

Master's

2023-06-19 - Networking in Virtual Container Networks - IST, UL
2022-12-09 - Gestão de permissões e acesso a dados para Hyperledger Fabric - U Minho
2022-12-07 - Sistemas de Deteção de Intrusão utilizando Machine Learning - FC, U Porto
2022-11-25 - Extensible and Flexible Multi-Factor Authentication for an Online Banking Platform - IST, UL
2022-11-15 - Military Cryptographic Material Manager - IST, UL
2022-11-11 - XTraN Green Driving App - IST, UL
2022-11-10 - A secure data dissemination scheme supporting conjunctive keyword searchable encryption for connected vehicle networks - IST, UL
2022-11-09 - XTraN Reports and Dashboards - IST, UL
2022-06-22 - Smart Home Energy Management - IST, UL
2021-12-14 - Forensic Acquisition of File Systems with Parallel Processing of Digital Artifacts to Generate Early Case Assessment Report - IP Beja
2021-11-23 - Constrained IoT authentication in Cloud services - IST, UL
2021-11-23 - Internet Traffic Anomaly Warning Tool - IST, UL
2021-11-23 - IoT Solution for Rental Houses - IST, UL
2021-11-18 - Seamless ticketing SDK - IST, UL
2021-11-17 - Blockchain based platform for Edge Computing as a service (ECaaS) - IST, UL
2021-11-15 - BLE (Bluetooth Low Energy) For Public Transportation Contactless Card Emulation - IST, UL
2021-11-15 - A Static Analysis-based Platform-as-Service to Improve the Quality of Smart Contracts - IST, UL
2021-09-20 - Permissão Para Partilha Seletiva em Ambientes IoT / Selective Sharing Permissioning in IoT Environments - U Aveiro
2021-07-13 - Sistema de Deteção de Intrusões em Ambientes IoT - U Coimbra
2021-01-29 - CCalc: Cloud Calculator for the Public Administration - IST, UL
2021-01-19 - Drones for Intralogistics using IoT - IST, UL
2021-01-19 - Software-based Framework for Drone Swarm Communication - IST, UL
2020-10-02 - Sistema de bilhética com QR Code seguros e com um novo sistema de pagamento - IST, UL
2020-09-30 - Confirmação Automática de Presenças com IoT - IST, UL
2020-09-28 - DynamicPOI: Middleware for developing exhibition navigation applications - IST, UL
2020-02-05 - Cyber Situational Awareness Dashboard for Information Security - Academia Militar
2019-12-19 - RideShare: Trustworthy ridesharing evidences for a rewarding system - U Aveiro
2019-11-28 - Cibersegurança em Cidades Inteligentes - IST, UL
2019-11-28 - Multi-Cloud Deployment and Execution of Earth Observation Services - IST, UL
2019-11-22 - An Ecosystem for Securing Vehicle-to-Everything Communication - IST, UL
2019-11-21 - Migration of Legacy Applications to the Cloud - IST, UL
2019-11-19 - Application for Defining Complex Smart Home Behavior - IST, UL
2019-11-15 - Blockchain for Academic Records - IST, UL
2018-12-03 - Polyglot: Sistema poliglota de processamento de dados - U Minho
2018-12-03 - Aplicações Web com requisitos de armazenamento e processamento privados - U Minho
2018-11-19 - Dynamic OSINT System Sourcing from Social Networks - UBI
2018-11-08 - Detection of Botnet Activity via Machine Learning - IST, UL
2018-11-06 - Secure Model of Web APIs development in the Cloud - IST, UL
2018-06-06 - Monitorização de Pessoas em Ambiente Doméstico - IST, UL
2018-06-05 - Service Integration Framework for TIBCO ActiveMatrix BusinessWorks 6 Integration Framework - IST, UL
2018-05-28 - Mobility Patterns through Mobile App for Public Transport Users - IST, UL
2017-11-10 - Internet Of Things como suporte a Seguros de Saúde - IST, UL
2017-11-08 - BikeApp - Rewarding App for Cyclists - IST, UL
2017-05-30 - Mecanismo de Segurança Aplicável à Difusão de Conteúdos Multimedia Adaptativos e Escaláveis em Redes Peer-to-Peer - IST, UL
2016-12-20 - Integration of browser-to-browser architectures with third party legacy cloud storage - FCT, UNL
2016-11-18 - Dynamic OSINT System Sourcing from Social Networks - UBI
2016-11-18 - Forensic Box for Quick Network-Based Security Assessments - UBI
2016-11-11 - Identity Management for Hyper-Linked Entities in reTHINK - IST, UL
2016-11-07 - Security Policies Support for the reTHINK Web Service Architecture, IST, UL
2016-07-19 - Data Security Mechanisms for IoT - U Aveiro
2016-06-02 - ShopAssist - A Unified, Interactive, Location-Aware System for Shopping - IST, UL
2016-05-30 - Storekeeper: A Security-Enhanced Cloud Storage Aggregation Service - IST, UL
2015-11-11 - Kit Kat NFC - Emulação de título de transporte seguro em telemóvel Android - IST, UL
2015-11-10 - Reliable electronic certification on mobile devices - IST, UL
2015-11-06 - Attendance Registration and Occupancy Estimation using Indoor Positioning Systems - IST, UL
2015-07-13 - An ABAC Framework for IoT Applications Based on the OASIS XACML Standard - U Aveiro
2015-06-05 - Mobile application for playing a localized story - IST, UL

Bachelor's

2023-07-17 - IoT System for pH Monitoring in Industrial Facilities - ISEL
2003-10-03 - Demographic evolutionary algorithms - IST, UTL
2003-07-22 - Web Services distributed application - IST, UTL

Professional High-school

2020, 2021, 2023 - Committee Member for the evaluation of PAP (Prova de Aptidão Profissional (PAP) -- Professional Aptitude Evaluation). Colégio de São José do Ramalhão, Sintra, Portugal.

Miguel L. Pardal

Miguel L. Pardal

In this page you can find information on my collaborations and scientific service.

You can see my publications page to learn more about my research.

Page layout credits:
Matthew James Taylor