{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:45:48Z","timestamp":1743129948158,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642009549"},{"type":"electronic","value":"9783642009556"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00955-6_26","type":"book-chapter","created":{"date-parts":[[2009,4,8]],"date-time":"2009-04-08T06:29:58Z","timestamp":1239172198000},"page":"211-222","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Building Secure Resources to Ensure Safe Computations in Distributed and Potentially Corrupted Environments"],"prefix":"10.1007","author":[{"given":"Sebastien","family":"Varrette","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Louis","family":"Roch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillaume","family":"Duc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronan","family":"Keryell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/11508380_34","volume-title":"Advances in Grid Computing - EGC 2005","author":"A. Krings","year":"2005","unstructured":"Krings, A., Roch, J.L., Jafar, S., Varrette, S.: A Probabilistic Approach for Task and Result Certification of Large-scale Distributed Applications in Hostile Environments. In: Sloot, P.M.A., Hoekstra, A.G., Priol, T., Reinefeld, A., Bubak, M. (eds.) EGC 2005. LNCS, vol.\u00a03470, pp. 323\u2013333. Springer, Heidelberg (2005)"},{"key":"26_CR2","unstructured":"Varrette, S., Roch, J.L., Montagnat, J., Seitz, L., Pierson, J.M., Lepr\u00e9vost, F.: Safe Distributed Architecture for Image-based Computer Assisted Diagnosis. In: IEEE 1st International Workshop on Health Pervasive Systems (HPS 2006), Lyon, France (June 2006)"},{"issue":"2","key":"26_CR3","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1177\/109434209701100205","volume":"11","author":"I. Foster","year":"1997","unstructured":"Foster, I., Kesselman, C.: Globus: A metacomputing infrastructure toolkit. International J. of Supercomputer Applications and High Performance Computing\u00a011(2), 115\u2013128 (Summer 1997)","journal-title":"International J. of Supercomputer Applications and High Performance Computing"},{"key":"26_CR4","unstructured":"Molnar, D.: The SETI@Home Problem (November 2000), http:\/\/www.acm.org\/crossroads\/columns\/onpatrol\/september2000.html"},{"key":"26_CR5","unstructured":"Necula, G.C., Lee, P.: Proof-carrying code. Technical Report CMU-CS-96-165, School of Computer Science, Pittsburg (1996)"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Aucsmith, D.: Tamper resistant software: An implementation. In: Information Hiding, pp. 317\u2013333 (1996)","DOI":"10.1007\/3-540-61996-8_49"},{"key":"26_CR7","volume-title":"Area exam paper","author":"L.F.G. Sarmenta","year":"1999","unstructured":"Sarmenta, L.F.G.: Protecting Programs from Hostile Environments: Encrypted Computation, Obfuscation, and Other Techniques. In: Area exam paper, Dept. of Electrical Engineering and Computer Science. MIT, Cambridge (1999)"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Collberg, C.S., Thomborson, C.: Watermarking, tamper-proofing, and obfuscation - tools for software protection. In: IEEE Transactions on Software Engineering, vol.\u00a028, pp. 735\u2013746 (August 2002)","DOI":"10.1109\/TSE.2002.1027797"},{"key":"26_CR9","unstructured":"Loureiro, S., Bussard, L., Roudier, Y.: Extending tamper-proof hardware security to untrusted execution environments. In: CARDIS, pp. 111\u2013124 (2002)"},{"key":"26_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/11575863_51","volume-title":"On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops","author":"S. Varrette","year":"2005","unstructured":"Varrette, S., Georget, S., Montagnat, J., Roch, J.-L., Leprevost, F.: Distributed Authentication in GRID5000. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol.\u00a03762, pp. 314\u2013326. Springer, Heidelberg (2005)"},{"key":"26_CR11","unstructured":"Dagorn, N., Bernard, N., Varrette, S.: Practical Authentication in Distributed Environments. In: IEEE (ed.) IEEE International Computer Systems and Information Technology Conference (ICSIT 2005), Sheraton Hotel, Alger, July 19\u201321 (2005); Still waiting for precisions on proceedings"},{"issue":"9","key":"26_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/35.312841","volume":"32","author":"C. Neuman","year":"1994","unstructured":"Neuman, C., Ts\u2019o, T.: Kerberos: An authentication service for computer networks. IEEE Communications Magazine\u00a032(9), 33\u201338 (1994), http:\/\/gost.isi.edu\/publications\/kerberos-neuman-tso.html","journal-title":"IEEE Communications Magazine"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Foster, I., Kesselman, C., Tsudik, G., Tuecke, S.: A Security Architecture for Computational Grids. In: Fifth ACM Conference on Computer and Communications Security Conference, San Francisco, California, November 3-5, pp. 83\u201392 (1998)","DOI":"10.1145\/288090.288111"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Jafar, S., Varrette, S., Roch, J.L.: Using Data-Flow Analysis for Resilence and Result Checking in Peer to Peer Computations. In: IEEE (ed.): IEEE DEXA 2004 - Workshop GLOBE 2004: Grid and Peer-to-Peer Computing Impacts on Large Scale Heterogeneous Distributed Database Systems, Zaragoza, Spain, pp. 512\u2013516 (September 2004)","DOI":"10.1109\/DEXA.2004.1333526"},{"key":"26_CR15","unstructured":"Varrette, S.: S\u00e9curit\u00e9 des Architectures de Calcul Distribu\u00e9: Authentification et Certification de R\u00e9sultats. Ph.D thesis, INP Grenoble et Universit\u00e9 du Luxembourg (September 2007); Version beta en cours de review"},{"key":"26_CR16","volume-title":"Proceedings of the ACM International Workshop on Parallel Symbolic Computation 2007 (PASCO 2007)","author":"J.L. Roch","year":"2007","unstructured":"Roch, J.L., Varrette, S.: Probabilistic Certification of Divide & Conquer Algorithms on Global Computing Platforms. Application to Fault-Tolerant Exact Matrix-Vector Product. In: Proceedings of the ACM International Workshop on Parallel Symbolic Computation 2007 (PASCO 2007), Ontario, Canada. ACM, New York (2007)"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Lie, D., Thekkath, C., Mitchell, M., Lincoln, P., Boneh, D., Mitchell, J., Horowitz, M.: Architectural support for copy and tamper resistant software. In: Proceedings of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems (Asplos IX), pp. 168\u2013177 (October 2000)","DOI":"10.1145\/384264.379237"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"Suh, G.E., Clarke, D., Gassend, B., van Dijk, M., Devadas, S.: Aegis: Architecture for tamper-evident and tamper-resistant processing. In: Proceedings of the 17th International Conference on Supercomputing (ICS 2003), pp. 160\u2013171 (June 2003)","DOI":"10.1145\/782814.782838"},{"key":"26_CR19","unstructured":"Keryell, R.: Cryptopage-1: vers la fin du piratage informatique? In: Symposium d\u2019Architecture (SympA\u20196), Besan\u00e7on, France, pp. 35\u201344 (June 2000)"},{"key":"26_CR20","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/1024393.1024403","volume-title":"Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems (Asplos-XI)","author":"X. Zhuang","year":"2004","unstructured":"Zhuang, X., Zhang, T., Pande, S.: Hide: an infrastructure for efficiently protecting information leakage on the address bus. In: Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems (Asplos-XI), pp. 72\u201384. ACM Press, New York (2004)"},{"key":"26_CR21","doi-asserted-by":"publisher","first-page":"667","DOI":"10.3166\/tsi.24.667-701","volume":"24","author":"G. Duc","year":"2005","unstructured":"Duc, G., Keryell, R., Lauradoux, C.: CryptoPage\u00a0: Support mat\u00e9riel pour cryptoprocessus. Technique et Science Informatiques\u00a024, 667\u2013701 (2005)","journal-title":"Technique et Science Informatiques"},{"key":"26_CR22","volume-title":"Proceedings of the 22th Annual Computer Security Applications Conference (Acsac 2006)","author":"G. Duc","year":"2006","unstructured":"Duc, G., Keryell, R.: CryptoPage: an efficient secure architecture with memory encryption, integrity and information leakage protection. In: Proceedings of the 22th Annual Computer Security Applications Conference (Acsac 2006). IEEE Computer Society, Los Alamitos (2006)"},{"key":"26_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1007\/11823285_88","volume-title":"Euro-Par 2006 Parallel Processing","author":"J.L. Roch","year":"2006","unstructured":"Roch, J.L., Traore, D., Bernard, J.: On-line adaptive parallel prefix computation. In: Nagel, W.E., Walter, W.V., Lehner, W. (eds.) Euro-Par 2006. LNCS, vol.\u00a04128, pp. 841\u2013850. Springer, Heidelberg (2006)"},{"key":"26_CR24","unstructured":"Ancourt, C., Coelho, F., Creusillet, B., Keryell, R.: How to add a new phase in PIPS: the case of dead code elimination. In: Proceedings of the Sixth Workshop on Compilers for Parallel Computers (CPC 1996), Aachen, Germany, pp. 19\u201330 (December 1996)"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2008 Workshops - Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00955-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T22:11:23Z","timestamp":1739052683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00955-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642009549","9783642009556"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00955-6_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}