ติดตาม
Miguel Correia
Miguel Correia
INESC-ID, Instituto Superior Técnico, Universidade de Lisboa
ยืนยันอีเมลแล้วที่ tecnico.ulisboa.pt - หน้าแรก
ชื่อ
อ้างโดย
อ้างโดย
ปี
DepSky: dependable and secure storage in a cloud-of-clouds
A Bessani, M Correia, B Quaresma, F André, P Sousa
Acm transactions on storage (tos) 9 (4), 1-33, 2013
10592013
A survey on blockchain interoperability: Past, present, and future trends
R Belchior, A Vasconcelos, S Guerreiro, M Correia
Acm Computing Surveys (CSUR) 54 (8), 1-41, 2021
6992021
Efficient byzantine fault tolerance
GS Veronese, M Correia, AN Bessani, LC Lung, P Verissimo
IEEE Transactions on Computers 62 (1), 16-30, 2011
5152011
Intrusion-tolerant architectures: Concepts and design
PE Veríssimo, NF Neves, MP Correia
Architecting dependable systems, 3-36, 2007
3102007
Lucy in the sky without diamonds: Stealing confidential data in the cloud
F Rocha, M Correia
2011 IEEE/IFIP 41st International Conference on Dependable Systems and …, 2011
2642011
Spin one's wheels? Byzantine fault tolerance with a spinning primary
GS Veronese, M Correia, AN Bessani, LC Lung
2009 28th IEEE International Symposium on Reliable Distributed Systems, 135-144, 2009
2502009
How to tolerate half less one Byzantine nodes in practical distributed systems
M Correia, NF Neves, P Verissimo
Proceedings of the 23rd IEEE International Symposium on Reliable Distributed …, 2004
2252004
Highly available intrusion-tolerant services with proactive-reactive recovery
P Sousa, AN Bessani, M Correia, NF Neves, P Verissimo
IEEE Transactions on Parallel and Distributed Systems 21 (4), 452-465, 2009
2222009
From consensus to atomic broadcast: Time-free Byzantine-resistant protocols without signatures
M Correia, NF Neves, P Veríssimo
The Computer Journal 49 (1), 82-96, 2006
1942006
Detecting and removing web application vulnerabilities with static analysis and data mining
I Medeiros, N Neves, M Correia
IEEE Transactions on Reliability 65 (1), 54-69, 2015
1902015
SCFS: A Shared Cloud-backed File System
A Bessani, R Mendes, T Oliveira, N Neves, M Correia, M Pasin, ...
2014 USENIX Annual Technical Conference (USENIX ATC 14), 169-180, 2014
1792014
DepSpace: a Byzantine fault-tolerant coordination service
AN Bessani, EP Alchieri, M Correia, JS Fraga
Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer …, 2008
1702008
Automatic detection and correction of web application vulnerabilities using data mining to predict false positives
I Medeiros, NF Neves, M Correia
Proceedings of the 23rd international conference on World wide web, 63-74, 2014
1342014
Byzantine consensus in asynchronous message-passing systems: a survey
M Correia, GS Veronese, NF Neves, P Verissimo
International Journal of Critical Computer-Based Systems 2 (2), 141-161, 2011
1342011
BlockSim: blockchain simulator
C Faria, M Correia
2019 IEEE International Conference on Blockchain (Blockchain), 439-446, 2019
1332019
The CRUTIAL way of critical infrastructure protection
AN Bessani, P Sousa, M Correia, NF Neves, P Verissimo
IEEE Security & Privacy 6 (6), 44-51, 2008
1272008
EBAWA: Efficient Byzantine agreement for wide-area networks
GS Veronese, M Correia, AN Bessani, LC Lung
2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010
1192010
The design of a COTS real-time distributed security kernel
M Correia, P Veríssimo, NF Neves
European Dependable Computing Conference, 234-252, 2002
1122002
Resilient intrusion tolerance through proactive and reactive recovery
P Sousa, AN Bessani, M Correia, NF Neves, P Verissimo
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007 …, 2007
1112007
On the Efficiency of Durable State Machine Replication
A Bessani, M Santos, J Felix, N Neves, M Correia
2013 USENIX Annual Technical Conference (USENIX ATC 13), 169-180, 2013
1092013
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20