Miguel Filipe Leitao Pardal
AuthID: R-001-ZNS
1
TITLE: Sanare: Pluggable Intrusion Recovery for Web Applications Full Text
AUTHORS: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, ISSUE: 1
AUTHORS: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, ISSUE: 1
INDEXED IN: 
WOS
WOS2
TITLE: Sanare: Pluggable Intrusion Recovery for Web Applications Full Text
AUTHORS: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, ISSUE: 1
AUTHORS: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, ISSUE: 1
INDEXED IN: WOS
WOS3
TITLE: MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service Full Text
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 11, ISSUE: 2
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 11, ISSUE: 2
INDEXED IN: WOS
WOS4
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 WOS5
TITLE: mu Verum: Intrusion Recovery for Microservice Applications
AUTHORS: Matos, David R.; Pardal, Miguel L.; Silva, Antonio Rito; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
AUTHORS: Matos, David R.; Pardal, Miguel L.; Silva, Antonio Rito; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
INDEXED IN: WOS
WOS6
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 WOS7
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 WOS8
TITLE: A Study on the Best Way to Compress Natural Language Processing Models
AUTHORS: Antunes, Joao; Pardal, Miguel L.; Coheur, Luisa;
PUBLISHED: 2022, SOURCE: IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) / IEEE World Congress on Computational Intelligence (IEEE WCCI) / International Joint Conference on Neural Networks (IJCNN) / IEEE Congress on Evolutionary Computation (IEEE CEC) in 2022 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), VOLUME: 2022-July
AUTHORS: Antunes, Joao; Pardal, Miguel L.; Coheur, Luisa;
PUBLISHED: 2022, SOURCE: IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) / IEEE World Congress on Computational Intelligence (IEEE WCCI) / International Joint Conference on Neural Networks (IJCNN) / IEEE Congress on Evolutionary Computation (IEEE CEC) in 2022 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), VOLUME: 2022-July
INDEXED IN: Scopus WOS
Scopus WOS9
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
DBLP10
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
WOS