{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:29:23Z","timestamp":1725542963911},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642113185"},{"type":"electronic","value":"9783642113192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11319-2_4","type":"book-chapter","created":{"date-parts":[[2010,1,6]],"date-time":"2010-01-06T00:00:05Z","timestamp":1262736005000},"page":"23-24","source":"Crossref","is-referenced-by-count":0,"title":["Abstract Interpretation-Based Protection"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Giacobazzi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"4_CR1","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1109\/49.668971","volume":"16","author":"R.J. Anderson","year":"1998","unstructured":"Anderson, R.J., Petitcolas, F.: On the limits of steganography. IEEE J. of Selected Areas in Communications\u00a016(4), 474\u2013481 (1998)","journal-title":"IEEE J. of Selected Areas in Communications"},{"key":"4_CR2","first-page":"238","volume-title":"Proc. of POPL 1977","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. of POPL 1977, pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"4_CR3","first-page":"269","volume-title":"Proc. of POPL\u00a0 1979","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Proc. of POPL\u00a0 1979, pp. 269\u2013282. ACM Press, New York (1979)"},{"key":"4_CR4","first-page":"178","volume-title":"Proc. of POPL\u00a0 2002","author":"P. Cousot","year":"2002","unstructured":"Cousot, P., Cousot, R.: Systematic design of program transformation frameworks by abstract interpretation. In: Proc. of POPL\u00a0 2002, pp. 178\u2013190. ACM Press, New York (2002)"},{"key":"4_CR5","first-page":"173","volume-title":"Proc. of POPL\u00a02004","author":"P. Cousot","year":"2004","unstructured":"Cousot, P., Cousot, R.: An abstract interpretation-based framework for software watermarking. In: Proc. of POPL\u00a02004, pp. 173\u2013185. ACM Press, New York (2004)"},{"key":"4_CR6","first-page":"186","volume-title":"Proc. of POPL\u00a02004","author":"R. Giacobazzi","year":"2004","unstructured":"Giacobazzi, R., Mastroeni, I.: Abstract non-interference: Parameterizing non-interference by abstract interpretation. In: Proc. of POPL\u00a02004, pp. 186\u2013197. ACM-Press, New York (2004)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69166-2_1","volume-title":"Static Analysis","author":"R. Giacobazzi","year":"2008","unstructured":"Giacobazzi, R., Mastroeni, I.: Transforming abstract interpretations by abstract interpretation. In: Alpuente, M., Vidal, G. (eds.) SAS 2008. LNCS, vol.\u00a05079, pp. 1\u201317. Springer, Heidelberg (2008)"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/333979.333989","volume":"47","author":"R. Giacobazzi","year":"2000","unstructured":"Giacobazzi, R., Ranzato, F., Scozzari, F.: Making abstract interpretations complete. J. of the ACM.\u00a047(2), 361\u2013416 (2000)","journal-title":"J. of the ACM."},{"issue":"7","key":"4_CR9","doi-asserted-by":"publisher","first-page":"1062","DOI":"10.1109\/5.771065","volume":"87","author":"F.A.P. Petitcolas","year":"1999","unstructured":"Petitcolas, F.A.P., Anderson, R.J., Kuhn, M.G.: Information hiding \u2013 A survey. Proc. of the IEEE\u00a087(7), 1062\u20131078 (1999)","journal-title":"Proc. of the IEEE"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11319-2_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:50:22Z","timestamp":1619769022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11319-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642113185","9783642113192"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11319-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}