Smart Web Services: Systems' Integration Using Policy Driven Automatic Configuration. - João C. C. Leitão; Miguel L. Pardal (CENTERIS (2), 2010)

Towards the Internet of Things: An Introduction to RFID Technology. - Miguel L. Pardal; José Alves Marques (IWRT, 2010)

EPC Virtual Lab: Experiments using an RFID Location Simulator. - Carlos Perdigão; Miguel L. Pardal (IWRT, 2010)

Cost model for RFID-based traceability information systems. - Miguel L. Pardal; José Alves Marques (RFID-TA, 2011)

Performance assessment of XACML authorizations for Supply Chain Traceability Web Services. - Miguel L. Pardal; Mark Harrison; Sanjay E. Sarma; José Alves Marques (CASoN, 2012)

Improving Web Services Performance, One Step at a Time. - Miguel L. Pardal; Joana Paulo Pardal; José Alves Marques (CLOSER, 2012)

Performance Assessment of Web Services in the STEP Framework. - Miguel L. Pardal; Joana Paulo Pardal; José Alves Marques (CLOSER (Selected Papers), 2012)

Enforcing RFID data visibility restrictions using XACML security policies. - Miguel L. Pardal; Mark Harrison; Sanjay E. Sarma; José Alves Marques (RFID-TA, 2012)

TrakChain Estimates Costs for Track and Trace in the Internet of (many) Things. - Miguel L. Pardal; José Alves Marques (ERCIM News, 2015)

DARSHANA: Detecting route hijacking for communication confidentiality. - Karan Balu; Miguel L. Pardal; Miguel Correia 001 (NCA, 2016)

vtTLS: A vulnerability-tolerant communication protocol. - André Joaquim; Miguel L. Pardal; Miguel Correia 001 (NCA, 2016)

MACHETE: Multi-path communication for security. - Diogo Raposo; Miguel L. Pardal; Luís E. T. Rodrigues; Miguel Correia 001 (NCA, 2016)

Rectify: black-box intrusion recovery in PaaS clouds. - David R. Matos; Miguel L. Pardal; Miguel Correia 001 (Middleware, 2017)

Vulnerability-Tolerant Transport Layer Security. - André Joaquim; Miguel L. Pardal; Miguel Correia 001 (OPODIS, 2017)

Cloud vs Fog: assessment of alternative deployments for a latency-sensitive IoT application. - Marcus Gomes; Miguel L. Pardal (ANT/SEIT, 2018)

LeanBench: comparing software stacks for batch and query processing of IoT data. - João M. P. Moreira; Helena Galhardas; Miguel L. Pardal (ANT/SEIT, 2018)

Securing Electronic Health Records in the Cloud. - David R. Matos; Miguel L. Pardal; Pedro Adão; António Rito Silva; Miguel Correia 001 (P2DS@EuroSys, 2018)

RockFS: Cloud-backed File System Resilience to Client-Side Attacks. - David R. Matos; Miguel L. Pardal; Georg Carle; Miguel Correia 001 (Middleware, 2018)

Big Data Privacy by Design Computation Platform. - Rui Claro; José Portêlo; Miguel L. Pardal; Raquel Pinho (LOD, 2018)

Tamper-Proof Incentive Scheme for Mobile Crowdsensing Systems. - Diogo Calado; Miguel L. Pardal (NCA, 2018)

Witness-Based Location Proofs for Mobile Devices. - João Ferreira; Miguel L. Pardal (NCA, 2018)

S-Audit: Efficient Data Integrity Verification for Cloud Storage. - Filipe Apolinario; Miguel L. Pardal; Miguel Correia 001 (TrustCom/BigDataSE, 2018)

CROSS City: Wi-Fi Location Proofs for Smart Tourism. - Gabriel A. Maia; Rui L. Claro; Miguel L. Pardal (ADHOC-NOW, 2020)

STOP: A Location Spoofing Resistant Vehicle Inspection System. - Henrique F. Santos; Rui L. Claro; Leonardo S. Rocha 001; Miguel L. Pardal (ADHOC-NOW, 2020)

FaultSee: Reproducible Fault Injection in Distributed Systems. - Miguel Amaral; Miguel L. Pardal; Hugues Mercier; Miguel Matos (EDCC, 2020)

MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel P. Correia 001 (MobiQuitous, 2020)

Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum. - Filipe F. Martins; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (NCA, 2020)

Sensmart: sensor data market for the internet of things. - Ricardo Miranda; Miguel L. Pardal; António Grilo 001 (SAC, 2020)

