Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 259



21
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
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
22
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
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
23
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
INDEXED IN: Scopus DBLP CrossRef: 11
24
TITLE: Hephaestus: Modeling, Analysis, and Performance Evaluation of Cross-Chain Transactions
AUTHORS: Belchior, Rafael; Somogyvari, Peter; Pfannschmidt, Jonas; Vasconcelos, Andre; Correia, Miguel ;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 73, ISSUE: 2
INDEXED IN: WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
25
TITLE: Hephaestus: Modelling, Analysis, and Performance Evaluation of Cross-Chain Transactions
AUTHORS: Rafael Belchior; Peter Somogyvari; Jonas Pfannschmid; André Vasconcelos; Miguel Correia ;
PUBLISHED: 2023
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
26
TITLE: Hephaestus: Modelling, Analysis, and Performance Evaluation of Cross-Chain Transactions
AUTHORS: Rafael Belchior; Peter Somogyvari; Jonas Pfannschmid; André Vasconcelos; Miguel Correia ;
PUBLISHED: 2023
INDEXED IN: CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
27
TITLE: Hephaestus: Modelling, Analysis, and Performance Evaluation of Cross-Chain Transactions
AUTHORS: Rafael Belchior; Peter Somogyvari; Jonas Pfannschmid; André Vasconcelos; Miguel Correia ;
PUBLISHED: 2023
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
28
TITLE: I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX
AUTHORS: Daniel Andrade; Joao Nuno Silva ; Miguel Correia ;
PUBLISHED: 2023, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023 in Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
29
TITLE: In-Network ML Feature Computation for Malicious Traffic Detection
AUTHORS: Amado, Joao R.; Pereira, Francisco; Signorello, Salvatore; Correia, Miguel ; Ramos, Fernando M. V.;
PUBLISHED: 2023, SOURCE: ACM SIGCOMM Conference (SIGCOMM) in PROCEEDINGS OF THE 2023 ACM SIGCOMM 2023 CONFERENCE, SIGCOMM 2023
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
30
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
INDEXED IN: WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
Page 3 of 26. Total results: 259.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service