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


Participation in the Community

Conference Organization Committees


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


Peer Reviews

Journals

Conferences

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 - Confirmação Automática de Presenç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.
homepage   Miguel L. Pardal   IST   MIT   TUM

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