MultiTLS: Secure communication channels with cipher suite diversity. - Ricardo Moura; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IACR Cryptol. ePrint Arch., 2020)

Secure protocol buffers for Bluetooth Low-Energy communication with wearable devices. - Miguel C. Francisco; Samih Eisa; Miguel L. Pardal (NCA, 2021)

Poster: The ROAD to resilient location for the Internet of Vehicles. - Pedro M. Rosa; Miguel L. Pardal; Gabriel Pestana 001 (VNC, 2021)

ComSEC: Secure Communications for Baggage Handling Systems. - Filipe Apolinário; João Guiomar; Éric Hervé; Sven Hrastnik; Nelson Escravana; Miguel L. Pardal; Miguel Correia 001 (CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, 2022)

A Study on the Best Way to Compress Natural Language Processing Models. - João Antunes; Miguel L. Pardal; Luísa Coheur (FUZZ-IEEE, 2022)

SureRepute: Reputation System for Crowdsourced Location Witnesses. - Rafael Figueiredo; Samih Eisa; Miguel L. Pardal (NCA, 2022)

Bluetooth Peer-to-Peer Location Certification with a Gamified Mobile Application. - Ricardo Grade; Samih Eisa; Miguel L. Pardal (NCA, 2022)

LoCaaS: Location-Certification-as-a-Service. - Lucas H. Vicente; Samih Eisa; Miguel L. Pardal (NCA, 2022)

FingerCI: generating specifications for critical infrastructures. - Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L. Pardal; Miguel Correia 001 (SAC, 2022)

SureSpace: orchestrating beacons and witnesses to certify device location. - João Tiago; Samih Eisa; Miguel L. Pardal (SAC, 2022)

Learning to generate Reliable Broadcast Algorithms. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (CoRR, 2022)

Lisbon Hotspots: Wi-Fi access point dataset for time-bound location proofs. - Rui Claro; Samih Eisa; Miguel L. Pardal (CoRR, 2022)

Does Big Data Require Complex Systems? A Performance Comparison Between Spark and Unicage Shell Scripts. - Duarte M. Nascimento; Miguel Ferreira; Miguel L. Pardal (CoRR, 2022)

Smart meter data processing: a showcase for simple and efficient textual processing. - Miguel Ferreira; André Neves; Rodrigo Gorjão; Carlos Cruz; Miguel L. Pardal (CoRR, 2022)

Automatic Generation of Distributed Algorithms with Generative AI. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (DSN-S, 2023)

IM-DISCO: Invariant Mining for Detecting IntrusionS in Critical Operations. - Guilherme Saraiva; Filipe Apolinário; Miguel L. Pardal (ESORICS Workshops (2), 2023)

Decentralized position detection for moving vehicles. - Francesco Pollicino; Samih Eisa; Pedro M. Rosa; Miguel L. Pardal; Mirco Marchetti (VTC2023-Spring, 2023)

μVerum: Intrusion Recovery for Microservice Applications. - David R. Matos; Miguel L. Pardal; António Rito Silva; Miguel Correia 001 (IEEE Access, 2023)

Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IEEE Access, 2023)

MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IEEE Trans. Cloud Comput., 2023)

Sanare: Pluggable Intrusion Recovery for Web Applications. - David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IEEE Trans. Dependable Secur. Comput., 2023)

RaDiO: An efficient spatiotemporal radiation diagnostic for particle-in-cell codes. - Miguel L. Pardal; A. Sainte-Marie; A. Reboul-Salze; Ricardo A. Fonseca; Jorge Vieira (Comput. Phys. Commun., 2023)

MultiTLS: using multiple and diverse ciphers for stronger secure channels. - Ricardo Moura; Ricardo Lopes; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (Comput. Secur., 2023)

SafeWalk: Early Warning System for Pedestrians. - Diogo Dias; Pedro M. Rosa; Miguel L. Pardal (VTC Fall, 2024)

EvoChain: a Recovery Approach for Permissioned Blockchain Applications. - Francisco Faria; Samih Eisa; David R. Matos; Miguel L. Pardal (CoRR, 2024)

Decentralized Storage And Self-Sovereign Identity For Document-Based Claims. - Bruno Gomes; Samih Eisa; David R. Matos; Miguel L. Pardal (CoRR, 2024)

FingerCI: Writing industrial process specifications from network traffic. - Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L. Pardal; Miguel Correia 001 (Int. J. Crit. Infrastructure Prot., 2024)