Miguel L. Pardal

According to our database, Miguel L. Pardal authored at least 51 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

MultiTLS: using multiple and diverse ciphers for stronger secure channels.

Ricardo Moura, Ricardo Lopes, David R. Matos, Miguel L. Pardal, Miguel Correia

Comput. Secur., September, 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., April, 2023

Sanare: Pluggable Intrusion Recovery for Web Applications.

David R. Matos, Miguel L. Pardal, Miguel Correia

IEEE Trans. Dependable Secur. Comput., 2023

MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service.

Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia

IEEE Trans. Cloud Comput., 2023

Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning.

Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia

IEEE Access, 2023

μVerum: Intrusion Recovery for Microservice Applications.

David R. Matos, Miguel L. Pardal, António Rito Silva, Miguel Correia

IEEE Access, 2023

Decentralized position detection for moving vehicles.

Francesco Pollicino, Samih Eisa, Pedro M. Rosa, Miguel L. Pardal, Mirco Marchetti

Proceedings of the 97th IEEE Vehicular Technology Conference, 2023

IM-DISCO: Invariant Mining for Detecting IntrusionS in Critical Operations.

Guilherme Saraiva, Filipe Apolinário, Miguel L. Pardal

Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023

Automatic Generation of Distributed Algorithms with Generative AI.

Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

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

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

Lisbon Hotspots: Wi-Fi access point dataset for time-bound location proofs.

Rui Claro, Samih Eisa, Miguel L. Pardal

CoRR, 2022

Learning to generate Reliable Broadcast Algorithms.

Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia

CoRR, 2022

SureSpace: orchestrating beacons and witnesses to certify device location.

João Tiago, Samih Eisa, Miguel L. Pardal

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

FingerCI: generating specifications for critical infrastructures.

Filipe Apolinário, Nelson Escravana, Éric Hervé, Miguel L. Pardal, Miguel Correia

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

LoCaaS: Location-Certification-as-a-Service.

Lucas H. Vicente, Samih Eisa, Miguel L. Pardal

Proceedings of the 21st IEEE International Symposium on Network Computing and Applications, 2022

Bluetooth Peer-to-Peer Location Certification with a Gamified Mobile Application.

Ricardo Grade, Samih Eisa, Miguel L. Pardal

Proceedings of the 21st IEEE International Symposium on Network Computing and Applications, 2022

SureRepute: Reputation System for Crowdsourced Location Witnesses.

Rafael Figueiredo, Samih Eisa, Miguel L. Pardal

Proceedings of the 21st IEEE International Symposium on Network Computing and Applications, 2022

A Study on the Best Way to Compress Natural Language Processing Models.

João Antunes, Miguel L. Pardal, Luísa Coheur

Proceedings of the IEEE International Conference on Fuzzy Systems, 2022

ComSEC: Secure Communications for Baggage Handling Systems.

Filipe Apolinário, João Guiomar, Éric Hervé, Sven Hrastnik, Nelson Escravana, Miguel L. Pardal, Miguel Correia

Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022

2021

Poster: The ROAD to resilient location for the Internet of Vehicles.

Pedro M. Rosa, Miguel L. Pardal, Gabriel Pestana

Proceedings of the 13th IEEE Vehicular Networking Conference, 2021

Secure protocol buffers for Bluetooth Low-Energy communication with wearable devices.

Miguel C. Francisco, Samih Eisa, Miguel L. Pardal

Proceedings of the 20th IEEE International Symposium on Network Computing and Applications, 2021

2020

MultiTLS: Secure communication channels with cipher suite diversity.

Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia

IACR Cryptol. ePrint Arch., 2020

Sensmart: sensor data market for the internet of things.

Ricardo Miranda, Miguel L. Pardal, António Grilo

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum.

Filipe F. Martins, David R. Matos, Miguel L. Pardal, Miguel Correia

Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 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

Proceedings of the MobiQuitous '20: Computing, 2020

FaultSee: Reproducible Fault Injection in Distributed Systems.

Miguel Amaral, Miguel L. Pardal, Hugues Mercier, Miguel Matos

Proceedings of the 16th European Dependable Computing Conference, 2020

STOP: A Location Spoofing Resistant Vehicle Inspection System.

Henrique F. Santos, Rui L. Claro, Leonardo S. Rocha, Miguel L. Pardal

Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 2020

