Get started
Author

Miguel L. Pardal

Securing Electronic Health Records in the Cloud
2018 · David R. Matos, Miguel L. Pardal, et al. · 23
RockFS
2018 · David R. Matos, Miguel L. Pardal, et al. · International Middleware Conference · 22
S-Audit: Efficient Data Integrity Verification for Cloud Storage
2018 · Filipe Apolinário, Miguel Pardal, et al. · 13
Cloud vs Fog: assessment of alternative deployments for a latency-sensitive IoT application
2018 · Marcus Gomes, Miguel L. Pardal · Procedia Computer Science · 12
PDF
MultiTLS: using multiple and diverse ciphers for stronger secure channels
2023 · Ricardo Moura, Ricardo Lopes, et al. · Computers & Security · 11
Witness-Based Location Proofs for Mobile Devices
2018 · Joao Ferreira, Miguel L. Pardal · IEEE International Symposium on Network Computing and Applications (NCA) · 11
Rectify
2017 · David R. Matos, Miguel L. Pardal, et al. · 10
MACHETE: Multi-path communication for security
2016 · Diogo Raposo, Miguel L. Pardal, et al. · IEEE International Symposium on Network Computing and Applications (NCA) · 10
Automatic Generation of Distributed Algorithms with Generative AI
2023 · Diogo Vaz, David R. Matos, et al. · IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) · 9
Sanare: Pluggable Intrusion Recovery for Web Applications
2021 · David R. Matos, Miguel L. Pardal, et al. · IEEE Transactions on Dependable and Secure Computing · 9
Cost model for RFID-based traceability information systems
2011 · Miguel L. Pardal, Jose Alves Marques · IEEE International Conference on RFID Technologies and Applications (RFID-TA) · 8
CROSS City: Wi-Fi Location Proofs for Smart Tourism
2020 · Gabriel A. Maia, Rui L. Claro, et al. · Lecture notes in computer science · 6
DARSHANA: Detecting route hijacking for communication confidentiality
2016 · Karan Balu, Miguel L. Pardal, et al. · IEEE International Symposium on Network Computing and Applications (NCA) · 6
MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service
2022 · Diogo Vaz, David R. Matos, et al. · IEEE Transactions on Cloud Computing · 5
Performance assessment of XACML authorizations for Supply Chain Traceability Web Services
2012 · Miguel L. Pardal, Mark Harrison, et al. · International Conference on Computational Aspects of Social Networks (CASoN) · 5
Assessment of visibility restriction mechanisms for RFID data Discovery Services
2012 · Miguel L. Pardal, Mark Harrison, et al. · IEEE International Conference on RFID · 5
ComSEC: Secure Communications for Baggage Handling Systems
2023 · Filipe Apolinário, João Guiomar, et al. · Lecture notes in computer science · 4
FingerCI
2022 · Filipe Apolinário, Nelson Escravana, et al. · ACM/SIGAPP Symposium on Applied Computing (SAC) · 4
Tamper-Proof Incentive Scheme for Mobile Crowdsensing Systems
2018 · Diogo Calado, Miguel L. Pardal · IEEE International Symposium on Network Computing and Applications (NCA) · 4
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
2023 · Diogo Vaz, David R. Matos, et al. · IEEE Access · 3
PDF
μVerum: Intrusion Recovery for Microservice Applications
2023 · David R. Matos, Miguel L. Pardal, et al. · IEEE Access · 3
PDF
Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum
2020 · Filipe F. Martins, David R. Matos, et al. · IEEE International Symposium on Network Computing and Applications (NCA) · 3
FaultSee: Reproducible Fault Injection in Distributed Systems
2020 · Miguel Amaral, Miguel L. Pardal, et al. · European Dependable Computing Conference · 3
STOP: A Location Spoofing Resistant Vehicle Inspection System
2020 · Henrique F. Santos, Rui L. Claro, et al. · Lecture notes in computer science · 3
An Integration Methodology Based on the Enterprise Architecture
2008 · Marta Guerra, Miguel Pardal, et al. · 3
Works count: 78
Citation count: 232
H-index: 9
I10-index: 8
Year
Topic
Type