{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:28:09Z","timestamp":1742912889158,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319053011"},{"type":"electronic","value":"9783319053028"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05302-8_21","type":"book-chapter","created":{"date-parts":[[2014,3,20]],"date-time":"2014-03-20T14:31:24Z","timestamp":1395325884000},"page":"339-352","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["CheR: Cheating Resilience in the Cloud via Smart Resource Allocation"],"prefix":"10.1007","author":[{"given":"Di Pietro","family":"Roberto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flavio","family":"Lombardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Martinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Sgandurra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,3,21]]},"reference":[{"key":"21_CR1","unstructured":"Cornell-University: Red cloud with MATLAB. http:\/\/www.cac.cornell.edu\/wiki\/index.php?title=Red_Cloud_with_MATLAB"},{"key":"21_CR2","unstructured":"Nimbis: Cloud services for mathematica. https:\/\/www.nimbisservices.com\/marketplace\/wolfram-research\/mathematica-clouds"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo, G.: Parallel and distributed simulation from many cores to the public cloud. In: 2011 International Conference on High Performance Computing and Simulation (HPCS), pp. 14\u201323 (2011)","DOI":"10.1109\/HPCSim.2011.5999802"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Church, P., Wong, A., Brock, M., Goscinski, A.: Toward exposing and accessing HPC applications in a SaaS cloud. In: Proceedings of the 2012 IEEE 19th International Conference on Web Services, ICWS \u201912, pp. 692\u2013699. IEEE Computer Society, Washington, DC (2012)","DOI":"10.1109\/ICWS.2012.119"},{"key":"21_CR5","series-title":"LNCS","first-page":"561","volume-title":"ICALP 2012, Part II","author":"A Groce","year":"2012","unstructured":"Groce, A., Katz, J., Thiruvengadam, A., Zikas, V.: Byzantine agreement with a rational adversary. In: Czumaj, A., Mehlhorn, K., Pitts, A., Wattenhofer, R. (eds.) ICALP 2012, Part II. LNCS, vol. 7392, pp. 561\u2013572. Springer, Heidelberg (2012)"},{"issue":"17","key":"21_CR6","doi-asserted-by":"publisher","first-page":"1961","DOI":"10.1016\/j.fss.2007.05.005","volume":"158","author":"N Mahdavi-Amiri","year":"2007","unstructured":"Mahdavi-Amiri, N., Nasseri, S.H.: Duality results and a dual simplex method for linear programming problems with trapezoidal fuzzy variables. Fuzzy Sets Syst. 158(17), 1961\u20131978 (2007)","journal-title":"Fuzzy Sets Syst."},{"issue":"3","key":"21_CR7","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1002\/cpe.1495","volume":"22","author":"FS Martins","year":"2010","unstructured":"Martins, F.S., Andrade, R.M., dos Santos, A.L., Schulze, B., de Souza, J.N.: Detecting misbehaving units on computational grids. Concurr. Comput.: Pract. Exper. 22(3), 329\u2013342 (2010)","journal-title":"Concurr. Comput.: Pract. Exper."},{"key":"21_CR8","series-title":"LNCS","first-page":"425","volume-title":"CT-RSA 2001","author":"P Golle","year":"2001","unstructured":"Golle, P., Mironov, I.: Uncheatable distributed computations. In: Naccache, D. (ed.) CT-RSA 2001. LNCS, vol. 2020, pp. 425\u2013440. Springer, Heidelberg (2001)"},{"key":"21_CR9","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-642-14623-7_25","volume-title":"CRYPTO 2010","author":"R Gennaro","year":"2010","unstructured":"Gennaro, R., Gentry, C., Parno, B.: Non-interactive verifiable computing: outsourcing computation to untrusted workers. In: Rabin, T. (ed.) CRYPTO 2010. LNCS, vol. 6223, pp. 465\u2013482. Springer, Heidelberg (2010)"},{"key":"21_CR10","unstructured":"Makhorin, A.O.: GLPK GNU Linear Programming Kit. http:\/\/www.gnu.org\/software\/glpk\/glpk.html"},{"key":"21_CR11","unstructured":"Amazon: Amazon web services. http:\/\/aws.amazon.com"},{"issue":"6\u20137","key":"21_CR12","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/j.tcs.2008.10.012","volume":"410","author":"H Moser","year":"2009","unstructured":"Moser, H.: Towards a real-time distributed computing model. Theor. Comput. Sci. 410(6\u20137), 629\u2013659 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Lombardi, F., Di Pietro, R., Soriente, C.: CReW: cloud resilience for Windows guests through monitored virtualization. In: Proceedings of the 2010 29th IEEE Symposium on Reliable Distributed Systems, SRDS \u201910, pp. 338\u2013342. IEEE Computer Society, Washington, DC (2010)","DOI":"10.1109\/SRDS.2010.48"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Das Sarma, A., Holzer, S., Kor, L., Korman, A., Nanongkai, D., Pandurangan, G., Peleg, D., Wattenhofer, R.: Distributed verification and hardness of distributed approximation. In: Proceedings of the 43rd Annual ACM Symposium on Theory of Computing, STOC \u201911, pp. 363\u2013372. ACM, New York (2011)","DOI":"10.1145\/1993636.1993686"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Cheon, E., Kim, M., Kuk, S., Kim, H.S.: A regional matchmaking technique for improving efficiency in volunteer computing environment. In: Proceedings of the 1st ACIS\/JNU International Conference on Computers, Networks, Systems and Industrial Engineering, CNSI \u201911, pp. 285\u2013289. IEEE Computer Society, Washington, DC (2011)","DOI":"10.1109\/CNSI.2011.20"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Costa, P., Pasin, M., Bessani, A.N., Correia, M.: Byzantine fault-tolerant mapreduce: faults are not just crashes. In: Proceedings of the 2011 IEEE Third International Conference on Cloud Computing Technology and Science, CLOUDCOM \u201911, pp. 32\u201339. IEEE Computer Society, Washington, DC (2011)","DOI":"10.1109\/CloudCom.2011.15"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Koeppe, F., Schneider, J.: Do you get what you pay for? using proof-of-work functions to verify performance assertions in the cloud. In: 2010 IEEE Second International Conference on Cloud Computing Technology and Science (CloudCom), pp. 687\u2013692, 30 November 2010-3 December 2010","DOI":"10.1109\/CloudCom.2010.100"},{"key":"21_CR18","series-title":"LNCS","first-page":"139","volume-title":"CRYPTO 1992","author":"C Dwork","year":"1993","unstructured":"Dwork, C., Naor, M.: Pricing via processing or combatting junk mail. In: Brickell, E.F. (ed.) CRYPTO 1992. LNCS, vol. 740, pp. 139\u2013147. Springer, Heidelberg (1993)"},{"key":"21_CR19","unstructured":"Popa, R.A., Lorch, J.R., Molnar, D., Wang, H.J., Zhuang, L.: Enabling security in cloud storage slas with cloudproof. In: Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference, USENIXATC\u201911, p. 31. USENIX Association, Berkeley (2011)"},{"issue":"4","key":"21_CR20","first-page":"7:1","volume":"27","author":"R Kotla","year":"2010","unstructured":"Kotla, R., Alvisi, L., Dahlin, M., Clement, A., Wong, E.: Zyzzyva: speculative byzantine fault tolerance. ACM Trans. Comput. Syst. 27(4), 7:1\u20137:39 (2010)","journal-title":"ACM Trans. Comput. Syst."},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Xin, S., Zhao, Y., Li, Y.: Property-based remote attestation oriented to cloud computing. In: Proceedings of the 7th International Conference on Computational Intelligence and Security, CIS \u201911, pp. 1028\u20131032. IEEE Computer Society, Washington, DC (2011)","DOI":"10.1109\/CIS.2011.229"},{"issue":"8","key":"21_CR22","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1016\/j.future.2012.03.012","volume":"28","author":"Y Luo","year":"2012","unstructured":"Luo, Y., Manivannan, D.: Hope: a hybrid optimistic checkpointing and selective pessimistic message logging protocol for large scale distributed systems. Future Gener. Comput. Syst. 28(8), 1217\u20131235 (2012)","journal-title":"Future Gener. Comput. Syst."},{"issue":"12","key":"21_CR23","doi-asserted-by":"publisher","first-page":"1289","DOI":"10.1016\/j.scico.2010.08.003","volume":"77","author":"W Ahrendt","year":"2012","unstructured":"Ahrendt, W., Dylla, M.: A system for compositional verification of asynchronous objects. Sci. Comput. Program. 77(12), 1289\u20131309 (2012)","journal-title":"Sci. Comput. Program."},{"key":"21_CR24","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-642-22792-9_16","volume-title":"CRYPTO 2011","author":"A Beimel","year":"2011","unstructured":"Beimel, A., Lindell, Y., Omri, E., Orlov, I.: 1\/p-secure multiparty computation without honest majority and the best of both worlds. In: Rogaway, P. (ed.) CRYPTO 2011. LNCS, vol. 6841, pp. 277\u2013296. Springer, Heidelberg (2011)"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"Parno, B., Gentry, C., Howell, J., Raykova, M.: Pinocchio: nearly practical verifiable computation. In: Proceedings of the 34th IEEE Symposium on Security and Privacy (2013)","DOI":"10.1109\/SP.2013.47"},{"issue":"6","key":"21_CR26","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1007\/s00158-012-0810-8","volume":"46","author":"AA Groenwold","year":"2012","unstructured":"Groenwold, A.A.: Positive definite separable quadratic programs for non-convex problems. Struct. Multidiscip. Optim. 46(6), 795\u2013802 (2012)","journal-title":"Struct. Multidiscip. Optim."}],"container-title":["Lecture Notes in Computer Science","Foundations and Practice of Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05302-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,25]],"date-time":"2024-05-25T06:01:48Z","timestamp":1716616908000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05302-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319053011","9783319053028"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05302-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"21 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}