| 2026 | SAC | ChainGuards: Verification of Sensed Data using Permissioned Blockchain Technology. | Sara Aguincha, Miguel L. Pardal, Samih Eisa, Emanuel Nunes |
| 2025 | EDCC | ChainGuard: Verified Data Intake for a Track & Trace Blockchain. | Andr Avelar, Samih Eisa, Orlando Remdios, Miguel L. Pardal |
| 2025 | EDCC | Dependable Food Traceability Data Through Blockchain and Database Integration. | Loureno Preto, Samih Eisa, Orlando Remdios, David R. Matos, Miguel L. Pardal |
| 2025 | EDCC | AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems. | Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2025 | NCA | Road Sight Unit: Edge Image Processing for Vehicle Trajectory and Collision Prediction. | Jos Cutileiro, Pedro Rosa, Orlando Remdios, Miguel L. Pardal |
| 2025 | NCA | EvoChain: A Recovery Approach for Permissioned Blockchain Applications. | Francisco Faria, Samih Eisa, David R. Matos, Miguel L. Pardal |
| 2025 | NCA | Bonsai: A Recovery Approach for Ethereum ERC-20 Transactions. | Diogo Melita, David R. Matos, Miguel L. Pardal |
| 2025 | NCA | CC2C: Confidential Channel-to-Channel Data Exchange in a Permissioned Blockchain. | Emanuel Nunes, Samih Eisa, Miguel L. Pardal, Mrio Calha |
| 2025 | VTC | SafeBike: improving collision warnings using wayward path prediction. | Simo Gato, Pedro Rosa, Orlando Remdios, Miguel L. Pardal |
| 2024 | VTC | SafeWalk: Early Warning System for Pedestrians. | Diogo Dias, Pedro M. Rosa, Miguel L. Pardal |
| 2023 | DSN | Automatic Generation of Distributed Algorithms with Generative AI. | Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2023 | ESORICS | IM-DISCO: Invariant Mining for Detecting IntrusionS in Critical Operations. | Guilherme Saraiva, Filipe Apolinrio, Miguel L. Pardal |
| 2023 | VTC | Decentralized position detection for moving vehicles. | Francesco Pollicino, Samih Eisa, Pedro M. Rosa, Miguel L. Pardal, Mirco Marchetti |
| 2022 | ESORICS | ComSEC: Secure Communications for Baggage Handling Systems. | Filipe Apolinrio, Joo Guiomar, ric Herv, Sven Hrastnik, Nelson Escravana, Miguel L. Pardal, Miguel Correia |
| 2022 | NCA | SureRepute: Reputation System for Crowdsourced Location Witnesses. | Rafael Figueiredo, Samih Eisa, Miguel L. Pardal |
| 2022 | NCA | Bluetooth Peer-to-Peer Location Certification with a Gamified Mobile Application. | Ricardo Grade, Samih Eisa, Miguel L. Pardal |
| 2022 | NCA | LoCaaS: Location-Certification-as-a-Service. | Lucas H. Vicente, Samih Eisa, Miguel L. Pardal |
| 2022 | SAC | FingerCI: generating specifications for critical infrastructures. | Filipe Apolinrio, Nelson Escravana, ric Herv, Miguel L. Pardal, Miguel Correia |
| 2022 | SAC | SureSpace: orchestrating beacons and witnesses to certify device location. | Joo Tiago, Samih Eisa, Miguel L. Pardal |
| 2021 | NCA | Secure protocol buffers for Bluetooth Low-Energy communication with wearable devices. | Miguel C. Francisco, Samih Eisa, Miguel L. Pardal |
| 2020 | EDCC | FaultSee: Reproducible Fault Injection in Distributed Systems. | Miguel Amaral, Miguel L. Pardal, Hugues Mercier, Miguel Matos |
| 2020 | Mobiquitous | MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks. | Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel P. Correia |
| 2020 | NCA | Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum. | Filipe F. Martins, David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2020 | SAC | Sensmart: sensor data market for the internet of things. | Ricardo Miranda, Miguel L. Pardal, Antnio Grilo |
| 2020 | SEC | MultiTLS: Secure Communication Channels with Cipher Suite Diversity. | Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2018 | ANT | Cloud vs Fog: assessment of alternative deployments for a latency-sensitive IoT application. | Marcus Gomes, Miguel L. Pardal |
| 2018 | ANT | LeanBench: comparing software stacks for batch and query processing of IoT data. | Joo M. P. Moreira, Helena Galhardas, Miguel L. Pardal |
| 2018 | EuroSys | Securing Electronic Health Records in the Cloud. | David R. Matos, Miguel L. Pardal, Pedro Ado, Antnio Rito Silva, Miguel Correia |
| 2018 | Middleware | RockFS: Cloud-backed File System Resilience to Client-Side Attacks. | David R. Matos, Miguel L. Pardal, Georg Carle, Miguel Correia |
| 2018 | NCA | Tamper-Proof Incentive Scheme for Mobile Crowdsensing Systems. | Diogo Calado, Miguel L. Pardal |
| 2018 | NCA | Witness-Based Location Proofs for Mobile Devices. | Joo Ferreira, Miguel L. Pardal |
| 2018 | TrustCom | S-Audit: Efficient Data Integrity Verification for Cloud Storage. | Filipe Apolinario, Miguel L. Pardal, Miguel Correia |
| 2017 | Middleware | Rectify: black-box intrusion recovery in PaaS clouds. | David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2017 | OPODIS | Vulnerability-Tolerant Transport Layer Security. | Andr Joaquim, Miguel L. Pardal, Miguel Correia |
| 2016 | NCA | DARSHANA: Detecting route hijacking for communication confidentiality. | Karan Balu, Miguel L. Pardal, Miguel Correia |
| 2016 | NCA | vtTLS: A vulnerability-tolerant communication protocol. | Andr Joaquim, Miguel L. Pardal, Miguel Correia |
| 2016 | NCA | MACHETE: Multi-path communication for security. | Diogo Raposo, Miguel L. Pardal, Lus E. T. Rodrigues, Miguel Correia |
| 2012 | CLOSER | Improving Web Services Performance, One Step at a Time. | Miguel L. Pardal, Joana Paulo Pardal, Jos Alves Marques |
| 2012 | CLOSER | Performance Assessment of Web Services in the STEP Framework. | Miguel L. Pardal, Joana Paulo Pardal, Jos Alves Marques |