Miguel Correia
TitleCited byYear
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), 12, 2013
7232013
Intrusion-tolerant architectures: Concepts and design
PE Veríssimo, NF Neves, MP Correia
Architecting dependable systems, 3-36, 2003
2642003
Efficient byzantine fault-tolerance
GS Veronese, M Correia, AN Bessani, LC Lung, P Verissimo
IEEE Transactions on Computers 62 (1), 16-30, 2011
198*2011
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
1812011
Highly available intrusion-tolerant services with proactive-reactive recovery
P Sousa, AN Bessani, M Correia, NF Neves, P Verissimo
IEEE Transactions on Parallel & Distributed Systems, 452-465, 2009
1502009
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
1432004
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
1272006
DepSpace: a Byzantine fault-tolerant coordination service
AN Bessani, EP Alchieri, M Correia, JS Fraga
ACM SIGOPS Operating Systems Review 42 (4), 163-176, 2008
1222008
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
1132014
The design of a COTS real-time distributed security kernel
M Correia, P Verissimo, NF Neves
European Dependable Computing Conference, 234-252, 2002
1062002
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
1042009
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
912007
The CRUTIAL way of critical infrastructure protection
AN Bessani, P Sousa, M Correia, NF Neves, P Verissimo
IEEE Security & Privacy, 44-51, 2008
882008
Low complexity Byzantine-resilient consensus
M Correia, NF Neves, LC Lung, P Veríssimo
Distributed Computing 17 (3), 237-249, 2005
712005
Efficient Byzantine-resilient reliable multicast on a hybrid failure model
M Correia, LC Lung, NF Neves, P Veríssimo
21st IEEE Symposium on Reliable Distributed Systems, 2002. Proceedings., 2-11, 2002
652002
The final frontier: Confidentiality and privacy in the cloud
F Rocha, S Abreu, M Correia
Computer 44 (9), 44-50, 2011
642011
Using attack injection to discover new vulnerabilities
N Neves, J Antunes, M Correia, P Verissimo, R Neves
International Conference on Dependable Systems and Networks (DSN'06), 457-466, 2006
632006
Practical hardening of crash-tolerant systems
M Correia, DG Ferro, FP Junqueira, M Serafini
2012 USENIX Annual Technical Conference (USENIX ATC 12), 453-466, 2012
602012
Anomaly-based intrusion detection in software as a service
G Nascimento, M Correia
2011 IEEE/IFIP 41st International Conference on Dependable Systems and …, 2011
582011
Randomized intrusion-tolerant asynchronous services
H Moniz, NF Neves, M Correia, P Verissimo
International Conference on Dependable Systems and Networks (DSN'06), 568-577, 2006
582006
The system can't perform the operation now. Try again later.
Articles 1–20