{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:07:36Z","timestamp":1770278856274,"version":"3.49.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319471686","type":"print"},{"value":"9783319471693","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_46","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"601-608","source":"Crossref","is-referenced-by-count":12,"title":["Facets of Software Doping"],"prefix":"10.1007","author":[{"given":"Gilles","family":"Barthe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro R.","family":"D\u2019Argenio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Finkbeiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"46_CR1","unstructured":"Apple apologizes and updates iOS to restore iPhones disabled by error 53. https:\/\/techcrunch.com\/2016\/02\/18\/apple-apologizes-and-updates-ios-to-restore-iphones-disabled-by-error-53\/ . Accessed 07 July 2016"},{"key":"46_CR2","unstructured":"BionX tuning. http:\/\/www.ebiketuning.com\/comparison\/bionx-tuning.html . Accessed 07 July 2016"},{"key":"46_CR3","unstructured":"Dell laptops reject third-party batteries and AC adapters\/chargers. Hardware vendor lock-in? https:\/\/nctritech.wordpress.com\/2010\/01\/26\/dell-laptops-reject-third-party-batteries-and-ac-adapterschargers-hardware-vendor-lock-in\/ . Accessed 07 July 2016"},{"key":"46_CR4","unstructured":"Epson firmware update = no to compatibles. http:\/\/www.wasteink.co.uk\/epson-firmware-update-compatible-problem\/ . Accessed 07 July 2016"},{"key":"46_CR5","unstructured":"\u2018Error 53\u2019 fury mounts as Apple software update threatens to kill your iPhone 6. https:\/\/www.theguardian.com\/money\/2016\/feb\/05\/error-53-apple-iphone-software-update-handset-worthless-third-party-repair . Accessed 07 July 2016"},{"key":"46_CR6","unstructured":"The exhaust emissions scandal (\u201cDieselgate\"). https:\/\/events.ccc.de\/congress\/2015\/Fahrplan\/events\/7331.html . Accessed 07 July 2016"},{"key":"46_CR7","unstructured":"Galaxy S4 on steroids: Samsung caught doping in benchmarks. http:\/\/forums.appleinsider.com\/discussion\/158782\/galaxy-s-4-on-steroids-samsung-caught-doping-in-benchmarks . Accessed 07 July 2016"},{"key":"46_CR8","unstructured":"Has a printer update rendered your cartridges redundant? https:\/\/conversation.which.co.uk\/technology\/printer-software-update-third-party-printer-ink\/ . Accessed 07 July 2016"},{"key":"46_CR9","unstructured":"How it works: The basics of ECU tuning. https:\/\/rideapart.com\/articles\/hows-work-ecu-tuning . Accessed 07 July 2016"},{"key":"46_CR10","unstructured":"How to get access to your bionx console code menu (codelist included). http:\/\/electricbikereview.com\/community\/threads\/how-to-get-access-to-your-bionx-console-code-menu-codelist-included.519\/ . Accessed 07 July 2016"},{"key":"46_CR11","unstructured":"The secret printer companies are keeping from you. http:\/\/uk.pcmag.com\/printers\/60628\/opinion\/the-secret-printer-companies-are-keeping-from-you . Accessed 07 July 2016"},{"key":"46_CR12","unstructured":"Take that, stupid printer! http:\/\/www.slate.com\/articles\/technology\/technology\/2008\/08\/take_that_stupid_printer.html . Accessed 07 July 2016"},{"issue":"394","key":"46_CR13","doi-asserted-by":"crossref","first-page":"116","DOI":"10.2307\/2234208","volume":"99","author":"WB Arthur","year":"1989","unstructured":"Arthur, W.B.: Competing technologies, increasing returns, and lock-in by historical events. Econ. J. 99(394), 116\u2013131 (1989). http:\/\/www.jstor.org\/stable\/2234208","journal-title":"Econ. J."},{"key":"46_CR14","doi-asserted-by":"crossref","unstructured":"Chaudhuri, S., Gulwani, S., Lublinerman, R.: Continuity analysis of programs. In: Hermenegildo, M.V., Palsberg, J. (eds.) Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, pp. 57\u201370 (2010)","DOI":"10.1145\/1706299.1706308"},{"key":"46_CR15","doi-asserted-by":"crossref","unstructured":"Clarkson, M.R., Schneider, F.B.: Hyperproperties. In: Proceedings of CSF 2008. pp. 51\u201365 (2008)","DOI":"10.1109\/CSF.2008.7"},{"key":"46_CR16","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: 1982 IEEE Symposium on Security and Privacy, Oakland, CA, USA, 26\u201328 April 1982, pp. 11\u201320. IEEE Computer Society (1982). http:\/\/dx.doi.org\/10.1109\/SP.1982.10014","DOI":"10.1109\/SP.1982.10014"},{"key":"46_CR17","unstructured":"Schneier, B., Fredrikson, M., Kohno, T., Ristenpart, T.: Surreptitiously weakening cryptographic systems. Cryptology ePrint Archive, Report 2015\/097 (2015). http:\/\/eprint.iacr.org\/2015\/097"},{"issue":"2\/3","key":"46_CR18","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"DM Volpano","year":"1996","unstructured":"Volpano, D.M., Irvine, C.E., Smith, G.: A sound type system for secure flow analysis. J. Comput. Secur. 4(2\/3), 167\u2013188 (1996). http:\/\/dx.doi.org\/10.3233\/JCS-1996-42-304","journal-title":"J. Comput. Secur."},{"key":"46_CR19","unstructured":"Wikipedia: Chip tuning \u2013Wikipedia, the free encyclopedia (2016). https:\/\/en.wikipedia.org\/wiki\/Chip_tuning . Accessed 07 July 2016"},{"key":"46_CR20","unstructured":"Wikipedia: Volkswagen emissions scandal \u2013 Wikipedia, the free encyclopedia (2016). https:\/\/en.wikipedia.org\/wiki\/Volkswagen_emissions_scandal . Accessed 07 July 2016"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:22:06Z","timestamp":1498335726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}