M. Correia, P. Costa, M. Pasin, A. Bessani, F. Ramos, P. Verissimo. On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds. In First International Workshop on Dependability Issues in Cloud Computing (DISCCO 2012), Oct. 2012 (pdf)
M. Correia, D. G. Ferro, F. Junqueira, M. Serafini. Practical Hardening of Crash-Tolerant Systems, In Proceedings of the Usenix Annual Technical Conference (ATC), 2012 (pdf)
A. N. Bessani, M. Correia, B. Quaresma, F. André, P. Sousa, DEPSKY: Dependable and Secure Storage in a Cloud-of-Clouds. In Proceedings of the European Conference on Computer Systems (EuroSys 2011). April 2011. (pdf)
Francisco Rocha, Salvador Abreu, Miguel Correia. The Final Frontier: Confidentiality and Privacy in the Cloud, IEEE Computer, vol. 44, n. 9, pp. 44-50, Sep. 2011. (abstract/pdf)
M. Correia, N. F. Neves, P. Verissimo. BFT-TO: Intrusion Tolerance with Less Replicas. Computer Journal, Accepted for publication. To appear.
F. Rocha, M. Correia. Lucy in the Sky without Diamonds: Stealing Confidential Data in the Cloud. In Proceedings of the 1st International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments (DCDV, with DSN'11), Hong Kong, June 2011. (pdf)
G.. Nascimento, M. Correia. Anomaly-based Intrusion Detection in Software as a Service. In Proceedings of the 5th Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS, with DSN'11), Hong Kong, June 2011. (pdf)
M. Correia, D. G. Ferro, F. Junqueira, M. Serafini. Practical Hardening of Crash-Tolerant Systems. Poster at the 23rd ACM Symposium on Operating Systems Principles (SOSP), October 2011.
Francisco Rocha, Salvador Abreu, Miguel Correia. The Next Frontier: Managing Confidentiality and Integrity of Data in the Cloud. E-book, IEEE.
Pedro Costa, Marcelo Pasin, Alysson N. Bessani and Miguel Correia. Byzantine Fault-Tolerant MapReduce: Faults Are Not Just Crashes. In Proceedings of the 3rd IEEE International Conference on Cloud Computing Technology and Science (CloudCom), Nov-Dec. 2011. (pdf) Best Paper Award