Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
31
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 
DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP32
TITLE: Automatic Generation of Distributed Algorithms with Generative AI
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP33
TITLE: Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge
AUTHORS: Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLISHED: 2023, SOURCE: CCS
AUTHORS: Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLISHED: 2023, SOURCE: CCS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP34
TITLE: Priapism Secondary to Low-Molecular-Weight Heparins: A Case Report Full Text
AUTHORS: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLISHED: 2023, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 36, ISSUE: 5
AUTHORS: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLISHED: 2023, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 36, ISSUE: 5
INDEXED IN: WOS
WOS35
TITLE: Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters
AUTHORS: Correia, Miguel; Oliveira, Wellington; Cecilio, Jose;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 145
AUTHORS: Correia, Miguel; Oliveira, Wellington; Cecilio, Jose;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 145
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP36
TITLE: Global and Local Explanations for Skin Cancer Diagnosis Using Prototypes
AUTHORS: Santiago, Carlos; Correia, Miguel; Verdelho, Maria Rita; Bissoto, Alceu; Barata, Catarina;
PUBLISHED: 2023, SOURCE: 26th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI) / 8th ISIC Workshop / 1st Care-AI Workshop / 1st MedAGI Workshop / 4th DeCaF Workshop in MEDICAL IMAGE COMPUTING AND COMPUTER ASSISTED INTERVENTION, MICCAI 2023 WORKSHOPS, VOLUME: 14393
AUTHORS: Santiago, Carlos; Correia, Miguel; Verdelho, Maria Rita; Bissoto, Alceu; Barata, Catarina;
PUBLISHED: 2023, SOURCE: 26th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI) / 8th ISIC Workshop / 1st Care-AI Workshop / 1st MedAGI Workshop / 4th DeCaF Workshop in MEDICAL IMAGE COMPUTING AND COMPUTER ASSISTED INTERVENTION, MICCAI 2023 WORKSHOPS, VOLUME: 14393
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP37
TITLE: Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols
AUTHORS: Alysson Bessani; Miguel Correia; Tobias Distler; Rüdiger Kapitza; Paulo Esteves Veríssimo; Jiangshan Yu;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2312.05714
AUTHORS: Alysson Bessani; Miguel Correia; Tobias Distler; Rüdiger Kapitza; Paulo Esteves Veríssimo; Jiangshan Yu;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2312.05714
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP38
TITLE: A survey on business process view integration: past, present and future applications to blockchain
AUTHORS: Belchior, Rafael; Guerreiro, Sergio ; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2022, SOURCE: BUSINESS PROCESS MANAGEMENT JOURNAL, VOLUME: 28, ISSUE: 3
AUTHORS: Belchior, Rafael; Guerreiro, Sergio ; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2022, SOURCE: BUSINESS PROCESS MANAGEMENT JOURNAL, VOLUME: 28, ISSUE: 3
39
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: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP40
TITLE: Anonymous Trusted Data Relocation for TEEs
AUTHORS: Guita, Vasco; Andrade, Daniel; Silva, Joao Nuno ; Correia, Miguel;
PUBLISHED: 2022, SOURCE: 37th IFIP TC 11 International Conference on ICT Systems Security and Privacy Protection (IFIP SEC) in ICT SYSTEMS SECURITY AND PRIVACY PROTECTION (SEC 2022), VOLUME: 648
AUTHORS: Guita, Vasco; Andrade, Daniel; Silva, Joao Nuno ; Correia, Miguel;
PUBLISHED: 2022, SOURCE: 37th IFIP TC 11 International Conference on ICT Systems Security and Privacy Protection (IFIP SEC) in ICT SYSTEMS SECURITY AND PRIVACY PROTECTION (SEC 2022), VOLUME: 648
