logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Miguel Correia

Universidade de Lisboa

41H指数
361论文数
6.3K被引数
收录论文 39
发表时间
logo
Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols剖析解构：关于BFT协议中可信组件的作用
errIEEE Transactions on Computers
IF3.8
err2026-07-21
err0
errOAAI
errAlysson Bessani; Miguel Correia; Tobias Distler; Rüdiger Kapitza; Paulo Esteves-Verissimo; Jiangshan Yu
err分享
err收藏
An efficient blockchain for decentralized ABAC policy decision point一种用于分散ABAC策略决策点的高效区块链
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2025-05-01
err0
PREAI
errHu, Qiwei; Correia, Miguel; Jiang, Tao
err分享
err收藏
Cyber Attacks on Commercial Drones: A Review对商用无人机的网络攻击: 综述
errIEEE ACCESS
IF3.6
err2025-01-01
err2
errOAAI
errBranco, Bruno; Silvestre Serra Silva, Jose; Correia, Miguel
err分享
err收藏
FingerCI: Writing industrial process specifications from network traffic
errINTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION
IF5.3
err2024-12-01
err0
PREAI
errApolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel
err分享
err收藏
A deep dive into blockchain interoperability: why it is needed, progress that has been made over the past decade, how it is currently deployed and used, and likely paths of future development
errCOMMUNICATIONS OF THE ACM
IF12.2
err2024-09-26
err0
PREAI
errBelchior, Rafael; Sussenguth, Jan; Feng, Qi; Hardjono, Thomas; Vasconcelos, Andre; Correia, Miguel
err分享
err收藏
Hephaestus: Modeling, Analysis, and Performance Evaluation of Cross-Chain Transactions
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2024-06-01
err6
errOAAI
errBelchior, Rafael; Somogyvari, Peter; Pfannschmidt, Jonas; Vasconcelos, Andre; Correia, Miguel
err分享
err收藏
Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2023-12-01
err1
errOAAI
errCorreia, Miguel; Oliveira, Wellington; Cecilio, Jose
err分享
err收藏
MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service
errIEEE TRANSACTIONS ON CLOUD COMPUTING
IF5
err2023-04-01
err5
PREAI
errVaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel
err分享
err收藏
Sanare: Pluggable Intrusion Recovery for Web Applications
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2023-01-01
err4
errOAAI
errMatos, David R.; Pardal, Miguel L.; Correia, Miguel
err分享
err收藏
μVerum: Intrusion Recovery for Microservice ApplicationsΜ verum: 微服务应用的入侵恢复
errIEEE ACCESS
IF3.6
err2023-01-01
err0
errOAAI
errMatos, David R.; Pardal, Miguel L.; Silva, Antonio Rito; Correia, Miguel
err分享
err收藏
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
errIEEE ACCESS
IF3.6
err2023-01-01
err0
errOAAI
errVaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel
err分享
err收藏
Integrating an academic management system with blockchain: A case study
errBLOCKCHAIN-RESEARCH AND APPLICATIONS
IF5.6
err2022-12-01
err4
errOAAI
errGuerreiro, Sergio; Ferreira, Joao F.; Fonseca, Tiago; Correia, Miguel
err分享
err收藏
Omega: A Secure Event Ordering Service for the EdgeOmega: 面向边缘的安全事件订购服务
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2022-09-01
err1
PREAI
errCorreia, Claudio; Correia, Miguel; Rodrigues, Luis
err分享
err收藏
Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages通过将编程语言处理为自然语言来静态检测漏洞
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2022-06-01
err5
errOAAI
errMedeiros, Iberia; Neves, Nuno; Correia, Miguel
err分享
err收藏
HERMES: Fault-tolerant middleware for blockchain interoperability
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2022-04-01
err22
errOAAI
errBelchior, Rafael; Vasconcelos, Andre; Correia, Miguel; Hardjono, Thomas
err分享
err收藏
SRX-Secure Data Backup and Recovery for SGX Applications
errIEEE ACCESS
IF3.6
err2022-01-01
err2
errOAAI
errAndrade, Daniel; Silva, Joao; Correia, Miguel
err分享
err收藏
A Survey on Blockchain Interoperability: Past, Present, and Future Trends区块链互操作性调查: 过去、现在和未来趋势
errACM COMPUTING SURVEYS
IF28
err2021-10-04
err224
errOAAI
errBelchior, Rafael; Vasconcelos, Andre; Guerreiro, Sergio; Correia, Miguel
err分享
err收藏
Secure cloud-of-clouds storage with space-efficient secret sharing
errJOURNAL OF INFORMATION SECURITY AND APPLICATIONS
IF3.7
err2021-06-01
err7
PREAI
errNiknia, Ahad; Correia, Miguel; Karimpour, Jaber
err分享
err收藏
Fireplug: Efficient and Robust Geo-Replication of Graph DatabasesFireplug: 高效、稳健的图形数据库异地复制
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2020-08-01
err4
PREAI
errNeiheiser, Ray; Rech, Luciana; Bravo, Manuel; Rodrigues, Luis; Correia, Miguel
err分享
err收藏
SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2019-09-01
err18
PREAI
errMedeiros, Iberia; Beatriz, Miguel; Neves, Nuno; Correia, Miguel
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
江
江涛 (Tao Jiang)
H 指数: 67 · 论文数: 816
L
Luı́s Rodrigues
H 指数: 64 · 论文数: 567
S
Saurabh Bagchi
H 指数: 47 · 论文数: 439
P
Paulo Verı́ssimo
H 指数: 42 · 论文数: 289
Z
Zhengguo Sheng
H 指数: 42 · 论文数: 210
查看更多