{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T05:29:23Z","timestamp":1738992563675,"version":"3.37.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,2,19]],"date-time":"2009-02-19T00:00:00Z","timestamp":1235001600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s10515-009-0047-y","type":"journal-article","created":{"date-parts":[[2009,2,18]],"date-time":"2009-02-18T19:58:42Z","timestamp":1234987122000},"page":"235-261","source":"Crossref","is-referenced-by-count":6,"title":["Trading-off security and performance in barrier slicing for remote software entrusting"],"prefix":"10.1007","volume":"16","author":[{"given":"Mariano","family":"Ceccato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mila Dalla","family":"Preda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jasvir","family":"Nagra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Collberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Tonella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,2,19]]},"reference":[{"key":"47_CR1","unstructured":"Carroll, A., Juarez, M., Polk, J., Leininger, T.: Microsoft \u201cPalladium\u201d: a business overview. Microsoft Content Security Business Unit, August 2002"},{"key":"47_CR2","doi-asserted-by":"crossref","unstructured":"Ceccato, M., Dalla Preda, M., Nagra, J., Collberg, C., Tonella, P.: Barrier slicing for remote software trusting. In: Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007), Paris, France, pp. 1\u201310 (2007)","DOI":"10.1109\/SCAM.2007.27"},{"key":"47_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-08883-8","volume-title":"Multiobjective Optimization: Principles and Case Studies","author":"Y. Collette","year":"2004","unstructured":"Collette, Y., Siarry, P.: Multiobjective Optimization: Principles and Case Studies. Springer, Berlin (2004)"},{"key":"47_CR4","unstructured":"Defense, D.: Trusted computer security evaluation criteria. Washington, DC DOD 5200.28-STD (1985)"},{"issue":"1","key":"47_CR5","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/4235.585892","volume":"1","author":"M. Dorigo","year":"1997","unstructured":"Dorigo, M., Gambardella, L.M.: Ant colony system: a cooperative learning approach to the traveling salesman problem. IEEE Trans. Evol. Comput. 1(1), 53\u201366 (1997)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"47_CR6","volume-title":"Genetic Algorithms in Search, Optimization and Machine Learning","author":"D.E. Goldberg","year":"1989","unstructured":"Goldberg, D.E.: Genetic Algorithms in Search, Optimization and Machine Learning. Kluwer Academic, Boston (1989)"},{"key":"47_CR7","unstructured":"Kennell, R., Jamieson, L.H.: Establishing the genuinity of remote computer systems. In: Proceedings of 12th USENIX Security Symposium (2003)"},{"issue":"4598","key":"47_CR8","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S. Kirkpatrick","year":"1983","unstructured":"Kirkpatrick, S., Gelatt, C.D., Vecchi, M.P.: Optimization by simulated annealing. Science 220(4598), 671\u2013680 (1983)","journal-title":"Science"},{"key":"47_CR9","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Barrier slicing and chopping. In: Proceedings Third IEEE International Workshop on Source Code Analysis and Manipulation, pp. 81\u201387 (2003)","DOI":"10.1109\/SCAM.2003.1238034"},{"issue":"4","key":"47_CR10","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1023\/B:SQJO.0000039792.93414.a5","volume":"12","author":"J. Krinke","year":"2004","unstructured":"Krinke, J.: Slicing, chopping, and path conditions with barriers. Softw. Qual. J. 12(4), 339\u2013360 (2004)","journal-title":"Softw. Qual. J."},{"issue":"4","key":"47_CR11","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1145\/138873.138874","volume":"10","author":"B. Lampson","year":"1992","unstructured":"Lampson, B., Abadi, M., Burrows, M., Wobber, E.: Authentication in distributed systems: theory and practice. ACM Trans. Comput. Syst. 10(4), 265\u2013310 (1992)","journal-title":"ACM Trans. Comput. Syst."},{"key":"47_CR12","unstructured":"Sailer, R., Zhang, X., Jaeger, T., van Doorn, L.: Design and Implementation of a TCG-based Integrity Measurement Architecture, pp. 223\u2013238 (2004)"},{"key":"47_CR13","doi-asserted-by":"crossref","unstructured":"Seshadri, A., Perrig, A., van Doorn, L., Khosla, P.K.: SWATT: software-based attestation for embedded devices. In: IEEE Symposium on Security and Privacy, pp. 272\u2013283 (2004)","DOI":"10.1109\/SECPRI.2004.1301329"},{"key":"47_CR14","doi-asserted-by":"crossref","unstructured":"Seshadri, A., Luk, M., Shi, E., Perrig, A., van Doorn, L., Khosla, P.K.: Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems. In: Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP), Brighton, UK, October 23\u201326, pp. 1\u201316 (2005)","DOI":"10.1145\/1095810.1095812"},{"issue":"3","key":"47_CR15","first-page":"384","volume":"6","author":"C.A. Tovey","year":"1985","unstructured":"Tovey, C.A.: Hill climbing with multiple local optima. SIAM J. Matrix Anal. Appl. 6(3), 384\u2013393 (1985)","journal-title":"SIAM J. Matrix Anal. Appl."},{"key":"47_CR16","unstructured":"Umesh Shankar, M.C., Tygar, J.D.: Side effects are not sufficient to authenticate software. Technical Report UCB\/CSD-04-1363, EECS Department, University of California, Berkeley (2004)"},{"issue":"2","key":"47_CR17","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1109\/TDSC.2005.24","volume":"2","author":"P. Oorschot van","year":"2005","unstructured":"van Oorschot, P., Somayaji, A., Wurster, G.: Hardware-assisted circumvention of self-hashing software tamper resistance. IEEE Trans. Dependable Secure Comput. 2(2), 82\u201392 (2005)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"47_CR18","unstructured":"Weiser, M.D.: Program slices: formal, psychological, and practical investigations of an automatic program abstraction method. PhD dissertation, The University of Michigan, Ann Arbor (1979)"},{"key":"47_CR19","unstructured":"Zhang, X., Gupta, R.: Hiding program slices for software security. In: CGO \u201903: Proceedings of the International Symposium on Code Generation and Optimization, Washington, DC, USA, pp. 325\u2013336 (2003)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-009-0047-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-009-0047-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-009-0047-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T20:08:47Z","timestamp":1738958927000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-009-0047-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2,19]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["47"],"URL":"https:\/\/doi.org\/10.1007\/s10515-009-0047-y","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2009,2,19]]}}}