Miguel Filipe Leitao Pardal
AuthID: R-001-ZNS
11
TITLE: MultiTLS: Secure Communication Channels with Cipher Suite Diversity
AUTHORS: Moura, R; Matos, DR; Pardal, ML; Correia, M ;
PUBLISHED: 2020, SOURCE: 35th IFIP TC 11 International Conference on Information Security and Privacy Protection, SEC 2020 in IFIP Advances in Information and Communication Technology, VOLUME: 580 IFIP
AUTHORS: Moura, R; Matos, DR; Pardal, ML; Correia, M ;
PUBLISHED: 2020, SOURCE: 35th IFIP TC 11 International Conference on Information Security and Privacy Protection, SEC 2020 in IFIP Advances in Information and Communication Technology, VOLUME: 580 IFIP
12
TITLE: Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum
AUTHORS: Filipe F Martins; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2020, SOURCE: 19th IEEE International Symposium on Network Computing and Applications, NCA 2020, Cambridge, MA, USA, November 24-27, 2020
AUTHORS: Filipe F Martins; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2020, SOURCE: 19th IEEE International Symposium on Network Computing and Applications, NCA 2020, Cambridge, MA, USA, November 24-27, 2020
INDEXED IN: 
DBLP
DBLP13
TITLE: Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum
AUTHORS: Martins, FF; Matos, DR; Pardal, ML; Correia, M;
PUBLISHED: 2020, SOURCE: IEEE 19th International Symposium on Network Computing and Applications (NCA) in 2020 IEEE 19TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
AUTHORS: Martins, FF; Matos, DR; Pardal, ML; Correia, M;
PUBLISHED: 2020, SOURCE: IEEE 19th International Symposium on Network Computing and Applications (NCA) in 2020 IEEE 19TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
INDEXED IN: 
WOS
WOS14
TITLE: Cloud vs Fog: Assessment of alternative deployments for a latency-sensitive IoT application
AUTHORS: Gomes, M; Pardal, ML;
PUBLISHED: 2018, SOURCE: 9th International Conference on Ambient Systems, Networks and Technologies, ANT 2018 in Procedia Computer Science, VOLUME: 130
AUTHORS: Gomes, M; Pardal, ML;
PUBLISHED: 2018, SOURCE: 9th International Conference on Ambient Systems, Networks and Technologies, ANT 2018 in Procedia Computer Science, VOLUME: 130
INDEXED IN: 
Scopus
Scopus15
TITLE: S-Audit: Efficient Data Integrity Verification for Cloud Storage
AUTHORS: Filipe Apolinario; Miguel L Pardal; Miguel Correia ;
PUBLISHED: 2018, SOURCE: 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom) / 12th IEEE International Conference on Big Data Science and Engineering (IEEE BigDataSE) in 2018 17TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (IEEE TRUSTCOM) / 12TH IEEE INTERNATIONAL CONFERENCE ON BIG DATA SCIENCE AND ENGINEERING (IEEE BIGDATASE)
AUTHORS: Filipe Apolinario; Miguel L Pardal; Miguel Correia ;
PUBLISHED: 2018, SOURCE: 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom) / 12th IEEE International Conference on Big Data Science and Engineering (IEEE BigDataSE) in 2018 17TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (IEEE TRUSTCOM) / 12TH IEEE INTERNATIONAL CONFERENCE ON BIG DATA SCIENCE AND ENGINEERING (IEEE BIGDATASE)
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP16
TITLE: RockFS: Cloud-backed File System Resilience to Client-Side Attacks
AUTHORS: David R Matos; Miguel L Pardal; Georg Carle; Miguel Correia ;
PUBLISHED: 2018, SOURCE: 19th ACM/IFIP/USENIX International Middleware Conference, Middleware 2018 in Proceedings of the 19th International Middleware Conference, Middleware 2018, Rennes, France, December 10-14, 2018
AUTHORS: David R Matos; Miguel L Pardal; Georg Carle; Miguel Correia ;
PUBLISHED: 2018, SOURCE: 19th ACM/IFIP/USENIX International Middleware Conference, Middleware 2018 in Proceedings of the 19th International Middleware Conference, Middleware 2018, Rennes, France, December 10-14, 2018
INDEXED IN: Scopus DBLP
Scopus DBLP17
TITLE: Tamper-proof Incentive Scheme for Mobile Crowdsensing Systems
AUTHORS: Diogo Calado; Miguel L Pardal;
PUBLISHED: 2018, SOURCE: 17th IEEE International Symposium on Network Computing and Applications (NCA) in 2018 IEEE 17TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
AUTHORS: Diogo Calado; Miguel L Pardal;
PUBLISHED: 2018, SOURCE: 17th IEEE International Symposium on Network Computing and Applications (NCA) in 2018 IEEE 17TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
INDEXED IN: WOS
WOS18
TITLE: Witness-based Location Proofs for Mobile Devices
AUTHORS: Joao Ferreira; Miguel L Pardal;
PUBLISHED: 2018, SOURCE: 17th IEEE International Symposium on Network Computing and Applications (NCA) in 2018 IEEE 17TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
AUTHORS: Joao Ferreira; Miguel L Pardal;
PUBLISHED: 2018, SOURCE: 17th IEEE International Symposium on Network Computing and Applications (NCA) in 2018 IEEE 17TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
INDEXED IN: WOS
WOS19
TITLE: Rectify: black-box intrusion recovery in PaaS clouds
AUTHORS: David R Matos; Miguel L Pardal; Miguel Correia ;
PUBLISHED: 2017, SOURCE: 18th ACM/IFIP/USENIX Middleware Conference, Middleware 2017 in Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11 - 15, 2017
AUTHORS: David R Matos; Miguel L Pardal; Miguel Correia ;
PUBLISHED: 2017, SOURCE: 18th ACM/IFIP/USENIX Middleware Conference, Middleware 2017 in Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11 - 15, 2017
INDEXED IN: Scopus DBLP
Scopus DBLP20
TITLE: Vulnerability-Tolerant Transport Layer Security
AUTHORS: André Joaquim; Miguel L Pardal; Miguel Correia ;
PUBLISHED: 2017, SOURCE: 21st International Conference on Principles of Distributed Systems, OPODIS 2017 in 21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017, VOLUME: 95
AUTHORS: André Joaquim; Miguel L Pardal; Miguel Correia ;
PUBLISHED: 2017, SOURCE: 21st International Conference on Principles of Distributed Systems, OPODIS 2017 in 21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017, VOLUME: 95
INDEXED IN: Scopus DBLP
Scopus DBLP