{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T02:10:38Z","timestamp":1742436638591,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642252600"},{"type":"electronic","value":"9783642252617"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-25261-7_7","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T22:38:49Z","timestamp":1328654329000},"page":"85-102","source":"Crossref","is-referenced-by-count":0,"title":["A Signature Scheme for Distributed Executions Based on Control Flow Analysis"],"prefix":"10.1007","author":[{"given":"S\u00e9bastien","family":"Varrette","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beno\u00eet","family":"Bertholon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Bouvry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","first-page":"340","volume-title":"CCS 2005: Proceedings of the 12th ACM Conference on Computer and Communications Security","author":"M. Abadi","year":"2005","unstructured":"Abadi, M., Budiu, M., Erlingsson, \u00da., Ligatti, J.: Control-flow integrity. In: CCS 2005: Proceedings of the 12th ACM Conference on Computer and Communications Security, pp. 340\u2013353. ACM, New York (2005)"},{"key":"7_CR2","unstructured":"Aleph1. Smashing the stack for fun and profit. Phrack\u00a0(49) (1996), http:\/\/www.phrack.org\/phrack\/49\/P49-14"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Allen, F.E.: Control flow analysis, 1\u201319 (July 1970)","DOI":"10.1145\/390013.808479"},{"key":"7_CR4","unstructured":"Bertholon, B., Varrette, S., Bouvry, P.: The tcrr protocol to certify a remote machine. Technical report, http:\/\/certicloud.gforge.uni.lu\/"},{"key":"7_CR5","volume-title":"Proc. of the 4th IEEE Intl. Conf. on Cloud Computing (CLOUD 2011)","author":"B. Bertholon","year":"2011","unstructured":"Bertholon, B., Varrette, S., Bouvry, P.: Certicloud: a novel tpm-based approach to ensure cloud iaas security. In: Proc. of the 4th IEEE Intl. Conf. on Cloud Computing (CLOUD 2011), July 4\u20139, IEEE Computer Society, Washington DC (2011)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Christodorescu, M., Jha, S., Seshia, S.A., Song, D., Bryant, R.E.: Semantics-aware malware detection. In: Proceedings of the 2005 IEEE Symposium on Security and Privacy (Oakland 2005), Oakland, CA, USA, pp. 32\u201346 (May 2005)","DOI":"10.1109\/SP.2005.20"},{"key":"7_CR7","unstructured":"Foster, I., Kesselman, C.: The Grid: Blueprint for a new Computing Infrastructure. Morgan Kaufman Publishers (1998)"},{"issue":"3","key":"7_CR8","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1109\/32.221135","volume":"19","author":"E.R. Gansner","year":"1993","unstructured":"Gansner, E.R., Koutsofios, E., North, S.C., Vo, K.-P.: A technique for drawing directed graphs. IEEE Trans. Software Eng.\u00a019(3), 214\u2013230 (1993)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR9","volume-title":"Workshop on Parallel Symbolic Computation 2007 (PASCO 2007)","author":"T. Gautier","year":"2007","unstructured":"Gautier, T., Besseron, X., Pigeon, L.: KAAPI: a Thread Scheduling Runtime System for Data Flow Computations on Cluster of Multi-Processors.. In: Workshop on Parallel Symbolic Computation 2007 (PASCO 2007). ACM, London (2007)"},{"key":"7_CR10","unstructured":"Haldar, V., Chandra, D., Franz, M.: Semantic remote attestation - virtual machine directed approach to trusted computing. In: Virtual Machine Research and Technology Symposium, pp. 29\u201341. USENIX (2004)"},{"key":"7_CR11","unstructured":"Hoos, H.H., St\u00fctzle, T.: Stochastic Local Seacrh Funcdations and Applications. Morgan Kaufmann (2005)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Jafar, S., Krings, A., Gautier, T.: Flexible rollback recovery in dynamic heterogeneous grid computing. IEEE TDSC\u00a06(1) (January 2009)","DOI":"10.1109\/TDSC.2008.17"},{"key":"7_CR13","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: Proc. of the 1st Int. Workshop on Grid and Peer-to-Peer Computing Impacts on Large Scale Heterogeneous Distributed Database Systems (GLOBE 2004). IEEE Computer Society (September 2004)","DOI":"10.1109\/DEXA.2004.1333526"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1145\/605397.605409","volume-title":"ASPLOS-X: Proc. of the 10th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems","author":"D. Kirovski","year":"2002","unstructured":"Kirovski, D., Drini\u0107, M., Potkonjak, M.: Enabling trusted software integrity. In: ASPLOS-X: Proc. of the 10th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, pp. 108\u2013120. ACM, New York (2002)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-24723-4_6","volume-title":"Compiler Construction","author":"S. McPeak","year":"2004","unstructured":"McPeak, S., Necula, G.C.: Elkhound: A fast, practical GLR parser generator. In: Duesterwald, E. (ed.) CC 2004. LNCS, vol.\u00a02985, pp. 73\u201388. Springer, Heidelberg (2004)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Milenkovi\u0107, M., Milenkovi\u0107, A., Jovanov, E.: A framework for trusted instruction execution via basic block signature verification. In: ACM-SE 42: Proceedings of the 42nd Annual Southeast Regional Conference. ACM (2004)","DOI":"10.1145\/986537.986582"},{"key":"7_CR17","unstructured":"MOAIS Team. KAAPI (2005), http:\/\/kaapi.gforge.inria.fr\/"},{"key":"7_CR18","unstructured":"Molnar, D.: The SETI@Home Problem (November 2000), http:\/\/www.acm.org\/crossroads\/columns\/onpatrol\/september2000.html"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Necula, G.C., Lee, P.: Proof-Carrying Code. In: Proceedings of the ACM Symposium on Principles of Programming Languages, Paris, France (January 1997)","DOI":"10.1145\/263699.263712"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1109\/24.994926","volume":"51","author":"N. Oh","year":"2002","unstructured":"Oh, N., Shirvani, P.P., Mccluskey, E.J.: Control-flow checking by software signatures. IEEE Transactions on Reliability\u00a051, 111\u2013122 (2002)","journal-title":"IEEE Transactions on Reliability"},{"key":"7_CR21","doi-asserted-by":"crossref","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: PPASCO 2007 (2007)","DOI":"10.1145\/1278177.1278191"},{"key":"7_CR22","unstructured":"Weimer, W., Liblit, B., Foster, J., McPeak, S., Wilkerson, D., Nichols, J.: Elsa: The Elkhound-based C\/C++ Parser"},{"key":"7_CR23","unstructured":"Stallman, R.M., et al.: Using GCC: The GNU Compiler Collection Ref Man. FSF (2005)"},{"key":"7_CR24","unstructured":"Takaken. The NQueens Problem, http:\/\/www.ic-net.or.jp\/home\/takaken\/e\/queen\/"},{"key":"7_CR25","unstructured":"TCG. TCG Specification Architecture Overview \u2013 Rev 1.4. Technical report"},{"key":"7_CR26","unstructured":"Varrette, S.: S\u00e9curit\u00e9 des Architectures de Calcul Distribu\u00e9: Authentification et Certification de R\u00e9sultats. PhD thesis, INP Grenoble and Universit\u00e9du Luxembourg (September 2007) (in French)"},{"key":"7_CR27","series-title":"LNCS","first-page":"211","volume-title":"Euro-Par 2008","author":"S. Varrette","year":"2008","unstructured":"Varrette, S., Roch, J.-L., Duc, G., Keryell, R.: Building Secure Resources to Ensure Safe Computations in Distributed and Potentially Corrupted Environments. In: C\u00e9sar, E., et al. (eds.) Euro-Par 2008. LNCS, vol.\u00a05415, pp. 211\u2013222. Springer, Heidelberg (2008)"},{"key":"7_CR28","unstructured":"Viega, J.: Cloud computing and the common man (2009)"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Wagner, D., Dean, D.: Intrusion detection via static analysis. In: IEEE Symposium on Security and Privacy, pp. 156\u2013168 (2001)","DOI":"10.1109\/SECPRI.2001.924296"},{"key":"7_CR30","first-page":"255","volume-title":"CCS 2002: Proceedings of the 9th ACM Conference on Computer and Communications Security","author":"D. Wagner","year":"2002","unstructured":"Wagner, D., Soto, P.: Mimicry attacks on host-based intrusion detection systems. In: CCS 2002: Proceedings of the 9th ACM Conference on Computer and Communications Security, pp. 255\u2013264. ACM, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Security and Intelligent Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25261-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T01:42:28Z","timestamp":1742434948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25261-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642252600","9783642252617"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25261-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}