Advertisement

Facets of Software Doping

  • Gilles Barthe
  • Pedro R. D’Argenio
  • Bernd Finkbeiner
  • Holger Hermanns
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9953)

Abstract

This paper provides an informal discussion of the formal aspects of software doping.

Keywords

Exhaust Emission Electronic Control Unit Embed Software Aqueous Urea Solution Reasonable Distance 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    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
  2. 2.
    BionX tuning. http://www.ebiketuning.com/comparison/bionx-tuning.html. Accessed 07 July 2016
  3. 3.
    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
  4. 4.
    Epson firmware update = no to compatibles. http://www.wasteink.co.uk/epson-firmware-update-compatible-problem/. Accessed 07 July 2016
  5. 5.
    ‘Error 53’ 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
  6. 6.
    The exhaust emissions scandal (“Dieselgate"). https://events.ccc.de/congress/2015/Fahrplan/events/7331.html. Accessed 07 July 2016
  7. 7.
    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
  8. 8.
    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
  9. 9.
    How it works: The basics of ECU tuning. https://rideapart.com/articles/hows-work-ecu-tuning. Accessed 07 July 2016
  10. 10.
    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
  11. 11.
    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
  12. 12.
  13. 13.
    Arthur, W.B.: Competing technologies, increasing returns, and lock-in by historical events. Econ. J. 99(394), 116–131 (1989). http://www.jstor.org/stable/2234208 CrossRefGoogle Scholar
  14. 14.
    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–70 (2010)Google Scholar
  15. 15.
    Clarkson, M.R., Schneider, F.B.: Hyperproperties. In: Proceedings of CSF 2008. pp. 51–65 (2008)Google Scholar
  16. 16.
    Goguen, J.A., Meseguer, J.: Security policies and security models. In: 1982 IEEE Symposium on Security and Privacy, Oakland, CA, USA, 26–28 April 1982, pp. 11–20. IEEE Computer Society (1982). http://dx.doi.org/10.1109/SP.1982.10014
  17. 17.
    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
  18. 18.
    Volpano, D.M., Irvine, C.E., Smith, G.: A sound type system for secure flow analysis. J. Comput. Secur. 4(2/3), 167–188 (1996). http://dx.doi.org/10.3233/JCS-1996-42-304 CrossRefGoogle Scholar
  19. 19.
    Wikipedia: Chip tuning –Wikipedia, the free encyclopedia (2016). https://en.wikipedia.org/wiki/Chip_tuning. Accessed 07 July 2016
  20. 20.
    Wikipedia: Volkswagen emissions scandal – Wikipedia, the free encyclopedia (2016). https://en.wikipedia.org/wiki/Volkswagen_emissions_scandal. Accessed 07 July 2016

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Gilles Barthe
    • 1
  • Pedro R. D’Argenio
    • 2
  • Bernd Finkbeiner
    • 3
  • Holger Hermanns
    • 3
  1. 1.IMDEA SoftwareMadridSpain
  2. 2.FaMAFUniversidad Nacional de Córdoba – CONICETCórdobaArgentina
  3. 3.Saarland University – Computer ScienceSaarbrückenGermany

Personalised recommendations