| Witness-based Location Proofs for Mobile Devices J Ferreira, ML Pardal 2018 IEEE 17th International Symposium on Network Computing and Applications …, 2018 | 29 | 2018 |
| RockFS: Cloud-backed File System Resilience to Client-Side Attacks DR Matos, ML Pardal, G Carle, M Correia Proceedings of the 19th International Middleware Conference, 107-119, 2018 | 23 | 2018 |
| Securing Electronic Health Records in the Cloud DR Matos, ML Pardal, P Adão, AR Silva, M Correia Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems, 1, 2018 | 19 | 2018 |
| MACHETE: multi-path communication for security D Raposo, ML Pardal, L Rodrigues, M Correia 2016 IEEE 15th International Symposium on Network Computing and Applications …, 2016 | 13 | 2016 |
| Towards the Internet of Things: An Introduction to RFID Technology. ML Pardal, JA Marques IWRT, 69-78, 2010 | 13 | 2010 |
| Cross city: Wi-fi location proofs for smart tourism GA Maia, RL Claro, ML Pardal Ad-Hoc, Mobile, and Wireless Networks: 19th International Conference on Ad …, 2020 | 12 | 2020 |
| Cloud vs Fog: assessment of alternative deployments for a latency-sensitive IoT application M Gomes, ML Pardal Procedia Computer Science 130, 488-495, 2018 | 12 | 2018 |
| S-Audit: Efficient Data Integrity Verification for Cloud Storage F Apolinário, M Pardal, M Correia 2018 17th IEEE International Conference On Trust, Security And Privacy In …, 2018 | 12 | 2018 |
| Rectify: black-box intrusion recovery in PaaS clouds DR Matos, ML Pardal, M Correia Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, 209-221, 2017 | 12 | 2017 |
| DARSHANA: Detecting route hijacking for communication confidentiality K Balu, ML Pardal, M Correia 2016 IEEE 15th International Symposium on Network Computing and Applications …, 2016 | 12 | 2016 |
| MIRES: Intrusion recovery for applications based on backend-as-a-service D Vaz, DR Matos, ML Pardal, M Correia IEEE Transactions on Cloud Computing 11 (2), 2011-2027, 2022 | 9 | 2022 |
| Sanare: Pluggable intrusion recovery for web applications DR Matos, ML Pardal, M Correia IEEE Transactions on Dependable and Secure Computing 20 (1), 590-605, 2021 | 9 | 2021 |
| Cost model for RFID-based traceability information systems ML Pardal, JA Marques 2011 IEEE International Conference on RFID-Technologies and Applications …, 2011 | 9 | 2011 |
| Assessment of visibility restriction mechanisms for RFID data discovery services ML Pardal, M Harrison, JA Marques 2012 IEEE International Conference on RFID (RFID), 165-171, 2012 | 8 | 2012 |
| MultiTLS: using multiple and diverse ciphers for stronger secure channels R Moura, R Lopes, DR Matos, ML Pardal, M Correia Computers & Security 132, 103342, 2023 | 7 | 2023 |
| Performance Assessment of XACML Authorizations for Supply Chain Traceability Web Services ML Pardal, M Harrison, S Sarma, JA Marques Computational Aspects of Social Networks (CASoN), 2012 Fourth International …, 2012 | 7 | 2012 |
| Customizing Web Services with Extensions in the STEP framework M Pardal, SM Fernandes, J Martins, JP Pardal International Journal of Web Services Practices 3 (1-2), 1-11, 2008 | 7 | 2008 |
| Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum FF Martins, DR Matos, ML Pardal, M Correia 2020 IEEE 19th International Symposium on Network Computing and Applications …, 2020 | 6 | 2020 |
| FaultSee: Reproducible Fault Injection in Distributed Systems M Amaral, ML Pardal, H Mercier, M Matos 2020 16th European Dependable Computing Conference (EDCC), 25-32, 2020 | 6 | 2020 |
| Tamper-Proof Incentive Scheme for Mobile Crowdsensing Systems D Calado, ML Pardal 2018 IEEE 17th International Symposium on Network Computing and Applications …, 2018 | 6 | 2018 |
Miguel CorreiaINESC-ID, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