CROSS City: Wi-Fi Location Proofs for Smart Tourism.

Gabriel A. Maia, Rui L. Claro, Miguel L. Pardal

Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 2020

2018

S-Audit: Efficient Data Integrity Verification for Cloud Storage.

Filipe Apolinario, Miguel L. Pardal, Miguel Correia

Proceedings of the 17th IEEE International Conference On Trust, 2018

Witness-Based Location Proofs for Mobile Devices.

João Ferreira, Miguel L. Pardal

Proceedings of the 17th IEEE International Symposium on Network Computing and Applications, 2018

Tamper-Proof Incentive Scheme for Mobile Crowdsensing Systems.

Diogo Calado, Miguel L. Pardal

Proceedings of the 17th IEEE International Symposium on Network Computing and Applications, 2018

Big Data Privacy by Design Computation Platform.

Rui Claro, José Portêlo, Miguel L. Pardal, Raquel Pinho

Proceedings of the Machine Learning, Optimization, and Data Science, 2018

RockFS: Cloud-backed File System Resilience to Client-Side Attacks.

David R. Matos, Miguel L. Pardal, Georg Carle, Miguel Correia

Proceedings of the 19th International Middleware Conference, 2018

Securing Electronic Health Records in the Cloud.

David R. Matos, Miguel L. Pardal, Pedro Adão, António Rito Silva, Miguel Correia

Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems, 2018

LeanBench: comparing software stacks for batch and query processing of IoT data.

João M. P. Moreira, Helena Galhardas, Miguel L. Pardal

Proceedings of the 9th International Conference on Ambient Systems, 2018

Cloud vs Fog: assessment of alternative deployments for a latency-sensitive IoT application.

Marcus Gomes, Miguel L. Pardal

Proceedings of the 9th International Conference on Ambient Systems, 2018

2017

Vulnerability-Tolerant Transport Layer Security.

André Joaquim, Miguel L. Pardal, Miguel Correia

Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017

Rectify: black-box intrusion recovery in PaaS clouds.

David R. Matos, Miguel L. Pardal, Miguel Correia

Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11, 2017

2016

MACHETE: Multi-path communication for security.

Diogo Raposo, Miguel L. Pardal, Luís E. T. Rodrigues, Miguel Correia

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

vtTLS: A vulnerability-tolerant communication protocol.

André Joaquim, Miguel L. Pardal, Miguel Correia

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

DARSHANA: Detecting route hijacking for communication confidentiality.

Karan Balu, Miguel L. Pardal, Miguel Correia

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

2015

TrakChain Estimates Costs for Track and Trace in the Internet of (many) Things.

Miguel L. Pardal, José Alves Marques

ERCIM News, 2015

2012

Enforcing RFID data visibility restrictions using XACML security policies.

Miguel L. Pardal, Mark Harrison, Sanjay E. Sarma, José Alves Marques

Proceedings of the 2012 IEEE International Conference on RFID-Technologies and Applications, 2012

Performance Assessment of Web Services in the STEP Framework.

Miguel L. Pardal, Joana Paulo Pardal, José Alves Marques

Proceedings of the Cloud Computing and Services Science - Second International Conference, 2012

Improving Web Services Performance, One Step at a Time.

Miguel L. Pardal, Joana Paulo Pardal, José Alves Marques

Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

Performance assessment of XACML authorizations for Supply Chain Traceability Web Services.

Miguel L. Pardal, Mark Harrison, Sanjay E. Sarma, José Alves Marques

Proceedings of the Fourth International Conference on Computational Aspects of Social Networks, 2012

2011

Cost model for RFID-based traceability information systems.

Miguel L. Pardal, José Alves Marques

Proceedings of the 2011 IEEE International Conference on RFID-Technologies and Applications, 2011

2010

EPC Virtual Lab: Experiments using an RFID Location Simulator.

Carlos Perdigão, Miguel L. Pardal

Proceedings of the RFID Technology-Concepts, 2010

Towards the Internet of Things: An Introduction to RFID Technology.

Miguel L. Pardal, José Alves Marques

Proceedings of the RFID Technology-Concepts, 2010

Smart Web Services: Systems' Integration Using Policy Driven Automatic Configuration.

João C. C. Leitão, Miguel L. Pardal

Proceedings of the ENTERprise Information Systems - International Conference, 2010