Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
31
TITLE: ComSEC: Secure Communications for Baggage Handling Systems
AUTHORS: Apolinário, F; Guiomar, J; Hervé, É; Hrastnik, S; Escravana, N; Pardal, ML; Correia, M;
PUBLISHED: 2023, SOURCE: International Workshops which were held in conjunction with 27th European Symposium on Research in Computer Security, ESORICS 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13785 LNCS
AUTHORS: Apolinário, F; Guiomar, J; Hervé, É; Hrastnik, S; Escravana, N; Pardal, ML; Correia, M;
PUBLISHED: 2023, SOURCE: International Workshops which were held in conjunction with 27th European Symposium on Research in Computer Security, ESORICS 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13785 LNCS
32
TITLE: Parsonage-Turner Syndrome Post-COVID-19 Oxford/AstraZeneca Vaccine Inoculation: A Case Report and Brief Literature Review
AUTHORS: Meixedo, Sofia; Correia, Miguel; Lima, Ana Machado; Carneiro, Ismael;
PUBLISHED: 2023, SOURCE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 15, ISSUE: 2
AUTHORS: Meixedo, Sofia; Correia, Miguel; Lima, Ana Machado; Carneiro, Ismael;
PUBLISHED: 2023, SOURCE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 15, ISSUE: 2
INDEXED IN: 
WOS
WOS33
TITLE: Sanare: Pluggable Intrusion Recovery for Web Applications
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
34
TITLE: Do You Need a Distributed Ledger Technology Interoperability Solution?
AUTHORS: Rafael Belchior; Luke Riley; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023, SOURCE: Distributed Ledger Technol. Res. Pract., VOLUME: 2, ISSUE: 1
AUTHORS: Rafael Belchior; Luke Riley; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023, SOURCE: Distributed Ledger Technol. Res. Pract., VOLUME: 2, ISSUE: 1
35
TITLE: Decentralised Autonomous Organisations for Public Procurement
AUTHORS: Monteiro, Felix; Correia, Miguel;
PUBLISHED: 2023, SOURCE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023
AUTHORS: Monteiro, Felix; Correia, Miguel;
PUBLISHED: 2023, SOURCE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023
36
TITLE: Deduplication vs Privacy Tradeoffs in Cloud Storage
AUTHORS: Silva, Rodrigo; Correia, Claudio; Correia, Miguel; Rodrigues, Luis;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
AUTHORS: Silva, Rodrigo; Correia, Claudio; Correia, Miguel; Rodrigues, Luis;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
37
TITLE: Decentralised Autonomous Organisations for Public Procurement
AUTHORS: Felix Monteiro; Miguel Correia;
PUBLISHED: 2023, SOURCE: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023, Oulu, Finland, June 14-16, 2023
AUTHORS: Felix Monteiro; Miguel Correia;
PUBLISHED: 2023, SOURCE: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023, Oulu, Finland, June 14-16, 2023
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP38
TITLE: Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Access, VOLUME: 11
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Access, VOLUME: 11
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP39
TITLE: MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Trans. Cloud Comput., VOLUME: 11, ISSUE: 2
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Trans. Cloud Comput., VOLUME: 11, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP40
TITLE: MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service
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
