Miguel Filipe Leitao Pardal
AuthID: R-001-ZNS
1
TITLE: MULTITLS : using multiple and diverse ciphers for stronger secure channels
AUTHORS: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: COMPUTERS & SECURITY, VOLUME: 132
AUTHORS: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: COMPUTERS & SECURITY, VOLUME: 132
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Decentralized position detection for moving vehicles
AUTHORS: Pollicino, Francesco; Eisa, Samih; Rosa, Pedro; Pardal, Miguel L.; Marchetti, Mirco;
PUBLISHED: 2023, SOURCE: 97th IEEE Vehicular Technology Conference (VTC-Spring) in 2023 IEEE 97TH VEHICULAR TECHNOLOGY CONFERENCE, VTC2023-SPRING, VOLUME: 2023-June
AUTHORS: Pollicino, Francesco; Eisa, Samih; Rosa, Pedro; Pardal, Miguel L.; Marchetti, Mirco;
PUBLISHED: 2023, SOURCE: 97th IEEE Vehicular Technology Conference (VTC-Spring) in 2023 IEEE 97TH VEHICULAR TECHNOLOGY CONFERENCE, VTC2023-SPRING, VOLUME: 2023-June
INDEXED IN: Scopus WOS
Scopus WOS3
TITLE: SureSpace: orchestrating beacons and witnesses to certify device location
AUTHORS: Tiago, Joao; Eisa, Samih; Pardal, Miguel L.;
PUBLISHED: 2022, SOURCE: 37th Annual ACM Symposium on Applied Computing in 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING
AUTHORS: Tiago, Joao; Eisa, Samih; Pardal, Miguel L.;
PUBLISHED: 2022, SOURCE: 37th Annual ACM Symposium on Applied Computing in 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: 21st IEEE International Symposium on Network Computing and Applications, NCA 2022, Boston, MA, USA, December 14-16, 2022 Full Text
AUTHORS: Michele Colajanni; Luca Ferretti; Miguel L Pardal; Dimiter R Avresky;
PUBLISHED: 2022, SOURCE: NCA
AUTHORS: Michele Colajanni; Luca Ferretti; Miguel L Pardal; Dimiter R Avresky;
PUBLISHED: 2022, SOURCE: NCA
INDEXED IN: 
DBLP
DBLP5
TITLE: FingerCI: Generating Specifications for Critical Infrastructures
AUTHORS: Apolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2022, SOURCE: 37th Annual ACM Symposium on Applied Computing in 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING
AUTHORS: Apolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2022, SOURCE: 37th Annual ACM Symposium on Applied Computing in 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING
INDEXED IN: WOS
WOS6
TITLE: MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks
AUTHORS: Vaz, D; Matos, D; Pardal, M; Correia, M;
PUBLISHED: 2021, SOURCE: 17th EAI International Conference on Mobile and Ubiquitous Systems - Computing, Networking and Services (MobiQuitous) in PROCEEDINGS OF THE 17TH EAI INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS SYSTEMS: COMPUTING, NETWORKING AND SERVICES (MOBIQUITOUS 2020)
AUTHORS: Vaz, D; Matos, D; Pardal, M; Correia, M;
PUBLISHED: 2021, SOURCE: 17th EAI International Conference on Mobile and Ubiquitous Systems - Computing, Networking and Services (MobiQuitous) in PROCEEDINGS OF THE 17TH EAI INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS SYSTEMS: COMPUTING, NETWORKING AND SERVICES (MOBIQUITOUS 2020)
INDEXED IN: WOS
WOS7
TITLE: Secure protocol buffers for Bluetooth Low-Energy communication with wearable devices
AUTHORS: Francisco, Miguel C.; Eisa, Samih; Pardal, Miguel L.;
PUBLISHED: 2021, SOURCE: IEEE 20th International Symposium on Network Computing and Applications (NCA) in 2021 IEEE 20TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
AUTHORS: Francisco, Miguel C.; Eisa, Samih; Pardal, Miguel L.;
PUBLISHED: 2021, SOURCE: IEEE 20th International Symposium on Network Computing and Applications (NCA) in 2021 IEEE 20TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
INDEXED IN: WOS
WOS8
TITLE: Sensmart: Sensor Data Market for the Internet of Things
AUTHORS: Ricardo Miranda; Miguel L Pardal; Antonio Grilo;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20)
AUTHORS: Ricardo Miranda; Miguel L Pardal; Antonio Grilo;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20)
INDEXED IN: Scopus WOS
Scopus WOS9
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
10
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
WOS