A. Bessani, M. Correia, B. Quaresma, F. André, and P. Sousa, DepSky: Dependable and Secure Storage in a Cloud-of-Clouds

Y. Brun and N. Medvidovic, Keeping Data Private while Computing in the Cloud, 2012 IEEE Fifth International Conference on Cloud Computing, p.12
DOI : 10.1109/CLOUD.2012.126

M. Burrows, The Chubby Lock Service for Loosely-coupled Distributed Systems, p.6

M. Castro and B. Liskov, Practical Byzantine Fault Tolerance, p.99

P. Costa, M. Pasin, A. Bessani, and M. Correia, Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes, 2011 IEEE Third International Conference on Cloud Computing Technology and Science
DOI : 10.1109/CloudCom.2011.15

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2267

J. Cowling, D. Myers, B. Liskov, R. Rodrigues, and L. Shrira, HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance, p.6

J. Dean and S. Ghemawat, MapReduce, Communications of the ACM, vol.51, issue.1, pp.107-113, 2008.
DOI : 10.1145/1327452.1327492

D. Denning, A lattice model of secure information flow, Communications of the ACM, vol.19, issue.5, 1976.
DOI : 10.1145/360051.360056

P. Dutta, R. Guerraoui, and M. Vukolic, Best-Case Complexity of Asynchronous Byzantine Consensus, Tech. rep., EPFL, 2005.

K. P. Kihlstrom, L. E. Moser, and P. M. Melliar-smith, Byzantine Fault Detectors for Solving Consensus. The Computer Journal pp, pp.16-35, 2003.

R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E. Wong, Zyzzyva: Speculative Byzantine Fault Tolerance, p.7

H. Kwak, C. Lee, H. Park, and S. Moon, What is Twitter, a social network or a news media?, Proceedings of the 19th international conference on World wide web, WWW '10
DOI : 10.1145/1772690.1772751

L. Lamport, R. Shostak, and M. Pease, The Byzantine Generals Problem, ACM Transactions on Programming Languages and Systems, vol.4, issue.3, pp.382-401, 1982.
DOI : 10.1145/357172.357176

L. Lamport, Future Directions in Distributed Computing. chap. Lower Bounds for Asynchronous Consensus, pp.22-23, 2003.

A. Newell, D. Obenshain, T. Tantillo, C. Nita-rotaru, and Y. Amir, Increasing Network Resiliency by Optimally Assigning Diverse Variants to Routing Nodes, p.13

C. Olston, B. Reed, U. Srivastava, R. Kumar, and A. Tomkins, PigLatin: A Not-soforeign Language for Data Processing, p.8

C. Olston and B. Reed, Inspector gadget, Proceedings of the 2011 international conference on Management of data, SIGMOD '11
DOI : 10.1145/1989323.1989459

B. Parno, C. Gentry, J. Howell, and M. Raykova, Pinocchio, Communications of the ACM, vol.59, issue.2, p.279, 2013.
DOI : 10.1145/2856449

S. Pleisch, A. Kupsys, and A. Schiper, Preventing orphan requests in the context of replicated invocation, 22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings., p.2003, 2003.
DOI : 10.1109/RELDIS.2003.1238061

I. Roy, S. Setty, A. Kilzer, V. Shmatikov, and E. Witchel, Airavat: Security and Privacy for MapReduce

S. Setty, R. Mcpherson, A. J. Walfish, and M. , Making Argument Systems for Outsourced Computation Practical (Sometimes), p.12

S. Veronese, G. Correia, M. Bessani, A. Lung, and L. C. , EBAWA: Efficient Byzantine Agreement for Wide-Area Networks, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering
DOI : 10.1109/HASE.2010.19

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.174.7116

S. Setty, V. Vu, N. Panpalia, B. Braun, A. J. Blumberg et al., Taking Proof-based Verified Computation a Few Steps Closer to Practicality, p.12

K. Shvachko, K. Hairong, S. Radia, and R. Chansler, The Hadoop Distributed File System, 2010 IEEE 26th Symposium on Mass Storage Systems and Technologies (MSST)
DOI : 10.1109/MSST.2010.5496972

P. Verissimo, A. Bessani, and M. Pasin, The TClouds architecture: Open and resilient cloud-of-clouds computing, IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012), p.12
DOI : 10.1109/DSNW.2012.6264686

J. Yin, J. P. Martin, A. Venkataramani, L. Alvisi, and M. Dahlin, Separating Agreement from Execution for Byzantine Fault Tolerant Services. SIGOPS OSR pp, pp.253-267, 2003.

Y. Yu, M. Isard, D. Fetterly, M. Budiu, U. Erlingsson et al., DryadLINQ: a System for General-purpose Distributed Data-parallel Computing using a High-level Language, p.8

M. Zaharia, M. Chowdhury, T. Das, A. Dave, J. Ma et al., Resilient Distributed Datasets, p.12
DOI : 10.1145/2886107.2886110

Y. Zhang, Z. Zheng, and M. R. Lyu, BFTCloud: A Byzantine Fault Tolerance Framework for Voluntary-Resource Cloud Computing, 2011 IEEE 4th International Conference on Cloud Computing, p.12
DOI : 10.1109/CLOUD.2011.16