Miguel L. Pardal

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 43

Top Topics

Web Applications

Distributed Systems

Communication Channels

Top Venues

Publications

Guilherme Saraiva, Filipe Apolinário, Miguel L. Pardal
IM-DISCO: Invariant Mining for Detecting IntrusionS in Critical Operations. ESORICS Workshops (2) (2023)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service. IEEE Trans. Cloud Comput. 11 (2) (2023)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning. IEEE Access 11 (2023)
Miguel L. Pardal, A. Sainte-Marie, A. Reboul-Salze, Ricardo A. Fonseca, Jorge Vieira
RaDiO: An efficient spatiotemporal radiation diagnostic for particle-in-cell codes. Comput. Phys. Commun. 285 (2023)
Francesco Pollicino, Samih Eisa, Pedro M. Rosa, Miguel L. Pardal, Mirco Marchetti
Decentralized position detection for moving vehicles. VTC2023-Spring (2023)
Ricardo Moura, Ricardo Lopes, David R. Matos, Miguel L. Pardal, Miguel Correia
MultiTLS: using multiple and diverse ciphers for stronger secure channels. Comput. Secur. 132 (2023)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Automatic Generation of Distributed Algorithms with Generative AI. DSN-S (2023)
David R. Matos, Miguel L. Pardal, António Rito Silva, Miguel Correia
μVerum: Intrusion Recovery for Microservice Applications. IEEE Access 11 (2023)
David R. Matos, Miguel L. Pardal, Miguel Correia
Sanare: Pluggable Intrusion Recovery for Web Applications. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Miguel Ferreira, André Neves, Rodrigo Gorjão, Carlos Cruz, Miguel L. Pardal
Smart meter data processing: a showcase for simple and efficient textual processing. CoRR (2022)
João Antunes, Miguel L. Pardal, Luísa Coheur
A Study on the Best Way to Compress Natural Language Processing Models. FUZZ-IEEE (2022)
Ricardo Grade, Samih Eisa, Miguel L. Pardal
Bluetooth Peer-to-Peer Location Certification with a Gamified Mobile Application. NCA (2022)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Learning to generate Reliable Broadcast Algorithms. CoRR (2022)
Lucas H. Vicente, Samih Eisa, Miguel L. Pardal
LoCaaS: Location-Certification-as-a-Service. NCA (2022)
Filipe Apolinário, Nelson Escravana, Éric Hervé, Miguel L. Pardal, Miguel Correia
FingerCI: generating specifications for critical infrastructures. SAC (2022)
Duarte M. Nascimento, Miguel Ferreira, Miguel L. Pardal
Does Big Data Require Complex Systems? A Performance Comparison Between Spark and Unicage Shell Scripts. CoRR (2022)
Rui Claro, Samih Eisa, Miguel L. Pardal
Lisbon Hotspots: Wi-Fi access point dataset for time-bound location proofs. CoRR (2022)
Rafael Figueiredo, Samih Eisa, Miguel L. Pardal
SureRepute: Reputation System for Crowdsourced Location Witnesses. NCA (2022)
João Tiago, Samih Eisa, Miguel L. Pardal
SureSpace: orchestrating beacons and witnesses to certify device location. SAC (2022)
Filipe Apolinário, João Guiomar, Éric Hervé, Sven Hrastnik, Nelson Escravana, Miguel L. Pardal, Miguel Correia
ComSEC: Secure Communications for Baggage Handling Systems. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (2022)
Miguel C. Francisco, Samih Eisa, Miguel L. Pardal
Secure protocol buffers for Bluetooth Low-Energy communication with wearable devices. NCA (2021)
Pedro M. Rosa, Miguel L. Pardal, Gabriel Pestana
Poster: The ROAD to resilient location for the Internet of Vehicles. VNC (2021)
Gabriel A. Maia, Rui L. Claro, Miguel L. Pardal
CROSS City: Wi-Fi Location Proofs for Smart Tourism. ADHOC-NOW (2020)
Filipe F. Martins, David R. Matos, Miguel L. Pardal, Miguel Correia
Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum. NCA (2020)
Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia
MultiTLS: Secure communication channels with cipher suite diversity. IACR Cryptol. ePrint Arch. 2020 (2020)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel P. Correia
MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks. MobiQuitous (2020)
Miguel Amaral, Miguel L. Pardal, Hugues Mercier, Miguel Matos
FaultSee: Reproducible Fault Injection in Distributed Systems. EDCC (2020)
Ricardo Miranda, Miguel L. Pardal, António Grilo
Sensmart: sensor data market for the internet of things. SAC (2020)
Henrique F. Santos, Rui L. Claro, Leonardo S. Rocha, Miguel L. Pardal
STOP: A Location Spoofing Resistant Vehicle Inspection System. ADHOC-NOW (2020)
Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia
MultiTLS: Secure Communication Channels with Cipher Suite Diversity. SEC (2020)
Rui Claro, José Portêlo, Miguel L. Pardal, Raquel Pinho
Big Data Privacy by Design Computation Platform. LOD (2018)
David R. Matos, Miguel L. Pardal, Pedro Adão, António Rito Silva, Miguel Correia
Securing Electronic Health Records in the Cloud. P2DS@EuroSys (2018)
Filipe Apolinario, Miguel L. Pardal, Miguel Correia
S-Audit: Efficient Data Integrity Verification for Cloud Storage. TrustCom/BigDataSE (2018)
Marcus Gomes, Miguel L. Pardal
Cloud vs Fog: assessment of alternative deployments for a latency-sensitive IoT application. ANT/SEIT (2018)
João Ferreira, Miguel L. Pardal
Witness-Based Location Proofs for Mobile Devices. NCA (2018)
Diogo Calado, Miguel L. Pardal
Tamper-Proof Incentive Scheme for Mobile Crowdsensing Systems. NCA (2018)
João M. P. Moreira, Helena Galhardas, Miguel L. Pardal
LeanBench: comparing software stacks for batch and query processing of IoT data. ANT/SEIT (2018)
David R. Matos, Miguel L. Pardal, Georg Carle, Miguel Correia
RockFS: Cloud-backed File System Resilience to Client-Side Attacks. Middleware (2018)
David R. Matos, Miguel L. Pardal, Miguel Correia
Rectify: black-box intrusion recovery in PaaS clouds. Middleware (2017)
André Joaquim, Miguel L. Pardal, Miguel Correia
Vulnerability-Tolerant Transport Layer Security. OPODIS (2017)
Karan Balu, Miguel L. Pardal, Miguel Correia
DARSHANA: Detecting route hijacking for communication confidentiality. NCA (2016)
André Joaquim, Miguel L. Pardal, Miguel Correia
vtTLS: A vulnerability-tolerant communication protocol. NCA (2016)
Diogo Raposo, Miguel L. Pardal, Luís E. T. Rodrigues, Miguel Correia
MACHETE: Multi-path communication for security. NCA (2016)
Miguel L. Pardal, José Alves Marques
TrakChain Estimates Costs for Track and Trace in the Internet of (many) Things. ERCIM News 2015 (101) (2015)
Miguel L. Pardal, Joana Paulo Pardal, José Alves Marques
Improving Web Services Performance, One Step at a Time. CLOSER (2012)
Miguel L. Pardal, Mark Harrison, Sanjay E. Sarma, José Alves Marques
Enforcing RFID data visibility restrictions using XACML security policies. RFID-TA (2012)
Miguel L. Pardal, Joana Paulo Pardal, José Alves Marques
Performance Assessment of Web Services in the STEP Framework. CLOSER (Selected Papers) (2012)
Miguel L. Pardal, Mark Harrison, Sanjay E. Sarma, José Alves Marques
Performance assessment of XACML authorizations for Supply Chain Traceability Web Services. CASoN (2012)
Miguel L. Pardal, José Alves Marques
Cost model for RFID-based traceability information systems. RFID-TA (2011)
Carlos Perdigão, Miguel L. Pardal
EPC Virtual Lab: Experiments using an RFID Location Simulator. IWRT (2010)
Miguel L. Pardal, José Alves Marques
Towards the Internet of Things: An Introduction to RFID Technology. IWRT (2010)
João C. C. Leitão, Miguel L. Pardal
Smart Web Services: Systems' Integration Using Policy Driven Automatic Configuration. CENTERIS (2) (2010)